Dureté du problème du système stellaire contraint?

10

Un système d'étoile est une famille de sous - ensembles de n de n éléments-set S . Un système d'étoile est graphique s'il y a un graphe G ( V , E ) de telle sorte que F est la famille des quartiers de sommet dans G . Il est N P- complet de décider si un système d'étoiles donné est graphique.FSG(V,E)FGNP

Quelle est l'occurrence minimale de chaque élément de telle sorte que le problème demeure complet?NP

EDIT 12-12-2010 : j'ai ajouté une autre question:

Quelle est la classe de graphes la plus restreinte pour laquelle le problème demeure -complet?NP

Par exemple, le problème du système en étoile est-il complet si le graphique cible est cubique? Sinon, quel est le minimum k tel que le problème reste N P -complet pour k- graphes cibles réguliers?NPkNPk

F.Lalonde, Le probleme d'etoiles pour graphes est NP-complet, Discrete Math. 33 (3), 1981, 271-280.

Mohammad Al-Turkistany
la source
pouvez-vous donner une référence pour la complétude de ce problème, ou (encore mieux) un court argument pour cela? NP
Ryan Williams
@Williams, c'est équivalent au problème de décider si un graphe bipartite a un automorphisme d'ordre 2 échangeant les deux classes de couleurs.
Mohammad Al-Turkistany
En remarque: si vous avez besoin du graphique témoin pour exclure un chemin / cycle sur au plus quatre sommets, alors le problème est le temps polynomial - springerlink.com/content/05g8151w58700g66G
Neeldhara
Le lien correct pour l'article de Lalonde est dx.doi.org/10.1016/0012-365X(81)90271-5
Anthony Labarre

Réponses:

3

Vous pouvez jeter un œil à The Star System Problem revived . Entre autres choses, les auteurs prouvent que:

si le graphe doit être exempt de C k , c'est-à-dire ne pas avoir un cycle induit de longueur k , alors le problème est résoluble en temps polynomial pour chaque k 4 , et est NP-complet pour chaque k > 5 .GCkkk4k>5

De plus, vous pouvez trouver les articles de cette liste utiles.

MS Dousti
la source
Merci Sadeq, je connais ces références et je n'ai pas trouvé de réponse à ma question.
Mohammad Al-Turkistany