Questions marquées «p-vs-np»

Je suis sûr qu'il doit y avoir quelque chose qui ne va pas dans le raisonnement suivant, car sinon beaucoup de recherches P vs NP seraient réduites mais je ne peux pas déterminer mon erreur: Pour tout entier fixe définissezk > 0k>0k>0Bk: = { ⟨ & Phiv ⟩ |φest un wff de ZF et a une preuve...

Peut-être que je manque quelque chose d'évident, mais est-ce que P = co-NP NP ou vice versa? Mon sentiment est qu'il doit y avoir un théorème qui exclut cette

Ma question est la suivante. Supposons que est un problème NP-difficile. Étant donné une instance arbitraire de et supposant qu'un adversaire sait que cette instance est facile à résoudre, est-il possible de trouver un algorithme déterministe en temps polynomial pour résoudre cette instance...