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

Мені хотілося б дізнатися, чи була якась робота, що стосується юридичного кодексу щодо складності. Зокрема, припустимо, що у нас є проблема рішення "Зважаючи на цю книгу законів та на цю конкретну сукупність обставин, чи підсудний винен?" До якого класу складності він належить? Є результати, які довели, що карткова гра Magic: …

64 complexity-theory  np-complete  decision-problem 

Чи є проблеми, повні NP, які мають доведені алгоритми субекспоненціального часу? Я прошу загальних вкладів справи, я не говорю тут про спеціальні випадки, які можна простежити. Під субекспоненціалом я маю на увазі порядок зростання над многочленами, але меншим за експоненціальний, наприклад .nlognnlog⁡nn^{\log n}

51 complexity-theory  np-complete  np 

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

50 complexity-theory  np-complete  dynamic-programming 

Я прочитав запис у Вікіпедії про " Список проблем, повних NP ", і виявив, що такі ігри, як супер-маріо, покемон, тетріс або сага, що розчавлюють цукерки, є n-завершеними. Як я можу уявити np-повноту гри? Відповіді не повинні бути надто точними. Я просто хочу отримати огляд того, що означає, що ігри …

50 complexity-theory  np-complete  computer-games 

Припустимо, що я програміст і у мене є проблема, що завершується NP, що мені потрібно вирішити. Які методи доступні для вирішення проблем NPC? Чи є опитування чи щось подібне на цю тему?

43 algorithms  reference-request  np-complete  efficiency  reference-question 

Чи є відомі проблеми в 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 

Отже, проблема рішення TSP (Проблема продавця подорожей) не є повною . Але я не розумію, як я можу переконатися, що дане рішення TSP насправді є оптимальним за багаточленного часу, враховуючи, що немає можливості знайти оптимальне рішення в поліноміальний час (це тому, що проблема не в P)? Що-небудь, що може допомогти …

31 complexity-theory  np-complete  traveling-salesman 

Вікіпедія, а також інші джерела, які я знайшов, перелічують voidтип C як тип одиниці, а не порожній. Я вважаю це заплутаним, як мені здається, що voidкраще відповідає визначенню типу порожній / нижній. voidНаскільки я можу сказати, цінності не населяються . Функція з типом повернення void вказує, що функція нічого не …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

У мене є набір пар. Кожна пара має вигляд (x, y) такий, що x, y належать цілим числам з діапазону [0,n). Отже, якщо n дорівнює 4, то у мене є такі пари: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) У мене вже є пари. Тепер я повинен побудувати комбінацію за допомогою …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

Я проходжу курс складності, і у мене виникають проблеми зі створенням скорочень між проблемами 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 

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

26 algorithms  complexity-theory  np-complete  strings  subsequences 

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

25 complexity-theory  np-complete  reductions  education  didactics