Härte des Problems des eingeschränkten Sternensystems?

10

Ein Sternsystem ist eine Familie von n Teilmengen von n-Elementen eingestellt . Ein Sternensystem ist grafisch, wenn es einen Graphen so dass die Familie der Scheitelpunktnachbarschaften in . Es ist vollständig zu entscheiden, ob ein bestimmtes Sternensystem grafisch ist.FSG(V,E)FGNP

Was ist das minimale Auftreten jedes Elements, so dass das Problem vollständig bleibt ?NP

EDIT 12-12-2010 : Ich habe eine weitere Frage hinzugefügt:

Was ist die am meisten eingeschränkte Klasse von Graphen, für die das Problem vollständig bleibt ?NP

Ist beispielsweise das Sternsystemproblem NP vollständig, wenn der Zieldiagramm kubisch ist? Wenn nicht, was ist das Minimum k so dass das Problem für k- reguläre Zieldiagramme NP vollständig bleibt ?k

F.Lalonde, Le probleme d'etoiles pour graphes est NP-complete, Diskrete Mathematik. 33 (3), 1981, 271 & ndash; 280.

Mohammad Al-Turkistany
quelle
Können Sie einen Hinweis auf die Vollständigkeit dieses Problems oder (noch besser) ein kurzes Argument dafür geben? NP
Ryan Williams
@Williams, es entspricht dem Problem, zu entscheiden, ob ein zweigeteilter Graph einen Automorphismus der Ordnung 2 aufweist, der die beiden Farbklassen vertauscht.
Mohammad Al-Turkistany
Als Randnotiz: Wenn der Zeugengraph einen Pfad / Zyklus auf höchstens vier Eckpunkten ausschließen soll, ist das Problem die Polynomzeit - springerlink.com/content/05g8151w58700g66G
Neeldhara
Der richtige Link für Lalondes Artikel
Anthony Labarre

Antworten:

3

Sie können einen Blick auf The Star System Problem revived werfen . Die Autoren beweisen unter anderem, dass:

Wenn der Graph sein , dh keinen induzierten Zyklus der Länge haben darf , dann ist das Problem in Polynomzeit für jedes lösbar und für jedes NP-vollständig .GCkkk4k>5

Darüber hinaus finden Sie die Artikel in dieser Liste möglicherweise hilfreich.

MS Dousti
quelle
Danke Sadeq, mir sind diese Referenzen bekannt und ich habe keine Antwort auf meine Frage gefunden.
Mohammad Al-Turkistany