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

Норберт Блум недавно опубликовал 38-страничное доказательство того, что . Это правильно?п≠ NпP≠NPP \ne NP Также по теме: где еще (в интернете) обсуждается его правильность? Примечание: фокус этого текста вопроса со временем изменился. Смотрите вопрос комментарии для деталей.

232 cc.complexity-theory  np-hardness  complexity-classes 

Этот вопрос я задавался вопросом некоторое время. Когда люди описывают проблему P против NP, они часто сравнивают класс NP с творчеством. Они отмечают, что составление симфонии качества Моцарта (аналог задачи NP) кажется намного сложнее, чем проверка того, что уже составленная симфония имеет качество Моцарта (аналог задачи P). Но действительно ли …

59 cc.complexity-theory  complexity-classes  soft-question 

В описательной сложности Иммерман имеет Следствие 7.23. Следующие условия эквивалентны: 1. P = NP. 2. Над конечными упорядоченными структурами FO (LFP) = SO. Это можно рассматривать как «усиление» P = NP до эквивалентного утверждения над (предположительно) классами большей сложности. Обратите внимание, что SO захватывает иерархию PH полиномиального времени, а FO …

54 cc.complexity-theory  reference-request  complexity-classes  conditional-results  polynomial-hierarchy 

Мы знаем, что L⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P} и что L⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{L}^2 \subseteq polyLpolyL\mathsf{polyL} , где L2=DSPACE(log2n)L2=DSPACE(log2⁡n)\mathsf{L}^2 = \mathsf{DSPACE}(\log^2 n) . Мы также знаем , что polyL≠PpolyL≠P\mathsf{polyL} \neq \mathsf{P}потому что у последнего есть полные проблемы при логарифмическом пространстве многократных сокращений, в то время как у первого нет …

46 cc.complexity-theory  complexity-classes  conditional-results  structural-complexity 

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

37 cc.complexity-theory  ds.algorithms  graph-algorithms  complexity-classes  unique-solution 

Насколько я понимаю, программа теории геометрической сложности пытается разделить , доказав, что постоянство комплексной матрицы гораздо сложнее вычислить, чем определитель.VP≠VNPVP≠VNPVP \neq VNP Вопрос, который у меня возник после просмотра документов GCT: будет ли это сразу означать , или это просто важный шаг к этой цели?P≠NPP≠NPP \neq NP

37 cc.complexity-theory  complexity-classes  algebraic-complexity  conditional-results  gct 

Постоянно растущая сложность компьютерных программ и все более важное положение, которое компьютеры занимают в нашем обществе, заставляют меня задуматься, почему мы до сих пор не используем все вместе языки программирования, на которых вам необходимо предоставить формальное доказательство правильности работы вашего кода. Я считаю, что этот термин является «сертифицирующим компилятором» (я …

37 reference-request  complexity-classes  computability  pl.programming-languages 

Во введении и объяснении P и NP классы сложности часто даются через машину Тьюринга. Одной из моделей вычислений является лямбда-исчисление. Я понимаю, что все модели вычислений эквивалентны (и если мы можем ввести что-либо в терминах машины Тьюринга, мы можем представить это в терминах любой модели вычислений), но я никогда не …

36 cc.complexity-theory  complexity-classes  turing-machines  lambda-calculus 

В своей книге «Вычислительная сложность» Пападимитриу пишет: RP в некотором смысле новый и необычный вид сложности класса. Ни одна полиномиально ограниченная недетерминированная машина Тьюринга не может быть основой для определения языка в RP. Чтобы машина N могла определить язык в RP , она должна обладать замечательным свойством, которое на всех …

35 cc.complexity-theory  complexity-classes  big-picture 

С общей точки смысле зрения, легко поверить , что добавление индетерминизм к значительно расширяет свою власть, т.е. N P гораздо больше , чем P . В конце концов, недетерминизм допускает экспоненциальный параллелизм, который, несомненно, кажется очень мощным. PP\mathsf{P}NPNP\mathsf{NP}PP\mathsf{P} С другой стороны, если мы просто добавить неравномерность в , получение P …

33 cc.complexity-theory  complexity-classes  big-picture 

Рассмотрим следующую проблему подсчета (или связанную с ней проблему решения): учитывая два натуральных числа, закодированных в двоичном виде, вычислим их наибольший общий делитель (gcd). В каком классе наименьшей сложности содержится эта проблема? Можете ли вы предоставить ссылку? В этом вопросе меня интересуют не асимптотические оценки времени выполнения, а классы сложности. …

33 cc.complexity-theory  reference-request  complexity-classes  nt.number-theory 

Как любитель TCS, я читаю некоторые очень вводные материалы по квантовым вычислениям. Вот несколько элементарных кусочков информации, которые я узнал до сих пор: Известно, что квантовые компьютеры не решают NP-полных задач за полиномиальное время. «Квантовой магии будет недостаточно» (Беннетт и др., 1997): если вы отбросите структуру проблемы и просто рассмотрите …

33 cc.complexity-theory  complexity-classes  quantum-computing  conditional-results  physics 

Центральная проблема теории сложности, возможно, против .Н ПпPPNпNPNP Однако, поскольку Природа является квантовой, представляется более естественным рассмотреть классы (т. Е. Задачи решения, решаемые квантовым компьютером за полиномиальное время с вероятностью ошибки не более 1/3 для всех случаев) и (квантовый эквивалент из ) вместо этого.Q M A N PB Q PBQPBQPQ …

33 cc.complexity-theory  complexity-classes  quantum-computing 

Этот вопрос касается проблем, для которых существует большой открытый разрыв сложности между известной нижней границей и верхней границей, но не из-за открытых проблем самих классов сложности. Чтобы быть более точным, скажем, у проблемы есть классы промежутков A,BA,BA,B (с , не определенным однозначно), если - максимальный класс, для которого мы можем …

32 cc.complexity-theory  complexity-classes  big-list 

В статье «Гипотеза случайного оракула ложна» авторы (Чанг, Чор, Гольдрайх, Хартманис, Хостад, Ранджан и Рохатхи) обсуждают значение гипотезы о случайном оракуле . Они утверждают, что мы очень мало знаем о разделениях между классами сложности, и большинство результатов включают либо использование разумных допущений, либо гипотезу случайного оракула. Наиболее важным и широко …

32 cc.complexity-theory  complexity-classes  big-list  complexity-assumptions