Preguntas etiquetadas con check-my-proof

Soy nuevo en este foro y solo soy un físico que hace esto para mantener su cerebro en forma, así que por favor muestre gracia si no uso el lenguaje más elegante. También deje un comentario, si cree que otras etiquetas serían más apropiadas. Estoy tratando de resolver este problema …

18 graph-theory  combinatorics  check-my-proof 

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 …

12 complexity-theory  p-vs-np  check-my-proof  np 

Definición: Reducción de Karp Un lenguaje es Karp reducible a un lenguaje si hay una función computable de tiempo polinomial f: \ {0,1 \} ^ * \ rightarrow \ {0,1 \} ^ * tal que para cada x , x \ in a si y sólo si f (x) \ …

12 complexity-theory  reductions  check-my-proof 

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 CCCCUNAAACCC Respondí 1. ya. Con respecto a 2., respondí afirmativamente …

11 computability  check-my-proof