Согласно статье в Википедии о схемах аппроксимации за полиномиальное время :
Все проблемы в FPTAS доступны для фиксированных параметров.
Этот результат меня удивляет - эти занятия, похоже, совершенно не похожи друг на друга. FPTAS характеризует проблемы по тому, насколько легко их аппроксимировать, а FPT характеризует проблемы по их сложности относительно какого-либо параметра. К сожалению, Википедия (на данный момент я задаю этот вопрос) не дает ссылки на это.
Есть ли стандартное доказательство этого результата? Или я могу обратиться к источнику, чтобы узнать больше об этой связи?
complexity-theory
reference-request
approximation
parameterized-complexity
templatetypedef
источник
источник
Ответы:
На самом деле есть более сильный результат; Проблема заключается в классе , если он имеет fptas 1 : ε -аппроксимация работает во времени , ограниченного ( п + 1F P T A S ε (т.е. многочлен как по размеру, так и по коэффициенту аппроксимации). Существует более общий классEPTAS,который ослабляет время, связанное сf(1(n+1ε)O(1) EPTAS - по существу,FPT-подобное время работы относительно фактора аппроксимации.f(1ε)⋅nO(1) FPT
Ясно, что является подмножеством E P T A S , и оказывается, что E P T A S является подмножеством F P T в следующем смысле:FPTAS EPTAS EPTAS FPT
Теорема и доказательство даны в Flum & Grohe [1] как теорема 1.32 (стр. 23-24), и они приписывают ее Базгану [2], что ставит его за два года до более слабого результата Кая и Чена (но во французском технический отчет).
Я дам набросок доказательства, потому что я думаю, что это хорошее доказательство теоремы. Для простоты я сделаю версию минимизации, просто мысленно сделаю соответствующие инверсии для максимизации.
Примечания:
[1]: Дж. Флум и М. Гроэ, « Параметризованная теория сложности» , Springer, 2006.
[2]: C. Bazgan. Schémas d'approximation et complexité paramétrée , Rapport de DEA, Université Paris Sud, 1995.
источник