Запитання з тегом «complexity-theory»

Я проходжу курс складності, і у мене виникають проблеми зі створенням скорочень між проблемами NPC. Як знайти скорочення між проблемами? Чи є загальна хитрість, яку я можу використовувати? Як мені підходити до проблеми, яка просить мене довести проблему - NPC?

27 complexity-theory  np-complete  proof-techniques  reductions 

Багатьом приходило в голову, що у всіх документах неповноту, які я прочитав (що я пам’ятаю), завжди банально показати, що проблема є у , і показати, що це -твердий - це ... важка частина. Які -повні проблеми - це ті, чиї поліноміальні перевіряючі часи вкрай нетривіальні?НП НП НПНПNP\textbf{NP}НПNP\textbf{NP}НПNP\textbf{NP}НПNP\textbf{NP}

27 complexity-theory  np-complete  np 

Як видно з цієї недавньої смужки XKCD і цієї останньої публікації в блозівід Пітера Норвіга (і повість Slashdot із останньою), "гольф" регулярного вираження "(який можна краще назвати проблемою розділення регулярних виразів) - це загадка визначення найкоротшого можливого регулярного виразу, який приймає кожне слово у множині A і жодне слово в …

27 complexity-theory  np-complete  regular-expressions 

Це питання надихнуло коментар щодо StackOverflow . Окрім знання проблем, повних NP, книги Гарі Джонсон та багатьох інших; чи є правило, щоб дізнатися, чи проблема схожа на NP-повну? Я шукаю не щось суворе, а те, що працює в більшості випадків. Зрозуміло, кожен раз, коли ми повинні доводити, що проблема є …

26 complexity-theory  np-complete  intuition 

Це питання було перенесено з Теоретичної біржі стека комп'ютерних наук, оскільки на нього можна відповісти на інформаційній стеці. Мігрували 7 років тому . Відомо, що кожна проблема оптимізації / пошуку має еквівалентну проблему рішення. Наприклад, проблема найкоротшого шляху версія оптимізації / пошуку: Давши ненаправлений невагомий графік та дві вершини , …

26 complexity-theory  optimization  search-problem  decision-problem 

Це питання було перенесено з обміну стека математики, оскільки на нього можна відповісти на інформаційній стеці. Мігрували 6 років тому . Доміноза - це відносно нова гра-головоломка. Відтворюється в сітці . Перед початком гри кістки доміно розміщуються на сітці (являючи собою ідеальну плитку ). На наступному кроці кістки доміно заховаються, …

26 complexity-theory  np-hard  board-games  tiling 

Неформальна постановка проблеми: Враховуючи рядок, наприклад , ми хочемо пофарбувати деякі букви в червоний колір, а деякі - в синій (а деякі зовсім не такі), щоб читати лише червоні ліворуч зліва направо - такий же результат, як і читання лише синіх літер.А ССА Б В А ВACCABBABACCABBAB У прикладі ми …

26 algorithms  complexity-theory  np-complete  strings  subsequences 

Мене цікавить питання, як найкраще навчати NP-повноті спеціальностей з інформатики. Зокрема, чи слід вчити цього за допомогою скорочення Карпа чи використання скорочень Тьюрінга? Я відчуваю, що поняття завершеності NP і скорочення - це те, чого повинен вивчити кожен основний інформатик. Однак, навчаючи NP-повноти, я помітив, що використання скорочення Карпа має …

25 complexity-theory  np-complete  reductions  education  didactics 

Очевидно, що в НП немає жодних невирішених проблем. Однак, згідно з Вікіпедією : NP - це сукупність усіх проблем з рішеннями, для яких випадки, коли відповідь "так", мають [.. докази, які] можна перевірити в поліноміальний час детермінованою машиною Тьюрінга. [...] Проблема, як кажуть, є в NP тоді і тільки тоді, …

25 complexity-theory  computability  undecidability  decision-problem 

Якби хтось побудував універсальний квантовий комп'ютер, чи мали би це вплив на проблему P проти NP?

25 complexity-theory  complexity-classes  quantum-computing 

Якщо припустити, що P NP, проблеми, повні з NP, "важко вирішити, але відповіді легко перевірити". Чи має сенс вважати протилежне, тобто проблеми, на які легко обчислити правильну відповідь, але важко перевірити довільне розсудливе рішення?≠≠\neq Я думаю, що така проблема означатиме: Експоненціально багато "правильних" відповідей на будь-який даний вхід, тому що …

25 complexity-theory 

З огляду на будь-яку обчислювальну проблему, чи реально можливе завдання знайти нижню межу для таких обчислень? Я вважаю, що це зводиться до того, як визначено один обчислювальний крок та яку модель ми використовуємо для доказування, але враховуючи це, чи дійсно ми доводимо нижню межу, ніж загалом? Що я маю на …

24 complexity-theory  time-complexity  proof-techniques  lower-bounds 

Нехай - булева формула, що складається із звичайних операторів AND, OR або NOT, а також деяких змінних. Я хотів би, щоб підрахувати число задовольняють призначень для . Тобто, я хочу знайти кількість різних присвоєнь значень істини змінним для яких приймає справжнє значення. Наприклад, формула має три задовольняючі завдання; має чотири. …

24 complexity-theory  reference-request  satisfiability 

Це питання було перенесено із переповнення стека, оскільки на нього можна відповісти на інформаційній стеці. Мігрували 7 років тому . Визначення проблеми логічного мінімуму (LMC) Припустимо, що - невагомий диграф, і - дві вершини , а досягається з . Проблема LMC вивчає, як ми можемо зробити недоступним для , видаливши …

24 complexity-theory  graph-theory  np-complete 

Це питання було перенесено із переповнення стека, оскільки на нього можна відповісти на інформаційній стеці. Мігрували 7 років тому . Мене трохи бентежить деяка термінологія, з якою я стикався щодо складності проблем оптимізації. У класі алгоритмів у мене була велика проблема прихильності, описана як NP-завершена. Однак я не зовсім впевнений, …

24 complexity-theory  np-complete  terminology