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

Запитання, що стосуються (обчислювальної) складності розв’язання задач

5
P-повнота та паралельні обчислення
Я нещодавно читав про алгоритми перевірки подібності і читав, що проблема є P-завершеною . Крім того, наслідком цього є те, що ця проблема, або будь-яка проблема, повна P, навряд чи матиме ефективні паралельні алгоритми. У чому полягає інтуїція цього останнього твердження?
1
Чи не завершена проблема k-кліки NP?
Це питання було перенесено з Теоретичної біржі стека комп'ютерних наук, оскільки на нього можна відповісти на інформаційній стеці. Мігрували 7 років тому . У цій статті Вікіпедії про проблему Кліка в теорії графів на початку зазначається, що проблема пошуку кліки розміром K у графі G є NP-повною: Кліки також вивчалися …
2
Доказ повноти NP щодо проблеми, що охоплює дерево
Я шукаю підказки у питанні, яке задав мій інструктор. Тож я щойно зрозумів, що ця проблема рішення :N P - c o m p l e t eNП-cомpлете\sf{NP\text{-}complete} У графі , чи є в розрізненне дерево, яке містить точний набір як листя. Я зрозумів, що ми можемо довести, що це …
3
Чому проблеми, повні з NP, настільки відрізняються з точки зору їх наближення?
Я б хотів розпочати питання, сказавши, що я програміст, і я не маю багато досвіду в теорії складності. Одне, що я помітив, - це те, що, хоча багато проблем є неповними, але деякі проблеми набагато складніше визначити, ніж інші. Хороший приклад - TSP. Незважаючи на те, що всі види TSP …
1
Природні кандидати в ієрархію всередині NPI
Припустимо, що . - клас задач у які не є ні в ні в -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} Теорема Ладнера говорить нам, що …
2
Як проблема продавця подорожі може бути перевірена в поліноміальний час?
Тому я розумію думку про те, що проблема рішення визначається як Чи є такий шлях P таким, що вартість нижча за C? і ви можете легко перевірити це правдою, підтвердивши отриманий шлях. Однак що робити, якщо немає шляху, який би відповідав цим критеріям? Як би ви перевірили відповідь "ні", не …
2
Чи проблема NP "підмножина" не завершена?
Проблема підмножини підсумків є класичною проблемою, що не стосується NP: Враховуючи список чисел і цільовий k , чи існує підмножина чисел з L, яка дорівнює k ?LLLкkkLLLкkk Студент запитав мене, чи цей варіант завдання, який називається проблемою "підмножина продукту", не відповідає NP: Враховуючи список чисел та цільову k , чи …
4
Класи складності, де
Однією з можливих мотивацій до вивчення класів обчислювальної складності є розуміння сили різних видів обчислювальних ресурсів (випадковість, недетермінізм, квантові ефекти тощо). Якщо ми розглянемо це з цієї точки зору, то, схоже, ми можемо отримати одну правдоподібну аксіому для будь-якої спроби характеризувати, які обчислення можливі в якійсь моделі: Будь-яке здійснене обчислення …
2
Зменшіть наступну проблему до SAT
Ось проблема. Дано , де кожен . Чи є підмножина розміром не більше таким, що для всіх ? Я намагаюся звести цю проблему до SAT. Моєю ідеєю рішення було б мати змінну для кожного з 1 до . Для кожного створіть пункт якщо . Потім і всі ці пункти разом. …
5
Як я можу зменшити суму підмножини до розділу?
Можливо, це досить просто, але у мене є певні проблеми, щоб отримати це зменшення. Я хочу зменшити суму підмножини до розділу, але в даний час я не бачу зв'язку! Чи можна зменшити цю проблему за допомогою зменшення Левіна? Якщо ви не розумієте, пишіть для пояснення!
1
Класифікація варіантів завдань, що задовольняються / простежуються
Нещодавно я знайшов у статті [1] спеціальну симетричну версію SAT під назвою 2/2/4-SAT . Але є багато варіантів комплектуючих, наприклад: MONOTONE NAE-3SAT , MONOTONE 1-IN-3-SAT , ...НПNP\text{NP} Деякі інші варіанти простежуються: - SAT , Planar-NAE- SAT , ...222СБSAT\text{SAT}СБSAT\text{SAT} Чи існують документи (або веб-сторінки), які класифікують усі (дивні) варіанти , які …
2
Знаходження принаймні двох шляхів однакової довжини у спрямованому графіку
Припустимо, у нас є спрямований графік та два вузлиG=(V,E)G=(V,E)G=(V,E)AAA and BBB. I would like to know if there are already algorithms for calculating the following decision problem: Are there at least two paths between AAA and BBB of the same length? How about the complexity? Can I solve it in …
1
Складність башт Ханої
У мене виникли наступні сумніви щодо складності башти Ханої , щодо яких я хотів би отримати ваші коментарі. Це в НП? Спроба відповіді: Припустимо, Пеггі (доказ) вирішує проблему і передає її Віктору (верифікатору). Віктор легко помітить, що остаточний стан рішення є правильним (за лінійним часом), але у нього не буде …
2
Сума підмножини: зменшити спеціальний до загального випадку
Вікіпедія заявляє про задану суму підмножини як знаходження підмножини заданого множинного числа цілих чисел, сума якого дорівнює нулю. Далі йдеться про те, що це рівнозначно пошуку підмножини з сумою sss для будь-якого заданого sss . Тому я вважаю, що вони рівноцінні, і в будь-якій із сторін має бути скорочення. Один …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.