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

Следуя предложению Джоша Грохова, я превращаю свой комментарий из предыдущего вопроса в новый. Какие доказательства у нас есть для ?UP≠NPUP≠NP\mathsf{UP} \neq \mathsf{NP} Здесь - это класс языков, распознаваемых недетерминированными машинами Тьюринга за полиномиальное время, которые имеют уникальный путь принятия в экземплярах "да" и нет пути принятия в экземплярах "нет".UPUP\mathsf{UP} Очевидно, …

17 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

Предположим, я рассматриваю следующий вариант BPP, который позволяет нам называть E (xact) BPP: язык находится в EBPP, если существует рандомизированный TG за полиномиальное время, который принимает каждое слово языка с вероятностью 3/4 и каждое слово не в язык с вероятностью 1/4. Очевидно, что EBPP содержится в BPP, но равны ли …

17 cc.complexity-theory  complexity-classes  randomized-algorithms 

Недавно я столкнулся со следующим вариантом окраски краев. Для связного неориентированного графа найдите раскраску ребер, которая использует максимальное количество цветов, а также удовлетворяет ограничению, согласно которому для каждой вершины ребра, инцидентные используют не более двух цветов.vvvvvv Мое первое предположение - проблема NP-сложная. Классические NP-трудные доказательства для задач раскраски графов в …

17 cc.complexity-theory  np-hardness  complexity-classes  graph-colouring 

В «последнем абзаце» «первой страницы» следующего документа: Викраман Арвинд , Йоханнес Коблер , Уве Шенинг , Райнер Шулер , "Если у NP есть схемы полиномиального размера, то MA = AM", Теоретическая информатика, 1995. Я столкнулся с несколько нелогичным утверждением: (ΣP2∩ΠP2)NP=ΣP3∩ΠP3(Σ2P∩Π2P)NP=Σ3P∩Π3P(\Sigma^P_2 \cap \Pi^P_2)^{NP} = \Sigma^P_3 \cap \Pi^P_3 Я думаю, что идентичность …

17 cc.complexity-theory  complexity-classes 

Какие примеры пар классов сложности и B такие, чтоAAABBB мы не знаем, является ли , иA=BA=BA=B мы также не знаем противоречивых релятивизаций (т. е. мы не знаем оракулов и Q таких, что A P = B P и A Q ≠ B Q )?PPPQQQAP=BPAP=BPA^P = B^PAQ≠BQAQ≠BQA^Q \ne B^Q Чтобы сформулировать …

16 cc.complexity-theory  complexity-classes  relativization 

В ответ на вопрос, заданный мне Грегом Купербергом, мне интересно, есть ли какие-нибудь статьи, которые определяют и изучают классы сложности языков, допускающие различные виды доказательств знания . Такие классы, как SZK и NISZK, являются чрезвычайно естественными с точки зрения сложности, даже если мы полностью забыли о нулевом знании и просто …

16 complexity-classes  cr.crypto-security  zero-knowledge 

Мне нужен список полных языков . Есть две такие проблемы, перечисленные в зоопарке сложности , а именно:Σp2Σ2p\Sigma_2^p Минимальный эквивалент DNF. Учитывая формулу DNF F и целое число k, существует ли формула DNF, эквивалентная F с k или меньшим числом вхождений литералов? Кратчайший имплицит. Учитывая формулу F и целое число k, …

16 complexity-classes  polynomial-hierarchy 

Мы говорим , что НКА является постоянно Неоднозначность , если существует K ∈ N такое , что любое слово W ∈ Е * принимается либо 0 или (точно) К путям.MMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk Если автомат постоянно неоднозначен при k = 1 , то M называется однозначным FA (UFA).MMMk=1k=1k=1MMM Пусть обычный язык.LLL …

16 complexity-classes  fl.formal-languages  automata-theory  regular-language 

NP в ?DTIME(npolylogn)DTIME(npolylog⁡n)DTIME(n^{poly\log n})

16 cc.complexity-theory  complexity-classes 

Теоремы об иерархии являются фундаментальными инструментами. Многие из них были собраны в предыдущем вопросе (см. Какие иерархии и / или теоремы иерархии вы знаете? ). Некоторые разделения классов сложности прямо следуют из теорем иерархии. Примеры таких хорошо известных разделений: , , , .L≠PSPACEL≠PSPACEL\neq PSPACEP≠EXPP≠EXPP\neq EXPNP≠NEXPNP≠NEXPNP\neq NEXPPSPACE≠EXPSPACEPSPACE≠EXPSPACEPSPACE\neq EXPSPACE Однако не каждое …

16 cc.complexity-theory  complexity-classes  hierarchy-theorems 

Мне интересно, существуют ли какие-нибудь хорошие пояснительные статьи или обзоры, на которые я могу сослаться, когда пишу об операторах класса сложности : операторах, которые преобразуют классы сложности, выполняя такие вещи, как добавление к ним кванторов. Примеры операторов Следующее может быть истолковано как минимальный список операторов, который должен уметь дать ответ. …

16 reference-request  complexity-classes 

Мне было интересно, можно ли охарактеризовать проблемы, для которых существуют алгоритмы сублинейного времени (в размере входных данных) как обладающие определенными свойствами. Это включает в себя сублинейное время (например, тестирование свойств, альтернативное понятие аппроксимации для задач решения), сублинейное пространство (например, алгоритмы создания эскизов / потоковой передачи, в которых машина Тьюринга имеет …

16 cc.complexity-theory  ds.algorithms  complexity-classes  approximation-algorithms 

LogCFL - это набор всех языков, пространство логирования которых сводится к языку без контекста. Аналогично, LogDCFL - это набор всех языков, пространство логирования которых сводится к детерминированному контекстно-свободному языку. Смотрите эту статью в Википедии, чтобы узнать о некоторых естественных проблемах, связанных с LogCFL. Есть несколько других интересных LogCFL-полных проблем. Я …

16 cc.complexity-theory  complexity-classes 

Краткий вопрос Какова вычислительная мощность «квантовых» схем, если мы допускаем неунитарные (но все еще обратимые) вентили и требуем, чтобы выходные данные давали правильный ответ с уверенностью? Этот вопрос в некотором смысле касается того, что происходит с классом EQPEQP\mathsf{EQP} когда вы разрешаете схемам использовать больше, чем просто унитарные вентили. (Мы все …

15 complexity-classes  quantum-computing 

За последние два десятилетия была проделана фантастическая работа над перманентом. Некоторое время я размышлял о возможности алгоритма Smooth P для перманента неотрицательных матриц. Конечно, есть известный алгоритм JSV, но это fpras. Думая о другой работе в рамках Сглаженной Сложности, сильным намеком на присутствие в Сглаженном P было существование алгоритма fpras …

15 cc.complexity-theory  complexity-classes