Un sistema de la estrella es una familia de n subconjuntos de n-elementos establecidos S . Un sistema de estrellas es gráfico si hay algún gráfico G ( V , E ) tal que F es la familia de los barrios vértice en G . Es N P- completo para decidir si un sistema estelar dado es gráfico.
¿Cuál es la ocurrencia mínima de cada elemento para que el problema siga siendo -completo?
EDITAR 12-12-2010 : agregué otra pregunta:
¿Cuál es la clase de gráficos más restringida para la cual el problema sigue siendo -completo?
Por ejemplo, ¿el problema del sistema estelar es -completo si el gráfico objetivo es cúbico? Si no es así, ¿cuál es el k mínimo para que el problema siga siendo N P -completo para k- gráficos de objetivos regulares?
F.Lalonde, Le probleme d'etoiles pour graphes est NP-complet, Discrete Math. 33 (3), 1981, 271-280.