Существует множество попыток доказать либо либо , и, естественно, многие люди задумываются над этим вопросом, имея идеи для доказательства того или иного направления.P ≠ N PP = N Pпзнак равноNп\mathsf{P} = \mathsf{NP} P ≠ N Pп≠Nп\mathsf{P} \neq \mathsf{NP} Я знаю, что есть подходы, которые, как...
У меня есть общее понимание проблемы и я понимаю, что если бы это было абсолютно «доказано», чтобы быть правдой с предоставленным решением, это открыло бы дверь для решения многочисленных проблем в области компьютерных наук.п= NпP=NPP=NP Мой вопрос: если бы кто-то опубликовал неоспоримое,...
Есть ли известные проблемы в (а не в P ), которые не являются N P Complete? Насколько я понимаю, в настоящее время нет известных проблем, когда это так, но это не исключено как возможность. NPNп\mathsf{NP}Pп\mathsf{P}NPNп\mathsf{NP} Если есть проблема , которая является (а не Р ) , но не Н Р - с о...
Когда я объяснял доказательство Бейкера-Гилла-Соловая, что существует оракул, с которым мы можем иметь, , и оракул, с помощью которого мы можем иметь P ≠ N P другу, возник вопрос, почему такие методы плохо подходят для доказательства проблемы P ≠ N P , и я не мог дать удовлетворительный ответ.P = N...
Возможно ли, что и мощность совпадает с мощностью ? Или означает, что и должны иметь разные мощности?P≠NPP≠NP\mathsf{P} \not = \mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}P≠NPP≠NP\mathsf{P} \not =
Если действительно равен , как это улучшит наши алгоритмы, чтобы быстрее вычислять целые числа? Другими словами, какое понимание даст нам этот факт для лучшего понимания целочисленной факторизации?PP{\sf P}NPNP{\sf...
Я уверен, что кто-то думал об этом раньше или сразу же отклонил это, но почему теория дихотомии Шефера наряду с теоремой Махани о разреженных множествах не подразумевает P = NP? Вот мои рассуждения: создайте язык который равен SAT, пересекаемому бесконечным разрешимым разреженным множеством. Тогда...
Это мой первый пост после пассивного использования в течение некоторого времени. Я хотел бы задать несколько вопросов, если можно. Я не математик, но мой вопрос относится к области математики / информатики. В частности, проблема P против NP. Я знаю, что это проблема, которую элитные профессионалы...
Мне интересно это на основании нескольких мест в Интернете, которые называют co- серьезной открытой проблемой ... но я не могу найти никаких указаний на то, является ли это тем же, что проблема ...Н П П = Н ПNP=NP=\sf NP=NPNP\sf NPP=NPP=NP\sf...
У меня есть это очень простое «доказательство» для NP = CoNP, и я думаю, что где-то сделал что-то неправильно, но я не могу найти, что не так. Кто-нибудь может мне помочь? Пусть A - некоторая проблема в NP, и пусть M - решающий фактор для A. Пусть B - дополнение, т. Е. B в CoNP. Поскольку M...
Я знаю, что это кажется очень глупым (или слишком очевидным для формулировки) вопросом. Тем не менее, я смущен в какой-то момент. Мы можем показать, что P NPзнак равно== тогда и только тогда, когда сможем разработать алгоритм, который решает любой конкретный случай проблемы в NP за полиномиальное...
Это, наверное, глупый вопрос, но я просто не понимаю. В другом вопросе они придумали теорему Шефера о дихотомии . Мне кажется, это доказывает, что каждая проблема CSP либо в P, либо в NP-полной, но не между ними. Поскольку каждая проблема NP может быть преобразована за полиномиальное время в CSP...
Я знаю, что это глупо, но мне удалось запутаться, и мне нужна помощь, чтобы решить эту проблему Предположим, что , тогда ясно, что для каждого оракула имеем что противоречит тому, что существует некоторый оракул для которого , следовательно,P=NPP=NPP=NPAAAPA=NPAPA=NPAP^A=NP^AAAAPA≠NPAPA≠NPAP^A\neq...
Я пытаюсь утверждать, что N не равен NP, используя теоремы иерархии. Это мой аргумент, но когда я показал его нашему учителю и после дедукции, он сказал, что это проблематично, когда я не могу найти вескую причину для принятия. Мы начнем, предполагая , что P=NPP=NPP=NP . Тогда из этого следует, что...
Если P=NPP=NP\mathbf{P} = \mathbf{NP} , то есть L=NLL=NL\mathbf{L} = \mathbf{NL} ? Я задаю этот вопрос, потому что для других недетерминированных классов кажется, что P=NPP=NP\mathbf{P} = \mathbf{NP} всегда устанавливает, что они равны своим детерминированным...
Недавно я прочитал действительно интересную запись в блоге Google Research Blog, рассказывающую о нейронной сети. В основном они используют эту нейронную сеть для решения различных задач, таких как распознавание изображений. Они используют генетические алгоритмы, чтобы «развить» веса аксонов. В...
Мне очень нужна ваша помощь в доказательстве следующего. Если то . P = N PN T i m e ( n100) ⊆ D Т я м е ( п1000)NTime(n100)⊆DTime(n1000)\mathrm{NTime}(n^{100}) \subseteq \mathrm{DTime}(n^{1000})P = N PP=NP\mathrm{P}=\mathrm{NP} Здесь - это класс всех языков, которые могут быть определены...
Valiant & Vazirani доказал, что SAT сводится к UNIQUE SAT при рандомизированных вероятностных сокращениях за полиномиальное время. Calabro et al . показал, что УНИКАЛЬНЫЙ k-SAT такой же жесткий, как и k-SAT. Теперь возникает вопрос: если кто-то показывает, что UNIQUE k-SAT находится в P,...