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

Більшість сучасних шифрувань, таких як RSA, покладаються на цілочисельну факторизацію, яка, як вважається, не є важкою проблемою для NP, але вона належить до BQP, що робить її вразливою для квантових комп'ютерів. Цікаво, чому не існував алгоритм шифрування, який базується на відомій важкій проблемі NP. Звучить (принаймні теоретично) так, що це …

109 complexity-theory  np-hard  encryption  cryptography 

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

36 complexity-theory  time-complexity  np-hard  approximation 

Існує бункерів і тип куль. й бін має ЕТИКЕТКИ для , тобто очікуване число куль типу .nnnmmmiiiai,jai,ja_{i,j}1≤j≤m1≤j≤m1\leq j\leq mjjj Ви починаєте з кульок типу . Кожна куля типу має вагу , і хочемо покласти кульки в бункери таким чином, щоб бін мав вагу . Розподіл куль, таким, що виконується попередня …

33 complexity-theory  np-hard  integer-programming 

Мені цікаво, чи є хороший приклад для легкої для розуміння проблеми NP-Hard, яка не є NP-Complete і не може бути невирішеною? Наприклад, проблема зупинки - NP-Hard, не NP-Complete, але є невирішеною. Я вважаю, що це означає, що проблема полягає в тому, що рішення для рішення може бути перевірено, але не …

31 complexity-theory  computability  np-hard 

Вікіпедія, а також інші джерела, які я знайшов, перелічують 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 

Враховуючи часових інтервалів, які бажають придбати людей. Особа має значення для кожного часового проміжку . Кожна людина може придбати лише один послідовний блок часових інтервалів, який може бути порожнім.nnnkkkiiih(i,j)≥0h(i,j)≥0h(i,j)\geq 0jjj Чи існує алгоритм поліноміального часу для обчислення максимального значення, яке може досягти продавець? Без обмеження послідовності ми можемо кожен раз …

27 algorithms  optimization  np-hard  scheduling 

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

26 complexity-theory  np-hard  board-games  tiling 

Припустимо, що . - клас задач у які не є ні в ні в -hard. Ви можете знайти список проблем передбачуваних бути тут .N P I N P P N P N P IP ≠ N PP≠NP\mathsf{P} \neq \mathsf{NP}N P INPI\mathsf{NPI}Н ПNP\mathsf{NP}ПP\mathsf{P}Н ПNP\mathsf{NP}N P INPI\mathsf{NPI} Теорема Ладнера говорить нам, що …

22 complexity-theory  np-hard 

Ось проблема. Дано , де кожен . Чи є підмножина розміром не більше таким, що для всіх ? Я намагаюся звести цю проблему до SAT. Моєю ідеєю рішення було б мати змінну для кожного з 1 до . Для кожного створіть пункт якщо . Потім і всі ці пункти разом. …

21 complexity-theory  reductions  np-hard 

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

20 complexity-theory  reductions  np-hard 

Як я можу довести, що перетворення від CNF до DNF є NP-Hard? Я не прошу відповіді, лише кілька пропозицій про те, як слід довести це.

20 complexity-theory  np-hard  satisfiability  sat-solvers  normal-forms 

Чи потрібно, щоб проблема з важким рівнем NP була обчислюваною? Я не думаю, але я не впевнений.

19 complexity-theory  computability  np-hard 

У книзі Сіпсера "Вступ до теорії обчислень" на сторінці 286 скорочено від проблеми 3SAT до гамільтонівського шляху. Чи є більш просте скорочення? Під простішим я маю на увазі скорочення, яке було б простіше зрозуміти (для студентів). Чи існує скорочення, яке використовує лінійну кількість змінних? Скорочення Sipser використовує змінних, де k …

19 complexity-theory  np-hard 

Головоломка «Без потоку» складається з додатного цілого числа та набору (не упорядкованих) пар різних вершин на графіку сітки n × n таким чином, що кожна вершина має максимум одну пару. Рішення такої головоломки - це набір ненаправлених контурів на графіку таким чином, що кожна вершина знаходиться точно в одному шляху, …

15 np-hard  square-grid 

Гідоку - це сітка n×nn×nn \times n з деякими попередньо заповненими цілими числами від 1 до n2n2n^2 . Мета - знайти шлях послідовних цілих чисел (від 1 до n2n2n^2 ) у сітці. Більш конкретно, кожна комірка сітки повинна містити різне ціле число від 1 до n2n2n^2 а кожна комірка зі …

15 complexity-theory  reductions  np-hard