Wikipedia schreibt:
FPT enthält die mit festen Parametern verfolgbaren Probleme, die in der Zeit für eine berechenbare Funktion gelöst werden können . Typischerweise wird diese Funktion als einzelnes Exponential betrachtet, wie z. B. aber die Definition lässt Funktionen zu, die noch schneller wachsen. Dies ist für einen großen Teil der frühen Geschichte dieser Klasse von wesentlicher Bedeutung. Der entscheidende Teil der Definition besteht darin, Funktionen der Form wie auszuschließen . f 2 O ( k ) f ( n , k ) n k
Frage : Was ist die Motivation hinter dieser Definition?
Was mich verwundert ist, dass wenn fest ist (gemäß "Traktabilität fester Parameter"), ein Polynom in . Warum ist es also wichtig, auszuschließen ?n k n n k
cc.complexity-theory
fixed-parameter-tractable
Douglas S. Stones
quelle
quelle
Antworten:
Wenn Sie nur verlangen, dass die Wachstumsrate ein Polynom in für festes , erhalten Sie die Definition der parametrisierten Komplexitätsklasse XP, die sicherlich von Interesse ist, sodass nichts falsch daran ist, sie zu berücksichtigen.kn k
Sie erhalten die Definition von FPT, wenn Sie die Bedingung weiter auferlegen, dass der Grad des Polynoms in zunehmendem Parameter fest bleibt . FPT stellt sich als besonders handhabbare Unterklasse von XP heraus, und intuitiv liegt der Grund darin, dass ein Ausdruck wie nicht so schnell explodiert wie ein Ausdruck wie , wenn und n sind beide2 k n 2 k 2 n k kn 2kn2 k2nk k n zunehmend. Diese Intuition wird sowohl in der Praxis als auch in der Theorie unterstützt; Das heißt, FPT-Probleme sind in der Praxis in der Regel merklich leichter zu lösen als beliebige XP-Probleme, und man kann sich auch ein gutes theoretisches Bild über die Struktur von XP machen, indem man mit FPT unten beginnt und Hierarchien anderer XP-Unterklassen (wie z W Hierarchie) darüber.
quelle