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?
Antworten:
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.
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 ist, wo ist die Anzahl der Eckpunkte und ist die Größe der größten nicht trennenden unabhängigen Menge. Huang und Liu zeigen, dass für kubische Graphen, ist gleich der maximalen Gattung von , 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 ...