Maximale Klassen für welche größte unabhängige Menge kann in der Polynomzeit gefunden werden?

28

Die ISGCI listet über 1100 Klassen von Graphen auf. Für viele von diesen wissen wir, ob INDEPENDENT SET in polynomialer Zeit entschieden werden kann; Diese werden manchmal als IS-easy-Klassen bezeichnet . Ich möchte eine Liste von maximal IS-easy Klassen zusammenstellen. Diese Klassen bilden zusammen die Grenze der (bekannten) Handhabbarkeit für dieses Problem.

Da jeder unendlichen IS-easy-Klasse nur eine endliche Anzahl von Diagrammen hinzugefügt werden kann, ohne die Traktierbarkeit zu beeinträchtigen, sind einige Einschränkungen angebracht. Beschränken wir die Klassen auf diejenigen, die erblich bedingt sind (abgeschlossen unter Verwendung induzierter Subgraphen oder äquivalent definiert durch eine Menge ausgeschlossener induzierter Subgraphen). Betrachten wir außerdem nur die Familien, die für eine Menge X mit einer kleinen Beschreibung X-frei sind. Es könnten sind auch seine unendlichen aufsteigende Ketten lenkbar Klassen (wie (P,Star1,2,k)-free und die von David Eppstein unten beschriebenen Klassen), aber beschränken wir uns auf Klassen, die sich tatsächlich als IS-leicht erwiesen haben.

Hier sind die, die ich kenne:

Sind andere solche Maximalklassen bekannt?


Bearbeiten: Siehe auch eine verwandte Frage von Jaroslaw Bulatow, die sich mit Klassen befasst, die von ausgeschlossenen Minderjährigen definiert wurden. Was ist für Diagramme mit Ausschluss von Minderjährigen einfach? und Globale Eigenschaften von Erbklassen sehen? für eine allgemeinere frage habe ich vorher nach erblichen klassen gefragt.

Wie Jukka Suomela in den Kommentaren ausführt, ist der Fall des Ausschlusses von Minderjährigen ebenfalls interessant (und würde eine interessante Frage aufwerfen), aber dies steht hier nicht im Mittelpunkt.

Um Davids Beispiel zu vermeiden, sollte eine maximale Klasse auch als X-freie Diagramme definierbar sein, wobei nicht jedes Diagramm in X einen unabhängigen Scheitelpunkt hat.

Klassen in Antworten unten angegeben:


Hinzugefügt am 09.10.2013: Das jüngste Ergebnis von Lokshtanov, Vatshelle und Villanger, das von Martin Vatshelle in einer Antwort erwähnt wurde, ersetzt einige der zuvor bekannten Maximalklassen.

Insbesondere ist -frei, wenn es IS-leicht ist, unterstellt ( P 5 , Cricket) -frei, ( P 5 , K n , n ) -frei, ( P 5 , X 82 , X 83 ) -frei und ( P 5 , Haus) -frei alles ist IS-leicht.P5P5P5Kn,nP5X82X83P5

Dies bedeutet, dass alle erblichen Graphenklassen, die durch einen einzelnen verbotenen induzierten Subgraphen mit bis zu fünf Eckpunkten definiert sind, nun endgültig als IS-leicht oder nicht-IS-leicht klassifiziert werden können.

Leider scheint der Beweis, dass -freie Graphen eine IS-easy-Klasse bilden, für P 6 -freie Graphen nicht zu funktionieren , daher besteht die nächste Grenze darin, alle erblichen Graphenklassen zu klassifizieren, die durch einen einzelnen Sechs-Vertex-Graphen definiert sind.P5P6

Ich interessiere mich weiterhin besonders für IS-easy-Klassen der Form für einige Sammlung X von Graphen mit unendlich vielen Isomorphismusklassen, wobei Y -frei für kein Y X IS-leicht ist .XXY.Y.X

