W [1] -harte Probleme mit FPT-Zeitnäherungsalgorithmen

9

Ich suche nach Problemen, die in der FPT-Zeit schwer zu lösen sind, aber einen Approximationsalgorithmus haben. Das heißt, Probleme, die sind:

R1. W [1] -hart.

R2. Lassen Sie einen (vorzugsweise konstanten) Approximationsalgorithmus in der FPT-Zeit zu.

Das mir bekannte Problem besteht darin, die Anzahl der einfachen Pfade der Länge in einem Diagramm zu zählen. Es ist bekannt, dass es #W [1] -hart ist , lässt jedoch eine -Näherung in der FPT-Zeit zu (für jede Konstante ).( 1 + ϵ ) ϵk(1+ϵ)ϵ

Interessant wären auch Probleme, die R1 und R2 erfüllen, und auch:

R3. Es gibt so dass das Problem in der FPT-Zeit nicht angenähert werden kann (es sei denn, W [1] = FPT).( 1 + ϵ )ϵ>0 (1+ϵ)

Welche anderen Probleme erfüllen R1 und R2 und möglicherweise R3?

RB
quelle

Antworten:

9

In dem Problem des gerichteten ungeraden Zyklusübergangs ist die Eingabe ein Graph und die Aufgabe besteht darin, eine kleinste Menge von Eckpunkten zu finden, so dass keine (gerichteten) Zyklen ungerader Länge hat. In der parametrisierten Version erhalten wir auch eine ganze Zahl und fragen, ob eine Lösung mit einer Größe von höchstens existiert.S G - S k kGS.G- -S.kk

In dieser Arbeit beweisen wir, dass (R1) das Problem W -hart ist, (R2) dass es einen Faktor 2-Näherungsalgorithmus in der Zeit ) zulässt , und dass (R3 ') eine Hypothese annimmt, die etwas stärker als dass es ein so dass das Problem keinen Näherungsalgorithmus in der Zeit .2 k O ( 1 ) n O ( 1 ) F P T W [ 1 ] ϵ > 0 ( 1 + ϵ ) f ( k ) n O ( 1 )[1]]2kÖ(1)nÖ(1)F.P.T.W.[1]]ϵ>0(1+ϵ)f(k)nO(1)

Daniello
quelle
6

In [1] beweisen die Autoren, dass MaxSAT, das durch die Cliquenbreite (bzw. Nachbardiversität) des Inzidenzgraphen der CNF-Formel parametrisiert wurde, ein FPT-AS (Tractable Approximation Scheme mit festen Parametern) aufweist, aber es ist bekannt, dass MaxSAT durch parametrisiert wird Die Cliquenbreite (bzw. Nachbardiversität) ist W [1] -hart.

Der Satz stützt sich hauptsächlich auf ein Ergebnis von [2], das grob besagt, dass ein Graph mit begrenzter Cliquenbreite ohne große Cliquen auch eine begrenzte Baumbreite hat. Sie schneiden die Formel daher intelligent so, dass sie keine große Clique im Inzidenzgraphen haben und lösen die reduzierte Formel in FPT-Zeit unter Verwendung eines bekannten Algorithmus für MaxSAT auf begrenzter Baumbreite. Ich denke, dieser Ansatz kann auch bei anderen Problemen funktionieren.

[1] Holger Dell, Eun Jung Kim, Michael Lampis, Valia Mitsou und Tobias Mömke: Komplexität und Approximierbarkeit parametrisierter MAX-CSPs. IPEC 2015

[2] Gurski, F. & Wanke, E. (2000, Juni). Die Baumbreite von Cliquenbreiten-begrenzten Graphen ohne K n, n . Im internationalen Workshop zu graphentheoretischen Konzepten in der Informatik (S. 196-205). Springer, Berlin, Heidelberg.

holf
quelle
6

In Defective Coloring erhalten wir einen Graphen und eine ganze Zahl und werden gebeten, die Eckpunkte von in die minimal mögliche Anzahl von Farbklassen zu unterteilen, so dass jede Klasse einen Graphen mit höchstens induziert . (Wenn dieses Problem nur Färben ).GΔGΔΔ=0

In [1] haben wir bezüglich dieses durch Baumbreite parametrisierten Problems Folgendes gezeigt : (R1) Das Problem ist W [1] -hart; (R2) die minimale Anzahl von Farben kann in FPT-Zeit 2-approximiert werden; (R3) gibt es unter Standardannahmen keine -Näherung in der FPT-Zeit.(3/2ϵ)

[1] Rémy Belmonte, Michael Lampis und Valia Mitsou: Parametrisierte (ungefähre) fehlerhafte Färbung. STACS '18.

Michael Lampis
quelle
5

Das Problem des k-Schnitts besteht darin, eine minimale Anzahl von Kanten zu entfernen, um mindestens k Komponenten zu erzeugen. W [1] ist hart, wenn es durch k parametrisiert wird, lässt jedoch eine 2-Näherung für jedes k zu.

Chandra Chekuri
quelle
2
Unter der Small Set Expansion-Hypothese ist bekannt, dass k-cut keine -Näherung zulässt. Eine kürzlich erschienene Arbeit von Gupta et al. In SODA 2018 zeigt, dass man eine ( 2 - δ ) -Näherung in 2 O ( k ) n O ( 1 ) -Zeit erhalten kann, wobei δ > 0 eine feste, aber kleine Konstante ist. (2ϵ)(2δ)2O(k)nO(1)δ>0
Chandra Chekuri
5

(Diese Frage wurde vor zwei Jahren gestellt, aber ich werde die Antwort für andere Personen veröffentlichen, die diese Frage möglicherweise sehen.)

Im Capacitated k -median Problem sind wir eine Reihe gegeben F von Einrichtungen und eine Einrichtung f mit einer Kapazität ufZ0 , ein Satz C von Clients, eine Metrik d über FC und eine Obergrenze k die Anzahl von Einrichtungen, die wir öffnen können. Eine Lösung für das Problem ist eine Menge S.F. von höchstens k offenen Einrichtungen und eine Verbindungszuweisung ϕ::C.S. von Clients, um Einrichtungen so zu öffnen, dass|ϕ- -1(f)|uf für jede AnlagefS. . Wir wollen eine Lösung finden, die die VerbindungskostencC.d(c,ϕ(C.)) minimiert. Das Problem istW.[2]] -hart, wenn es durchk parametrisiert wird. Indieser Arbeithaben die Autoren gezeigt, dass es für das Problem einen FPT-Zeitkonstanten-Faktor-Approximationsalgorithmus gibt. (In diesem Fall können Sie die GAP-ETH auf negative Ergebnisse überprüfen. Siehehttps://arxiv.org/pdf/1708.04218.pdf )

Amir Nikabadi
quelle