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

Гауэрс недавно изложил проблему, которую он называет «дискретизированной определенностью Бореля», решение которой связано с доказательством нижних границ схемы. Можете ли вы дать краткое изложение подхода, ориентированного на аудиторию теоретиков сложности? Что потребуется для этого подхода, чтобы доказать что-либо , включая повторное доказательство известных нижних границ?

16 cc.complexity-theory  p-vs-np 

Мы все знаем, что у есть барьеры. Мы все изучили эти барьеры, потому что мы считаем, что .P ≠ N Pп≠ NпP≠NPP\ne NPп≠ NпP≠NPP\ne NP Однако предположим, что и есть мудрые люди, которые считают, что такая возможность существует . Если это действительно так, то сам факт того, что мы не …

15 p-vs-np  barriers 

Насколько я понимаю, доказательство того, что P = NP или P ≠ NP, должно быть нерелятивизируемым (как в оракулах теории рекурсии). Практически все доказательства кажутся релятивизируемыми. Какие хорошие примеры , не являющиеся Релятивизуемых доказательств, из тех , что Р = NP / P ≠ NP доказательству было бы нужно быть, …

13 cc.complexity-theory  lo.logic  computability  p-vs-np  relativization 

Исходя из математики фона, кажется , интересно мне , что на всем компьютере ученые , как правило , к работе в предположении , что P≠NPP≠NPP \neq NP . Хотя в любом случае нет никаких доказательств, в общем, если что-то не может быть конкретно недоказано как в математике, так и в …

12 p-vs-np 

в 1979 году Хопкрофт / Ульман написал, что L ⊆ P ⊆ NP ⊆ PSpace известно, но L ⊊ PSpace является единственным известным (и тривиальным) сдерживанием, известным, хотя все предполагаются как надлежащие сдерживания, и «где вещи все еще стоят» ~ 4 десятилетия спустя , с тех пор существует ли какая-либо …

12 cc.complexity-theory  reference-request  lower-bounds  p-vs-np  conditional-results 

Я совершенно уверен, что я не первый, кто принимает идею, которую я собираюсь представить. Однако было бы полезно, если бы я мог найти какую-либо литературу, связанную с этой идеей. Идея состоит в том, чтобы построить машину Тьюринга M со свойством, что если P = NP, то M будет решать 3-SAT …

12 reference-request  turing-machines  p-vs-np 

Зафиксируем NP-полную задачу поиска, например форму поиска SAT. Поиск Левина предоставляет алгоритм L для решения X, который в некотором смысле является оптимальным. В частности, алгоритм таков: «Выполните все возможные программы P в соответствии друг с другом на входе x , как только некоторые P вернут ответ y, проверяет, правильно ли …

12 cc.complexity-theory  time-complexity  p-vs-np 

Мне недавно напомнили о проблеме против N P, как объяснил Стивен А. Кук в Математическом институте Клея.пP\mathsf{P}Н ПNP\mathsf{NP} Это вызвало у меня интерес, и я хотел бы узнать об этом больше. Первым шагом будет более глубокое понимание проблемы и понимание области в целом. Можете ли вы порекомендовать какие-либо книги или …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

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

12 cc.complexity-theory  complexity-classes  np-hardness  p-vs-np 

Прежде всего, мое понимание теоремы Гёделя о неполноте (и формальной логики в целом) очень наивно, а также мои знания в области теоретической информатики (имеется в виду только один выпускной курс, когда я еще студент), поэтому этот вопрос может быть очень наивно Насколько я мог найти, доказуемость P против NP является …

11 np-hardness  proofs  p-vs-np 

Меня интересует вопрос, является ли NP равным coNP или нет. Я был бы очень признателен за советы о хороших публикациях по этой теме. Для справки, я знаю, что этот вопрос тесно связан с вопросом о том, равен ли P NP или нет (например, если NP! = CoNP, то P! = …

11 cc.complexity-theory  reference-request  p-vs-np 

В статье Стивена Кука о проблеме P против NP [1] он утверждает следующее [2]: Тезис осуществимости: естественная задача имеет выполнимый алгоритм, если он имеет алгоритм полиномиального времени. У меня вопрос, что именно он (или вообще, на самом деле, что один) подразумевает под « естественной проблемой»? Разговоры о естественных проблемах кажутся …

11 time-complexity  p-vs-np  complexity  fixed-parameter-tractable 

Предположим, P! = NP. Мы знаем, что можем в любое время легко создавать 3-SAT. Мы также можем генерировать то, что мы считаем трудными примерами (потому что наши алгоритмы не могут их быстро решить). Что-нибудь мешает множеству жестких экземпляров быть сколь угодно малыми, при условии, что для любого данного размера экземпляра …

9 np-hardness  p-vs-np