Questions marquées «check-my-proof»

12
Un défaut dans mon NP = CoNP Proof?

J'ai cette "preuve" très simple pour NP = CoNP et je pense que j'ai fait quelque chose de mal quelque part, mais je ne trouve pas ce qui ne va pas. Est-ce que quelqu'un peut m'aider? Soit A un problème dans NP, et soit M le décideur de A. Soit B le complément, c'est-à-dire que B est dans CoNP....

11
sous-ensembles d'ensembles récursifs infinis

Une question d'examen récente était la suivante: est un ensemble infiniment énumérable récursivement. Prouver que A a un sous-ensemble récursif infini.AAAAAA Que soit un sous - ensemble récursif infini de A . C doit-il avoir un sous-ensemble qui n'est pas récursivement énumérable?CCCAAACCC J'ai...