Вопросы с тегом «complexity-classes»

Классы вычислительной сложности и их отношения

10
Какие проблемы, когда мы знаем, что у нас есть оптимальный алгоритм?
Каковы некоторые нетривиальные задачи, в которых мы знаем, что текущий алгоритм, который у нас есть, является асимптотически оптимальным? (Для машин Тьюринга) И как это доказано?
1
Поддержание порядка в списке в за раз
Задача обслуживания заказа (или «поддержание заказа в списке») заключается в поддержке операций: singleton: создает список с одним элементом, возвращает указатель на него insertAfter: дает указатель на элемент, вставляет новый элемент после него, возвращает указатель на новый элемент delete: дает указатель на элемент, удаляет его из списка minPointer: при наличии двух …
3
Теории, которые характеризуют классы вычислительной сложности
Читая статью « Аппликативная теория для FPH », вы можете встретить следующий отрывок: Рассматривая теории, которые характеризуют классы вычислительной сложности, существует три разных подхода: в одном функции, которые могут быть определены в рамках теории, «автоматически» находятся в определенном классе сложности. В такой учетной записи синтаксис должен быть ограничен, чтобы гарантировать, …
2
APX содержится в NP?
Задача P называется в APX, если существует некоторая постоянная c> 0 такая, что для P существует алгоритм аппроксимации за полиномиальное время с коэффициентом аппроксимации 1 + c. APX содержит PTAS (это можно увидеть, просто выбрав любую константу c> 0) и P. APX в NP? В частности, означает ли существование алгоритма …
1
vs
В нашей недавней работе мы решили вычислительную проблему, возникшую в комбинаторном контексте, исходя из предположения, что , где - это -версия . Единственной найденной нами статьей о была статья Бейгеля-Бурмана-Фортнау 1998 года , в которой упоминается комплексный зоопарк . Мы понимаем, что можем взять версии задач (см. Этот вопрос ), …
5
Каков класс сложности для квантовых подпрограмм, принимающих в качестве входных данных произвольные квантовые состояния?
Класс сложности BQP соответствует квантовым подпрограммам полиномиального времени, принимающим классические входы и выпадающим вероятностным классическим выходом. Квантовый совет изменяет это, чтобы включить копии некоторых заранее определенных состояний квантового совета, но с классическими входами, как обычно. Каков класс сложности для квантовых подпрограмм за полиномиальное время, принимающих произвольные квантовые состояния в качестве …
2
Квантовые аналоги классов сложности SPACE
Мы часто рассматриваем классы сложности, где мы ограничены количеством пространства, которое может использовать наша машина Тьюринга, например: или NSPACE ( f ( n ) ) . Похоже, что в начале теории сложности были достигнуты большие успехи с этими классами, такими как теорема о пространственной иерархии и создание важных классов, таких …
1
Проблемы в NC не известны в NC2
Есть ли интересные проблемы, которые есть в но неизвестно, что они есть в ? В статье «Таксономия проблем с быстрыми параллельными алгоритмами» Кук упоминает, что MIS, как было известно, находится только в но с тех пор он был переведен в , Мне интересно, есть ли какие-либо другие проблемы с параллельными …
1
Преобразование Байгеля-Таруи из ACC
Я читаю приложение о АССЕ нижних границах для NEXP в Arora и Барак вычислительной сложности книги. http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf Одна из ключевых лемм - это преобразование из цепей в полилинейные полиномы над целыми числами с полилогарифмической степенью и квазиполиномиальными коэффициентами или эквивалентно , класс цепей S Y M + , который является …
1
Как проблема может быть в NP, быть NP-сложной, а не NP-полной?
Долгое время я думал, что задача была NP-полной, если она (1) NP-сложная и (2) в NP. Однако в известной статье «Метод эллипсоидов и его последствия в комбинаторной оптимизации» авторы утверждают, что проблема дробного хроматического числа принадлежит NP и является NP-сложной, но пока неизвестно, что она NP-полная. На третьей странице статьи …
2
Parity-P содержится в PP?
Этот вопрос был задан Яном Паксом в списке рассылки « Основы математики» . Конечно, но из ответов на этот вопрос я подозреваю , что неизвестно, будет ли (в противном случае будет одним возможный ответ на этот вопрос). Если не известно, существует ли разделение оракула?P⊕P⊆P#P=PPPP⊕P⊆P#P=PPPP^{\oplus P} \subseteq P^{\#P} = P^{PP}P P⊕P⊆PP⊕P⊆PP\oplus …
1
против
Я знаю, что (логарифмически много обращений к оракулу NP) эквивалентно P N P | | (полиномиальное количество параллельных запросов к NP oracle). Мне было интересно, "функциональные" версии этих классов также эквивалентны, то естьPNP[logN]PNP[log⁡n]\mathsf{P}^{\mathsf{NP}[\log n]}пН П | |PNп||\mathsf{P}^{\mathsf{NP}||} Если известно, что это правда, указатель будет очень полезен.F PN P [logн ]= …
2
# P-полная проблема, чья версия решения находится в P
1) Возможно ли экономное сокращение от # P-полной задачи #A до проблемы подсчета #B, когда (версия решения) A является NP-полной, а B находится в P? Например, может ли быть экономное сокращение от #SAT до #B, когда B находится в P? 2) Если B находится в P, каковы различные возможности для …
3
Сложность проверки, имеют ли два CNF одинаковое количество решений
Учитывая два CNF, если они имеют одинаковое количество назначений, чтобы сделать их правдой, ответьте «Да», в противном случае ответьте «Нет». Легко увидеть, что это в P#PP#PP^{\#P} , поскольку, если мы знаем точное число решений этих двух CNF, мы просто собираем их и отвечаем «Да» или «Нет». В чем сложность этой …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.