Quiero establecer que esto es parte de mi tarea para un curso que estoy tomando actualmente. Estoy buscando ayuda para proceder, NO UNA RESPUESTA.
Esta es la pregunta en cuestión:
Una estrella de 5 puntas en un gráfico no dirigido es una camarilla de 5. Muestre esa ESTRELLA DE 5 PUNTOS , donde ESTRELLA DE 5 PUNTOS = contiene una estrella de 5 puntas como un subgrafo .
Donde una camarilla es CLIQUE = es un gráfico no dirigido con una -clique .
Ahora mi problema es que esto parece estar resolviendo el problema de CLIQUE, determinando si un gráfico contiene una camarilla con la restricción adicional de tener que determinar que CLIQUE forma una estrella de 5 puntas. Esto parece involucrar algunos cálculos geométricos basados en el conocimiento de una estrella de 5 puntas . Sin embargo, en la Teoría de la computación de Michael Sipser , página 268, hay una prueba que muestra que CLIQUE está en y en la página 270 señala que,
Hemos presentado ejemplos de lenguajes, como HAMPATH y pandilla, que son miembros de NP, pero que no son conocidos para estar en . [énfasis añadido]
Si CLIQUE no está en , ¿por qué una estrella de cinco puntas está en P ? ¿Hay algo que no estoy viendo? Recuerde, este es un PROBLEMA DE TAREA y una RESPUESTA DIRECTA NO SERÍA APRECIADA. ¡Gracias!
fuente