Preguntas etiquetadas con oracle-machines

Una posible motivación para estudiar las clases de complejidad computacional es comprender el poder de los diferentes tipos de recursos computacionales (aleatoriedad, no determinismo, efectos cuánticos, etc.). Si lo miramos desde esta perspectiva, parece que podemos obtener un axioma plausible para cualquier intento de caracterizar qué cálculos son factibles en …

21 complexity-theory  oracle-machines 

Sé que es una tontería, pero logré confundirme y necesito ayuda para resolver esto Suponga que P=NPP=NPP=NP , entonces claramente para cada oráculo AAA tenemos PA=NPAPA=NPAP^A=NP^A que contradice el hecho de que existe algún oráculo AAA para el cual PA≠NPAPA≠NPAP^A\neq NP^A , de ahí P≠NPP≠NPP\neq NP Que pasa ¡Gracias!

11 complexity-theory  p-vs-np  oracle-machines 

Entiendo que la mayoría de los problemas son triviales si hay un oráculo de detención disponible (o, creo, equivalentemente, hipercomputación). Sin embargo, aplicar el argumento que muestra que el problema de detención es imposible para una máquina de Turing también muestra que es imposible que un oráculo de Turing + …

11 computability  undecidability  halting-problem  oracle-machines 

¿Cómo podemos asegurarnos de que continuamos haciendo declaraciones válidas y válidas sobre las clases de complejidad cuando usamos las máquinas Oracle Turing? Según mi entendimiento (basado en las definiciones dadas en los libros de texto introductorios sobre el tema) las máquinas Oracle Turing pueden determinar el estado de membresía de …

9 complexity-theory  oracle-machines