Est ? Ou, plus généralement, N P P P ⊆ P P P / p o l y ?
Est ? Ou, plus généralement, N P P P ⊆ P P P / p o l y ?
Réponses:
Ce sont des problèmes ouverts intéressants. Votre deuxième question entraîne un effondrement de Karp-Lipton.
Notez que le théorème de Toda vous donne , mais cela ne suffit pas pour nos besoins. Nous voulons savoir si N P P P ⊆ P P P , ce qui en fait une question amusante à mon avis.
Personnellement, j'aimerais voir le revers: ? Nous savons déjà que n'est contenu dans pour aucun fixe . Peut-on montrer la même chose pour ?