András Salamon
quelle
1
Was ist mit Graphen mit begrenzter Baumbreite? Ich vermute, sie sind bereits in einer der von Ihnen genannten Klassen enthalten?
Jukka Suomela
@Jukka: Soweit ich weiß, ist es nicht möglich, mit einer kleinen Menge ausgeschlossener induzierter Subgraphen eine begrenzte Baumbreite zu erfassen. Zum Beispiel ist Baumbreite 2 -minor-frei; Dies erzeugt eine unendliche Menge ausgeschlossener induzierter Subgraphen. Andererseits könnte sich "partieller k-Baum" durchaus als "kleine" Beschreibung qualifizieren. Was denkst du? K4
András Salamon
ás: Oh, es scheint, als hätte ich Ihre Frage nicht sorgfältig genug gelesen. Ich dachte, Sie interessieren sich auch für Diagrammfamilien, die sich durch verbotene Minderjährige auszeichnen.
Jukka Suomela
Hat -freie qualifiziert? Da es in solchen Graphen nur WENIGE unabhängige Mengen (genau O ( n 2 ) ) gibt. 2K2O(n2)
Hsien-Chih Chang 張顯 張顯
@ Hsien-Chih Chang: Danke für die Erwähnung der Balas-Yu-Klasse, hatte diese vergessen. Ja, das wäre sicherlich eine relevante Antwort.
András Salamon

Antworten:

10

Die Frage ist schon etwas älter, aber ISGCI kann hier hilfreich sein.

Wenn Sie die ISGCI Java-Anwendung starten und das Menü Probleme -> Grenze / Offene Klassen -> Unabhängiger Satz aufrufen, erhalten Sie einen Dialog mit 3 Listen.

Die Liste Maximal P enthält alle Klassen C (in ISGCI), für die IS in Polynomzeit gelöst werden kann, so dass es eine minimale Superklasse von C gibt, für die nicht bekannt ist, dass IS in P ist (dh NP-vollständig, offen oder ISGCI unbekannt). Wenn Sie eine Klasse auswählen und auf "Zeichnen" klicken, werden die Klasse und die Superklassen gezeichnet, die gefunden werden, indem Sie die Einschlusshierarchie im BFS-Stil so weit nach oben schieben, wie es erforderlich ist, um eine Klasse zu finden, für die IS in P nicht bekannt ist.

Die Liste Minimal NP-complete ist umgekehrt: Sie enthält Klassen, bei denen IS NP-complete ist, so dass nicht alle maximalen Unterklassen auch NP-complete sind. Das Zeichnen erfolgt in der Hierarchie, bis eine nicht NP-vollständige Klasse gefunden wird.

Die offene Liste enthält Klassen, für die das Problem entweder offen oder unbekannt ist. Das Zeichnen geht über Super- / Unterklassen, bis eine Klasse erreicht ist, die nicht geöffnet ist.

Wenn Sie eine Zeichnung erstellen, ist es empfehlenswert, die Farbe auf das Independent Set-Problem einzustellen (Probleme -> Farbe für Problem -> Independent Set).


In Bezug auf die Frage von Standa Zivny sind die folgenden 20 Klassen in ISGCI mit bekannter Komplexität für das ungewichtete IS-Problem, aber mit unbekannter Komplexität für den gewichteten Fall aufgelistet (ISGCI kann nicht zwischen "einfachen" und "komplizierten" Polynomalgorithmen unterscheiden):

gc_11 verlängert P 4 -beladen
gc_128 EPT
gc_415 gut bedeckt
gc_428 (K 3,3 -e, P 5 , X 98 ) -frei
gc_648 (K 3,3 -e, P 5 ) -frei
gc_752 co-erbliche Clique-Helly
gc_756 (E, P) -frei
gc_757 (P, T 2 ) -frei
gc_758 (P, P 8 ) -frei
gc_759 (K 3,3 -e, P 5 , X 99 ) -frei
gc_808 (C 6 , K 3, 3 + e, P, P 7 , X 37 , X 41 )
-freies gc_811 (P, Stern1,2,5 )
-freies gc_812 (P 5 , P 2 ∪ P 3 )
-freies gc_813 (P, P 7 )
-freies gc_818 (P, Stern 1,2,3 )
-freies gc_819 (P, Stern 1, 2,4 )
-freies gc_841 (2K 3 + e, A, C 6 , E, K 3,3 -e, P 6 , R, X 166 , X 167 , X 169 , X 170 , X 171 , X 172 , X 18 , X 45 , X 5 , X 58 , X 84 , X 95 , X98 , A, C 6 , E, P 6 , R, X 166 , X 167 , X 169 , X 170 , X 171 , X 172 , X 18 , X 45 , X 5 , X 58 , X 84 , X 95 , X 98 , Antenne, Co-Antenne, Co-Domino, Co-Fisch, Co-Doppelhaus, Domino, Fisch, Doppelhaus) -frei
gc_894 co-kreisförmig perfekt
gc_895 stark kreisförmig perfekt
(3K 2 , E, P 2 ∪ P 4 , netto) -frei

