Je veux établir que cela fait partie de mes devoirs pour un cours que je suis en train de suivre. Je cherche de l'aide pour procéder, PAS UNE RÉPONSE.
Telle est la question en question:
Une étoile à 5 branches dans un graphique non orienté est une 5-clique. Montrez cette ÉTOILE À 5 POINTS , où ÉTOILE À 5 POINTS = contient une étoile à 5 pointes comme sous-graphique .
Où une clique est CLIQUE = est un graphe non orienté avec une -clique .
Maintenant, mon problème est que cela semble résoudre le problème CLIQUE, déterminer si un graphique contient une clique avec la contrainte supplémentaire d'avoir à déterminer que le CLIQUE forme une étoile à 5 pointes. Cela semble impliquer un calcul géométrique basé sur la connaissance d'une étoile à 5 branches . Cependant, dans Theory of Computation de Michael Sipser , p. 268, il y a une preuve montrant que CLIQUE est en et à la page 270 note que,
Nous avons présenté des exemples de langues, comme HAMPATH et CLIQUE, qui sont membres de NP , mais qui ne sont pas connus pour être en . [non souligné dans l'original]
Si CLIQUE n'est pas en , pourquoi une étoile à cinq branches est en ? Y a-t-il quelque chose que je ne vois pas? Rappelez-vous, il s'agit d'un PROBLÈME DE DEVOIR ET UNE RÉPONSE DIRECTE NE SERAIT PAS APPRÉCIÉE. Merci!
la source