Существуют ли NP-полные задачи, которые доказали алгоритмы субэкспоненциального времени?
Я спрашиваю об общих входных данных, я не говорю о конкретных особых случаях здесь.
Под субэкспоненциальным я подразумеваю порядок роста над полиномами, но менее экспоненциального, например, .
Ответы:
Зависит от того, что вы подразумеваете под субэкспоненциальным. Ниже я объясню несколько значений «субэкспоненциальный» и что происходит в каждом случае. Каждый из этих классов содержится в классах под ним.
I.2No ( 1 )
Если по subexpoential вы имеете в виду , то гипотеза в теории сложности называется ETH (экспоненциальное время гипотеза) предполагает , что ни один N P -Жесткой задача может иметь алгоритм с управлением временем 2 н O ( 1 ) .2No ( 1 ) Н П 2No ( 1 )
Обратите внимание, что этот класс замкнут относительно композиции с полиномами. Если у нас есть субэкспоненциальная алгоритм времени для любого -Жестких проблем, мы можем объединить его с уменьшением полиномиального времени от SAT ему получить субэкспоненциальную алгоритм 3SAT который нарушал бы ETH.Н П
II. , т.е. 2 О ( п ε ) для всех 0 < ε⋂0 < ϵ2O ( nε) 2O ( nε) 0 < ϵ
Ситуация похожа на предыдущую.
Он замкнут относительно полиномов, поэтому никакая проблема -hard не может быть решена в это время без нарушения ETH.Н П
III. , то есть 2 О ( п & epsi ; ) для некоторых х < 1⋃ϵ < 12O ( nε) 2O ( nε) ϵ < 1
Если под субэкспоненциальным вы имеете в виду для некоторого ϵ < 1, то ответ - да, такие проблемы, несомненно, существуют.2O ( nε) ϵ < 1
Возьмите -полную задачу, такую как SAT. Он имеет алгоритм перебора, который работает за время 2 O ( n ) . Теперь рассмотрим дополненную версию SAT, добавив к входам строку размером n k :Н П 2O ( n ) NК
Теперь эта проблема является трудной и может быть решена за время 2 O ( n 1NP .2O(n1k)
Внутривенно2o(n)
Это содержит предыдущий класс, ответ похож.
V. , то есть 2 ϵ n для всех ϵ > 0⋂0<ϵ2ϵn 2ϵn ϵ>0
Это содержит предыдущий класс, ответ похож.
VI. , то есть 2 & epsi ; п для некоторых х < 1⋃ϵ<12ϵn 2ϵn ϵ<1
Это содержит предыдущий класс, ответ похож.
Что значит субэкспоненциальный?
«Выше полинома» - это не верхняя граница, а нижняя граница, и она называется суперполиномом .
Какой из них следует назвать субэкспоненциальна спорно. Обычно люди используют тот, который им нужен в своей работе, и называют его субэкспоненциальным.
III используется для алгоритмических верхних границ, подобных тем, которые упомянуты в ответе Пэла.
IV также распространен.
V используется для формулировки гипотезы ETH.
летний
источник
источник