Запитання з тегом «p-vs-np»

Я перебуваю в курсі обчислення та складності , і не можу зрозуміти, що означають ці терміни. Все, що я знаю, це те, що NP - це підмножина NP-Complete, яка є підмножиною NP-hard, але я поняття не маю, що вони насправді означають. Вікіпедія теж не дуже допомагає, оскільки пояснення все ще …

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

Існує багато спроб довести або або P ≠ N P , і, природно, багато людей замислюються над цим питанням, маючи ідеї довести будь-який напрямок.P=NPП=NП\mathsf{P} = \mathsf{NP} P≠NPП≠NП\mathsf{P} \neq \mathsf{NP} Я знаю, що є підходи, які, як було доведено, не працюють, і, мабуть, більше таких, які мають історію невдач. Також, здається, …

96 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 

Чи є відомі проблеми в NPNP\mathsf{NP} (а не в PP\mathsf{P} ), які не є NPNP\mathsf{NP} Повними? Я розумію, що в даний час немає відомих проблем, але це не виключено як можливість. Якщо є проблема, яка є NPNP\mathsf{NP} (а не PP\mathsf{P} ), але не NP-completeNP-complete\mathsf{NP\text{-}complete} , це буде наслідком відсутності ізоморфізму …

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

Коли я пояснював доказ Бейкер-Гілла-Солової про те, що існує оракул, з яким ми можемо мати, , і оракул, з яким ми можемо мати P ≠ N P другові, виникло питання, чому такі методи погано підходять для доведення проблеми P ≠ N P , і я не міг дати задовільної відповіді.P=NPP=NP\mathsf{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, нам потрібно створити єдиний багаточленний алгоритм часу для Q та довести, що A правильно вирішує Q. Щоб довести P NP, …

20 complexity-theory  p-vs-np 

Я впевнений, що хтось замислювався над цим раніше або негайно відхилив це, але чому теорія дихотомії Шефера разом з теоремою Махані про рідкісні множини не означає P = NP? Ось моє міркування: Створіть мову , рівну SAT, перетинається нескінченним розрізненим набором. Тоді L також повинен бути рідким. Оскільки L за …

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

Якщо насправді дорівнює N P , як би це покращило наші алгоритми швидше розбивати цілі числа. Іншими словами, яке розуміння дасть нам цей факт у розумінні цілочислової факторизації?PP{\sf P}NPNP{\sf NP}

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

Припустимо, .P≠NPP≠NPP\neq NP Що ми можемо сказати про межі виконання всіх проблем, повних NP? тобто які є найкруткіші функції для яких ми можемо гарантувати, що оптимальний алгоритм для будь -якої задачі, повного NP, працює в часі принаймні \ omega (L (n) ) і максимум o (U (n)) на вході довжиною …

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

Це моє перше повідомлення після того, як деякий час був пасивним користувачем. Я хотів би задати деякі питання, якщо можна. Я не математик, але моє питання стосується галузі математики / інформатики. Зокрема, проблема P vs NP. Я знаю, що це проблема, яку елітні професіонали ще не змогли вирішити ... Незалежно, …

13 complexity-theory  p-vs-np 

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

12 complexity-theory  p-vs-np 

Це, мабуть, дурне питання, але я просто не розумію. В іншому питанні вони придумали теорему про дихотомію Шефера . Для мене це виглядає так, що це доводить, що кожна проблема CSP знаходиться або в P, або в NP-комплекті, але не знаходиться між ними. Оскільки кожна проблема NP може бути перетворена …

12 np-complete  satisfiability  p-vs-np 

У мене це дуже просте "доказ" для NP = CoNP, і я думаю, що я десь щось зробив неправильно, але не можу знайти те, що не так. Може хтось допоможе мені? Нехай A є деякою проблемою в NP, і нехай M є рішенням для А. Нехай B є доповненням, тобто …

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