Вопросы с тегом «p-vs-np»

Я в курсе о вычислениях и сложности , и я не в состоянии понять , что означают эти термины. Все, что я знаю, это то, что NP - это подмножество NP-complete, которое является подмножеством NP-hard, но я понятия не имею, что они на самом деле значат. Википедия тоже не сильно …

249 complexity-theory  terminology  complexity-classes  p-vs-np  reference-question 

Существует множество попыток доказать либо либо , и, естественно, многие люди задумываются над этим вопросом, имея идеи для доказательства того или иного направления.P ≠ N PP = N Pпзнак равноNп\mathsf{P} = \mathsf{NP} P ≠ N Pп≠Nп\mathsf{P} \neq \mathsf{NP} Я знаю, что есть подходы, которые, как было доказано, не работают, и, …

97 complexity-theory  reference-request  history  p-vs-np  reference-question 

У меня есть общее понимание проблемы и я понимаю, что если бы это было абсолютно «доказано», чтобы быть правдой с предоставленным решением, это открыло бы дверь для решения многочисленных проблем в области компьютерных наук.п= NпP=NPP=NP Мой вопрос: если бы кто-то опубликовал неоспоримое, конструктивное доказательство , каковы некоторые непосредственные последствия такого …

56 complexity-theory  p-vs-np 

Многие, кажется, считают, что , но многие также считают маловероятным, что это когда-либо будет доказано. Нет ли здесь несоответствия? Если вы считаете, что такое доказательство маловероятно, то вы также должны верить, что отсутствуют веские аргументы в пользу . Или есть хорошие аргументы в пользу того, что маловероятно, в том же …

55 complexity-theory  p-vs-np 

Есть ли известные проблемы в (а не в P ), которые не являются N P Complete? Насколько я понимаю, в настоящее время нет известных проблем, когда это так, но это не исключено как возможность. NPNп\mathsf{NP}Pп\mathsf{P}NPNп\mathsf{NP} Если есть проблема , которая является (а не Р ) , но не Н Р …

34 complexity-theory  np-complete  p-vs-np 

Когда я объяснял доказательство Бейкера-Гилла-Соловая, что существует оракул, с которым мы можем иметь, , и оракул, с помощью которого мы можем иметь P ≠ N P другу, возник вопрос, почему такие методы плохо подходят для доказательства проблемы P ≠ N P , и я не мог дать удовлетворительный ответ.P = …

29 complexity-theory  proof-techniques  p-vs-np  relativization 

Возможно ли, что и мощность совпадает с мощностью ? Или означает, что и должны иметь разные мощности?P≠NPP≠NP\mathsf{P} \not = \mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}P≠NPP≠NP\mathsf{P} \not = \mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}

20 complexity-classes  p-vs-np 

Рассмотрим две возможности для задачи P против NP: P = NP и P ≠≠\neq NP. Пусть Q будет одной из известных NP-трудных задач. Чтобы доказать P = NP, нам нужно спроектировать единый полиномиальный алгоритм времени A для Q и доказать, что A правильно решает Q. Чтобы доказать P ≠≠\neq NP, …

20 complexity-theory  p-vs-np 

Я уверен, что кто-то думал об этом раньше или сразу же отклонил это, но почему теория дихотомии Шефера наряду с теоремой Махани о разреженных множествах не подразумевает P = NP? Вот мои рассуждения: создайте язык который равен SAT, пересекаемому бесконечным разрешимым разреженным множеством. Тогда L также должен быть разреженным. Поскольку …

14 complexity-theory  np-complete  satisfiability  p-vs-np 

Если действительно равен , как это улучшит наши алгоритмы, чтобы быстрее вычислять целые числа? Другими словами, какое понимание даст нам этот факт для лучшего понимания целочисленной факторизации?PP{\sf P}NPNP{\sf NP}

14 complexity-theory  computability  np-complete  p-vs-np  factoring 

Предположим , P≠NPP≠NPP\neq NP . Что мы можем сказать о границах выполнения всех NP-полных задач? т. е. каковы наиболее узкие функции L,U:N→NL,U:N→NL,U:\mathbb{N}\to\mathbb{N} для которых мы можем гарантировать, что оптимальный алгоритм для любой NP-полной задачи выполняется во времени, по крайней мере, ω(L(n))ω(L(n))\omega(L(n)) и не более чем o(U(n))o(U(n))o(U(n)) на входе длины nnn …

13 complexity-theory  time-complexity  np-complete  p-vs-np 

Это мой первый пост после пассивного использования в течение некоторого времени. Я хотел бы задать несколько вопросов, если можно. Я не математик, но мой вопрос относится к области математики / информатики. В частности, проблема P против NP. Я знаю, что это проблема, которую элитные профессионалы еще не смогли решить ... …

13 complexity-theory  p-vs-np 

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

12 complexity-theory  p-vs-np 

Это, наверное, глупый вопрос, но я просто не понимаю. В другом вопросе они придумали теорему Шефера о дихотомии . Мне кажется, это доказывает, что каждая проблема CSP либо в P, либо в NP-полной, но не между ними. Поскольку каждая проблема NP может быть преобразована за полиномиальное время в CSP (потому …

12 np-complete  satisfiability  p-vs-np 

У меня есть это очень простое «доказательство» для NP = CoNP, и я думаю, что где-то сделал что-то неправильно, но я не могу найти, что не так. Кто-нибудь может мне помочь? Пусть A - некоторая проблема в NP, и пусть M - решающий фактор для A. Пусть B - дополнение, …

12 complexity-theory  p-vs-np  check-my-proof  np