Теоретическая информатика reductions

1

Улучшение общего сокращения Кука для Clique to SAT?

Я заинтересован в уменьшении клика до SAT, не делая экземпляр намного больше.kkk Клика находится в NP, поэтому ее можно уменьшить до SAT, используя логарифмическое пространство. Простое сокращение учебника Garey / Johnson увеличивает размер экземпляра до кубического размера. Тем не менее, Клик находится в P для каждого фиксированного k, так что …

10 cc.complexity-theory sat reductions clique

3

Сведение трудных задач к физическим моделям

Я ищу примеры сложных проблем (в NP или более сложных) из информатики, которые могут быть сведены к моделям физических процессов. Например, max-2-sat может быть сведен к минимизации энергии в модели Изинга. Я хотел бы найти больше примеров такого типа сокращения.

10 cc.complexity-theory reductions physics formal-modeling

2

Доказательство сложности Колмогорова неисчислимо, используя сокращения

Я ищу доказательство того, что колмогоровская сложность невычислима, используя редукцию из другой невычислимой задачи. Общим доказательством является скорее формализация парадокса Берри, чем сокращение, но должно быть доказательство путем сокращения из чего-то вроде проблемы остановки или проблемы корреспонденции по почте.

9 computability reductions kolmogorov-complexity

1

Какие-либо формулировки SAT / SMT VRP / VRPTW (TSP, Job-Shop-Scheduling)?

Интересно, есть ли у них какие-либо подходы, формулирующие проблему маршрутизации транспортного средства с временными окнами ( VRPTW ) (как проблему решения) в качестве экземпляра SAT / SMT? (альтернатива: TSP) Например: «Есть ли правильное решение для посещения всех клиентов в пределах их временных интервалов с n = 10 транспортными средствами?» Это …

9 ds.algorithms reference-request sat reductions tsp

Вопросы с тегом «reductions»