Instanz von FPT-Reduktionen, die keine Polynomzeitreduktion ist

11

In parametrisierter Komplexität verwenden Menschen die FPT-Reduktion (Fixed-Parameter-Tractable), um die W [t] -Härte zu beweisen. Theoretisch ist eine FPT-Reduktion keine Polynomzeitreduktion, da sie im Parameter k exponentiell ablaufen kann. In der Praxis sind alle FPT-Reduktionen, die ich gesehen habe, p-Zeit-Reduktionen, was bedeutet, dass W [t] -Härtebeweise fast immer NP-Vollständigkeitsnachweise implizieren.

Ich frage mich, ob mir jemand eine FPT-Reduktion geben kann, die tatsächlich exponentiell im Parameter läuft . Vielen Dank.k

yzll
quelle

Antworten:

11

Ein frühes Beispiel ist der W [2] -Härtebeweis für Tournament Dominating Set (Satz 4.1 in [1]). Die Reduktion stammt von Dominating Set und erstellt ein Turnier mit Eckpunkten, wobei n die Anzahl der Eckpunkte der dominierenden Mengeninstanz und k der Parameter ist.O(2kn)nk

[1]: Rodney G. Downey und Michael R. Fellows. Parametrisierte rechnerische Machbarkeit. In P. Clote und JB Remmel, Herausgeber, Proceedings of Feasible Mathematics II, Seiten 219-244. Birkhauser, 1995.

Serge Gaspers
quelle
1
Ein (möglicherweise anderer) Beweis derselben Aussage findet sich auch im Buch "Parametrisierte Komplexitätstheorie" von J. Flum und M. Grohe, Satz 7.17.
Mathieu Chapelle
8

Das folgende Dokument enthält Reduzierungen für verschiedene Parametrisierungen von Closest Substring, bei denen die Laufzeit exponentiell oder doppelt exponentiell vom Parameter abhängt (und diese Abhängigkeit scheint unvermeidbar zu sein).

D. Marx. Engste Teilstringprobleme bei kleinen Abständen . SIAM Journal on Computing, 38 (4): 1382–1410, 2008.

Daniel Marx
quelle
6

Als Ergänzung zu den anderen Antworten zeigt der folgende Satz, dass die entsprechenden Begriffe der Reduzierbarkeit unvergleichlich sind:

(Q,k)(Q,k)(Q,k)<fpt(Q,k)Q<ptime Q

<fpt<ptime

[2]: J. Flum, M. Grohe. Parametrisierte Komplexitätstheorie. Springer (2006)

Mathieu Chapelle
quelle
5

Wahrscheinlich ist dies keine beabsichtigte Antwort, aber wie wäre es mit einer (derandomisierten Variante der) Farbcodierung für das k-Pfad-Problem? http://en.wikipedia.org/wiki/Color-coding

Dort transformiert man eine Instanz des k-Pfad-Problems durch eine fpt-Reduktion mit superpolynomieller Abhängigkeit von k in Instanzen des bunten k-Pfad-Problems. (Man erstellt mehrere Instanzen, aber sie können als eine große Instanz angesehen werden.) Da das bunte K-Pfad-Problem durch dynamische Programmierung in kurzer Zeit gelöst werden kann, können wir schließen, dass das K-Pfad-Problem zu FPT gehört.

Yoshio Okamoto
quelle
3

Ein weiteres Beispiel für eine solche Reduzierung ist der Härtenachweis für die VC-Dimension. Siehe "Parametrisierte Lernkomplexität" von Downey, Evans und Fellows.

Michael Lampis
quelle