Preguntas etiquetadas con check-my-proof

12
¿Defecto en mi prueba NP = CoNP?

Tengo esta "prueba" muy simple para NP = CoNP y creo que hice algo mal en alguna parte, pero no puedo encontrar lo que está mal. ¿Alguien me puede ayudar? Sea A un problema en NP, y sea M el decisivo para A. Sea B el complemento, es decir, B está en CoNP. Dado que M es un elemento decisivo,...

11
subconjuntos de conjuntos recursivos infinitos

Una pregunta reciente del examen fue la siguiente: UNAAA es un conjunto infinito recursivamente enumerable. Demuestre que tiene un subconjunto recursivo infinito.UNAAA Deje que sea un subconjunto infinito de recursiva . ¿Debe tener un subconjunto que no es recursivamente enumerable?A...