Запитання з тегом «reductions»

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

40 complexity-theory  computability  reductions  proof-techniques  reference-question 

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

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

27 complexity-theory  np-complete  proof-techniques  reductions 

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

25 complexity-theory  np-complete  reductions  education  didactics 

Дивовижна кількість проблем має досить природне скорочення до лінійного програмування (LP). Див. Розділ 7 [1] для прикладів, таких як мережеві потоки, двостороннє узгодження, ігри з нульовою сумою, найкоротші шляхи, форма лінійної регресії та навіть оцінка схеми! Оскільки оцінка ланцюга зводиться до лінійного програмування, будь-яка проблема в повинна мати форму лінійного …

24 algorithms  reductions  sorting  linear-programming 

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

23 algorithms  np-complete  reductions  traveling-salesman  sudoku 

Що я хочу зробити, це перетворити математичну задачу, яку я маю, на булеву задачу задоволеності (SAT), а потім вирішити її за допомогою SAT Solver. Цікаво, чи хтось знає посібник, посібник чи щось, що допоможе мені перетворити мою проблему на екземпляр SAT. Також я хочу вирішити це в кращий, ніж експоненційний …

22 algorithms  reductions  satisfiability 

Проблема підмножини підсумків є класичною проблемою, що не стосується NP: Враховуючи список чисел і цільовий k , чи існує підмножина чисел з L, яка дорівнює k ?LLLкkkLLLкkk Студент запитав мене, чи цей варіант завдання, який називається проблемою "підмножина продукту", не відповідає NP: Враховуючи список чисел та цільову k , чи …

21 complexity-theory  np-complete  reductions 

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

21 complexity-theory  reductions  np-hard 

Можливо, це досить просто, але у мене є певні проблеми, щоб отримати це зменшення. Я хочу зменшити суму підмножини до розділу, але в даний час я не бачу зв'язку! Чи можна зменшити цю проблему за допомогою зменшення Левіна? Якщо ви не розумієте, пишіть для пояснення!

21 complexity-theory  np-complete  reductions 

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

20 complexity-theory  reductions  np-hard 

Дозвольте розпочати, зазначивши, що це проблема домашнього завдання. Будь ласка, надайте лише поради та відповідні спостереження, НЕ Прямих відповідей, будь ласка . З урахуванням сказаного, ось проблема, на яку я дивлюся: Нехай HALF-CLIQUE = { | - це непрямий графік, що має повний підграф з принаймні вузлами, де n - …

20 complexity-theory  np-complete  reductions 

У статті Складність проблеми Фробеніуса Раміреса-Альфонсіна було доведено, що проблема є NP-повною за допомогою скорочень Тьюрінга. Це можливо? Як саме? Я подумав, що це можливо лише за багаточленного часу на одне скорочення. Чи є посилання на це? Чи існують два різних поняття твердості NP, навіть NP-повноти? Але потім я розгублений, …

19 complexity-theory  time-complexity  np-complete  reductions 

Завдяки теоремі про максимальний потік min-cut ми знаємо, що ми можемо використовувати будь-який алгоритм для обчислення максимального потоку в мережевому графіку для обчислення a -min-cut. Тому складність обчислення мінімальних -різів не більше, ніж складність обчислення максимального -потоку.( s , t ) ( s , t )( s , t )(s,t)(s,t)( …

18 complexity-theory  reductions  network-flow  graph-algorithms 

У текстових книгах скрізь припущено, що проблема обмеженої поштової кореспонденції повна NP (не більше індексів допускається з повтореннями). Однак ніде не показано просте (як, наприклад, те, що недоступний може зрозуміти) скорочення поліномного часу з іншої проблеми, повного NP.NNN Однак кожне зменшення, про яке я можу припустити, є експоненціальним (на або …

18 complexity-theory  np-complete  reductions