A Wikipedia escreve:
O FPT contém os problemas tratáveis do parâmetro fixo, que são aqueles que podem ser resolvidos no tempo para alguma função computável . Normalmente, essa função é considerada exponencial única, como mas a definição admite funções que crescem ainda mais rapidamente. Isso é essencial para grande parte do início da história desta classe. A parte crucial da definição é excluir funções da forma , como . f 2 O ( k ) f ( n , k ) n k
Pergunta : Qual é a motivação por trás dessa definição?
O que me intriga é que, se é fixo (conforme "rastreabilidade de parâmetros fixos"), então é um polinômio em . Então, por que é crucial excluir ?n k n n k
cc.complexity-theory
fixed-parameter-tractable
Douglas S. Stones
fonte
fonte
Respostas:
Se você precisar apenas que a taxa de crescimento seja um polinômio em para k fixo , obterá a definição da classe de complexidade parametrizada XP, que certamente é um objeto de interesse, portanto não há nada errado em considerá-la.n k
Você obtém a definição de FPT se impuser ainda mais a condição de que o grau do polinômio em permaneça fixo à medida que o parâmetro aumenta. O FPT é uma subclasse particularmente tratável do XP e, intuitivamente, o motivo é que uma expressão como 2 k n 2 não explode tão rapidamente quanto uma expressão como k 2 n k , se k e n são ambosn 2kn2 k2nk k n aumentando. Essa intuição é apoiada na prática e na teoria; ou seja, os problemas do FPT tendem a ser notavelmente mais tratáveis na prática do que os problemas arbitrários do XP, e também é possível obter uma boa imagem teórica da estrutura do XP iniciando com o FPT na parte inferior e construindo hierarquias de outras subclasses do XP (como o Hierarquia W) acima dela.
fonte