Википедия пишет:
FPT содержит задачи с фиксированными параметрами, которые можно решить за время для некоторой вычислимой функции . Как правило, эта функция рассматривается как единая экспонента, такая как но определение допускает функции, которые растут еще быстрее. Это важно для большой части ранней истории этого класса. Важнейшей частью определения является исключение функций вида , таких как .
Вопрос : Какова мотивация этого определения?
Что меня озадачивает, так это то, что если фиксировано (согласно «трактуемости с фиксированными параметрами»), то является полиномом от . Итак, почему так важно исключить ?
cc.complexity-theory
fixed-parameter-tractable
Дуглас С. Стоунс
источник
источник
Ответы:
Если вам требуется только, чтобы скорость роста была полиномом от для фиксированного , тогда вы получите определение параметризованного класса сложности XP, который, безусловно, представляет интерес, поэтому нет ничего плохого в его рассмотрении.n k
Вы получите определение FPT, если дополнительно наложите условие, что степень многочлена от остается фиксированной при увеличении параметра. FPT оказывается особенно доступным подклассом XP, и интуитивно, причина в том, что выражение, такое как , не взрывается так быстро, как выражение, такое как , если и являются какn 2kn2 k2nk k n растет. Эта интуиция поддерживается как на практике, так и в теории; проблемы FPT имеют тенденцию быть заметно более практичными, чем произвольные проблемы XP, и можно также получить хорошую теоретическую картину структуры XP, начав с FPT внизу и построив иерархии других подклассов XP (таких как Ж иерархия) над ним.
источник