Les problèmes de NP ne sont-ils pas toujours aussi des problèmes de co-np?

Question

Je pense que j'ai du mal à comprendre la définition de NP. Il dit: "Tout problème de décision où chaque instance oui peut être vérifiée en temps polynomial". Mais cela ne signifie-t-il pas simplement que chaque solution possible peut être vérifiée pour être oui ou non en temps polynomial? Si CO-NP vérifie les non-instances, NP ne fait-il pas déjà cela?

Donc, mettez simplement, si vous pouvez vérifier les instances oui, vous ne pouvez-vous pas vraisemblablement vérifier les non-instances?