Quelle est la motivation derrière la définition de la tractabilité à paramètres fixes?


10

Wikipédia écrit:

FPT contient les problèmes traitables à paramètres fixes, qui sont ceux qui peuvent être résolus dans le temps pour une fonction calculable f . En règle générale, cette fonction est considérée comme une seule exponentielle, comme 2 O ( k ), mais la définition admet des fonctions qui croissent encore plus rapidement. Ceci est essentiel pour une grande partie de l'histoire ancienne de cette classe. La partie cruciale de la définition est d'exclure les fonctions de la forme f ( n , k ) , telles que n kf(k)|x|O(1)f2O(k)f(n,k)nk.

Question : Quelle est la motivation derrière cette définition?

Ce qui me laisse perplexe, c'est que si est fixe (selon la "tractabilité des paramètres fixes"), alors n k est un polynôme dans n . Alors, pourquoi est-il crucial d'exclure n k ?knknnk


7
nkn1000000k30

nk

5
n

3
@JukkaSuomela: Je pense que votre commentaire pourrait être une réponse.
Suresh Venkat

Réponses:


15

nk

n 2kn2k2nkknen augmentant. Cette intuition est soutenue à la fois en pratique et en théorie; c'est-à-dire que les problèmes FPT ont tendance à être sensiblement plus faciles à gérer dans la pratique que les problèmes XP arbitraires, et on peut également obtenir une belle image théorique de la structure de XP en commençant par FPT en bas et en construisant des hiérarchies d'autres sous-classes de XP (telles que les Hiérarchie W) au-dessus.

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.