Ist bekannt, ob das Problem der Rückkopplungsscheitelpunktmenge auf ungerichteten planaren Graphen mit begrenztem Grad -hart ist?
Ist bekannt, ob das Problem der Rückkopplungsscheitelpunktmenge auf ungerichteten planaren Graphen mit begrenztem Grad -hart ist?
Laut dem Buch von Garey und Johnson ist Vertex Cover auf planaren Graphen mit maximalem Grad vier NP-vollständig. Die Verwendung einer einfachen Reduktion von Vertex Cover zu Feedback Vertex Set sollte einen maximalen Wert von acht ergeben und die Planarität bewahren.
VC zu FVS: Ersetzen Sie jede Kante durch ein Dreieck (oder eine doppelte Kante).
Eine Anmerkung: Garey und Johnson geben auch an, dass die gerichtete FVS auf planaren Digraphen mit einem In- oder Out-Grad von nicht mehr als zwei NP-vollständig ist. Sie erwähnen nicht ausdrücklich ungerichtete FVS unter solchen Einschränkungen.
Die Antwort lautet: FVS ist auf ungerichteten planaren Graphen mit maximalem Grad NP-vollständig ; bewiesen von Speckenmeyer, siehe hier . Indem Sie jede Kante durch einen neuen Scheitelpunkt unterteilen, folgt dies auf einfache Weise
FVS ist auch auf ungerichteten zweigliedrigen planaren Graphen mit maximalem Grad NP-vollständig .
Die Gradbeschränkung ist am besten möglich, da FVS für Graphen mit maximalem Grad höchstens drei Polynome ist. siehe hier .
Edit: Ernst de Ridders graphclasses.org enthält jetzt alle verfügbaren Informationen über FVS; Darunter ca. 550 polynomisch lösbare und ca. 250 NP-c-Fälle.
Laut Wikipedia haben Garey & Johnson auch gezeigt, dass "die Vertex-Abdeckung NP-vollständig bleibt ... auch in planaren Graphen mit höchstens Grad 3."
Somit ist FVS für planare Graphen mit maximalem Grad 6 schwierig.
quelle
Anscheinend zeigt er in Speckenmeyers Doktorarbeit, dass das Problem der Rückkopplungsscheitelpunktmenge für Graphen mit maximalem Grad 4 NP-schwer ist. Diese Behauptung erscheint hier zum Beispiel.
Für kubische Graphen scheint das Problem in der Polynomzeit lösbar zu sein. Erstens zeigt Speckenmeyer , dass für kubische Graphen die minimale Größe des Feedback-Vertex gleich istn / 2 - z( G ) + 1 , wo n ist die Anzahl der Eckpunkte und z ist die Größe der größten nicht trennenden unabhängigen Menge. Huang und Liu zeigen, dass für kubische Graphen,z( G ) ist gleich der maximalen Gattung von G , die mit dem Algorithmus von Furst, Gross und McGeoch in Polynomialzeit berechnet werden kann .
Edit: habe die Bearbeitung von vb le nicht sorgfältig genug untersucht ...
quelle