Perguntas com a marcação «check-my-proof»

12
Falha na minha prova NP = CoNP?

Eu tenho essa "prova" muito simples de NP = CoNP e acho que fiz algo errado em algum lugar, mas não consigo encontrar o que está errado. Alguém pode me ajudar? Seja A um problema no PN, e M seja o decisor para A. Seja B o complemento, ou seja, B está no CoNP. Como M é um decisor, você também pode...

11
subconjuntos de conjuntos recursivos infinitos

Uma pergunta recente no exame foi a seguinte: AAAA é um conjunto infinito recursivamente enumerável. Prove que possui um subconjunto recursivo infinito.AAA Deixe ser um subconjunto recursiva infinito de . deve ter um subconjunto que não seja recursivamente enumerável?A CCCCAAACCC Eu já...