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

Скорочення - це перетворення однієї проблеми на іншу. Прикладом використання скорочення може бути показ, чи проблема P не визначена. Цього можна було б досягти шляхом перетворення або виконання скорочення задачі на рішення у нерозв'язну проблему. Якщо цього можна досягти, ми показали, що ця проблема P не може бути вирішена. P

1
Покращення загального зниження Кука для Clique до SAT?
Мені цікаво зменшити -Clique до SAT, не зробивши примірник значно більшим.кkk Кліка знаходиться в NP, тому її можна звести до SAT, використовуючи логарифмічний простір. Безпосереднє зменшення підручника Гарі / Джонсона підриває екземпляр до кубічного розміру. Однак -Clique є в P для кожного фіксованого k, тому "повинно" бути ефективне зниження принаймні …
3
Зменшення важких проблем до фізичних моделей
Я шукаю приклади важких проблем (в NP чи важче) з інформатики, які можна звести до моделей фізичних процесів. Наприклад, max-2-sat можна зменшити до мінімізації енергії в моделі Ізінга. Я хотів би знайти більше прикладів такого типу скорочення.
2
Доказ складності Колмогорова неспроможний за допомогою скорочень
Я шукаю доказ того, що складність Колмогорова не піддається використанню скорочення від іншої непересічної проблеми. Загальним доказом є формалізація парадоксу Беррі, а не скорочення, але слід підтверджувати, зменшуючи щось подібне до проблеми зупинки чи кореспонденції.
1
Будь-які склади SAT / SMT для VRP / VRPTW (TSP, Job-Shop-Scheduling)?
мені цікаво, чи є якісь підходи, що формулюють проблему маршрутизації транспортного засобу з Time-Windows ( VRPTW ) (як проблему рішення) як екземпляр SAT / SMT? (альтернатива: TSP) Наприклад: "Чи є дійсне рішення, яке відвідує всіх клієнтів протягом своїх вікон із n = 10 транспортними засобами?" Ця проблема рішення може бути …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.