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

Це моє перше питання на цьому сайті. Я беру магістерський курс з теорії обчислень. Як би ви пояснили проблему P = NP 10-річній дитині і чому вона має таку грошову винагороду? Ваш взяти? Я оновлю це питання, коли моя голова стане зрозумілою.

54 cc.complexity-theory  soft-question  teaching  p-vs-np 

Іноді стверджується, що теорія геометричної складності Кетана Малмулі є єдиною правдоподібною програмою вирішення відкритих питань теорії складності, таких як P проти NP. Про програму надійшло кілька позитивних коментарів відомих теоретиків складності. За словами Мулмулі, потрібен тривалий час, щоб досягти бажаних результатів. Увійти в область непросто для теоретиків загальної складності і …

38 cc.complexity-theory  big-picture  algebraic-complexity  p-vs-np  gct 

Багато експертів вважають, що гіпотеза істинна, і використовують її у своїх результатах. Мене хвилює те, що складність сильно залежить від гіпотези .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} Отже, моє запитання: Поки гіпотеза не доведена, чи може / слід вважати це законом природи, як зазначено у цитаті Страссена? Або ми маємо трактувати …

30 cc.complexity-theory  soft-question  big-picture  p-vs-np  physics 

Теорема Ладнера добре відома, що якщо , то існує нескінченно багато N P- проміжних ( N P I ) задач. Також є природні кандидати на цей статус, такі як Графічний ізоморфізм та ряд інших, див. Проблеми між P та NPC . Проте, переважна більшість в натовпі відомої н в т …

29 cc.complexity-theory  p-vs-np  np-intermediate 

Можна припустити, що оскільки зворотне значення означатиме . Теорема Ладнера встановлює, що якщо \ mathsf {P} \ ne \ mathsf {NP}, то \ mathsf {NPI}: = \ mathsf {NP} \ setminus (\ mathsf {NPC} \ cup \ mathsf {P}) \ ne \ emptyset . Однак, схоже, доказ не узагальнює \ …

29 cc.complexity-theory  complexity-classes  advice-and-nonuniformity  p-vs-np  np-intermediate 

Чи є якісь іграшкові приклади, які дають «суттєві» уявлення про розуміння трьох відомих бар’єрів для проблеми P=NPP=NPP = NP - релятивізації, природних доказів та алгебризації?

28 cc.complexity-theory  relativization  p-vs-np  natural-proofs  barriers 

Ця відповідь на основні невирішені проблеми теоретичної інформатики? Питання зазначає, що воно є відкритим, якщо певна проблема в NP вимагає часу.Ω ( n2)Ω(n2)\Omega(n^2) Дивлячись на коментарі під відповідь, мене здивувало: Окрім прокладки та подібних хитрощів, яка найвідоміша часова складність нижньої межі на детермінованій машині оперативної пам’яті (або багатоканальній детермінованій машині …

25 cc.complexity-theory  np  p-vs-np 

Добре відомо, що будь-які докази, що вирішують питання Р проти НП, повинні долати релятивізацію , природні докази та бар'єри алгебризації . Наступна діаграма розділяє "простір доказів" на різні регіони. Наприклад, відповідає набору доказів, які релятивізують і натуралізують. (Геометрична теорія складності), звичайно, суворо межа регіону.G C TRNRNRNGCTGCTGCT Назвіть кілька доказів разом …

25 cc.complexity-theory  proofs  barriers  p-vs-np 

Це свого роду відкрите запитання - за яке я заздалегідь вибачаюся. Чи є приклади тверджень, які (здавалося б, не мають нічого спільного зі складністю або машинами Тюрінга, але відповідь яких означатиме ?P≠NPP≠NP\mathbf{P}\neq \mathbf{NP}

22 cc.complexity-theory  complexity-classes  p-vs-np 

Я читав " Невже P Versus NP формально незалежний? ", Але розгубився. Широко поширена думка , в теорії складності , що . Моє запитання полягає в тому, що робити, якщо це не довести (скажімо, у Z F C ). (Припустимо, що ми тільки з'ясуємо, що P ≠ N P не …

22 cc.complexity-theory  np-hardness  big-picture  proofs  p-vs-np 

Чи відомий явний приклад алгоритму з властивістю таким, що якщо то цей алгоритм не запускається в поліноміальний час, а якщо то він працює в поліноміальний час?П≠ NПП≠NПP\neq NPП= NПП=NПP=NP

18 ds.algorithms  np  p-vs-np 

Мене цікавить вивчення зв'язків між "хаосом" або, ширше, динамічними системами, і питанням . Ось приклад типу літератури, яку я шукаю:П= NПП=NПP{=}NP Ерксей-Раваш, Марія та Золтан Торочкай. "Оптимізаційна твердість як перехідний хаос в аналоговому підході до обмеження задоволення". Фізика природи 7, вип. 12 (2011): 966-970. ( Посилання на журнал .) Хтось …

18 cc.complexity-theory  p-vs-np 

Знаменита концепція ізоморфізму Бермана та Хартманіса говорить, що всі незавершені мови є многочленним ізоморфним часом (p-ізоморфним) один для одного. Ключове значення гіпотези полягає в тому, що вона передбачає . Він був опублікований у 1977 р., І підтверджуючи, що всі проблеми, що не стосуються відомі на той час, справді були p-ізоморфними. …

18 cc.complexity-theory  complexity-classes  p-vs-np  np-complete 

Чи можливо алгоритмічно перевірити, чи є обчислюване число раціональним чи цілим? Іншими словами, чи можливо бібліотеці, яка реалізує обчислювані числа, надавати функції isIntegerабо isRational? Я здогадуюсь, що це неможливо, і що це якимось чином пов'язане з тим, що неможливо перевірити, чи є два числа рівними, але я не бачу, як …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Я думаю, що було б хорошою ідеєю скласти перелік теорем, вказуючи, що P не дорівнює NP, якщо і лише тоді, коли такі і такі виходи, якийсь клас складності міститься в іншому класі складності тощо і так далі.

18 cc.complexity-theory  big-list  p-vs-np