Zweifellos wird eine Reihe dieser Algorithmen auch für den gewichteten Fall bekannt sein. Ergänzungen und Korrekturen sind jederzeit unter der auf der ISGCI-Webseite angegebenen Adresse willkommen!

Ernst de Ridder
quelle
Vielen Dank für den Zeiger auf die Funktionalität der Java-Anwendung, um die maximal erreichbaren Klassen und die Liste der Klassen zu finden, für die der gewichtete Fall offen ist. Und natürlich vielen Dank für Ihre Arbeit an ISGCI!
András Salamon
12

Ein interessantes Papier zum Anschauen könnte sein:

A. Brandstadt, V. V. Lozin, R. Mosca: Unabhängige Mengen von Maximalgewichten in apfelfreien Diagrammen, SIAM Journal on Discrete Mathematics 24 (1) (2010) 239–254. doi: 10.1137 / 090750822

Die unendliche Klasse der Äpfel ist definiert als Zyklen C_k, k> = 5 mit jeweils einem Stiel.

Sie erwähnen nicht, ob Ihr Begriff der IS-Leichtigkeit das gewichtete IS-Problem beinhaltet. Stuhlfreie Grafiken (auch als gabelfreie Grafiken bezeichnet) sind bekanntermaßen IS-easy:

VE Alekseev, Polynomalgorithmus zum Auffinden der größten unabhängigen Mengen in Diagrammen ohne Gabeln, Discrete Applied Mathematics 135 (1-3) (2004) 3–16. doi: 10.1016 / S0166-218X (02) 00290-1

Die Nachvollziehbarkeit des gewichteten Falls ist eine nicht triviale Erweiterung, siehe:

VV Lozin, M. Milanic: Ein Polynomalgorithmus zur Ermittlung eines unabhängigen Satzes von Maximalgewichten in einem gabelfreien Graphen, Journal of Discrete Algorithms 6 (4) (2008) 595–604. doi: 10.1016 / j.jda.2008.04.001

Gibt es andere (interessante) Klassen, in denen das gewichtete IS-Problem wesentlich schwieriger / nicht lösbar / offener als der ungewichtete Fall ist?

Standa Zivny
quelle
1
Interessante Frage, könnte es sich lohnen, separat zu posten.
András Salamon
In der Definition von Äpfeln meinen Sie k ≥ 4, richtig?
David Eppstein
Ja, k> = 4, sorry für den Tippfehler.
Standa Zivny
10

Nach Vassilis Giakoumakis und Irena Rusu, Disc. Appl. Mathematik. 1997 sind die (P5, house) -freien Graphen (aka (P5, coP5) -freie Graphen) IS-easy.

Eine weitere, die ISGCI V. Lozin, R. Mosca Disc gutgeschrieben hat . Appl. Mathematik. 2005 ist die Familie der (K2 u claw) -freien Graphen .

Es kann auch unendlich aufsteigende Ketten von handhabbaren Klassen geben

Es gibt definitiv unendlich viele aufsteigende Ketten. Wenn H eine endliche Menge von Graphen ist, für die die H-freien Graphen IS-leicht sind, sei H 'die gebildeten Graphen, die jedem Graphen in H einen unabhängigen Scheitelpunkt hinzufügen. Dann sind die H'-freien Graphen auch IS-leicht: Wenden Sie einfach den H-freien Algorithmus auf die Mengen von Nichtnachbarn jedes Scheitelpunkts an. Zum Beispiel, wie ISGCI beschreibt, sind die Co- Gem -freien Graphen IS-easy, weil ein Co-Gem ein P4 plus ein unabhängiger Vertex ist und die P4-freien Graphen IS-easy sind. Sie möchten Ihre Frage wahrscheinlich auf maximale Klassen beschränken, in denen nicht alle verbotenen Untergraphen einen unabhängigen Scheitelpunkt haben.

David Eppstein
quelle
Vielen Dank für die zusätzlichen Klassen und für das Hervorheben eines einfachen Aufbaus von unendlichen Ketten! Wird umformulieren.
András Salamon
So auch
klauenfreie
3
@gphilip: Klauenfrei sind sowohl stuhlfrei als auch (K2 u klauenfrei) enthalten.
David Eppstein
8

P5

Sei H ein Graph auf höchstens 5 Eckpunkten, dann ist die Komplexität der unabhängigen Menge in der Klasse der H-freien Graphen bekannt.

P5H=P2P3

Martin Vatshelle
quelle