Preguntas etiquetadas con oracles

Defina ioioio - SUBEXPSUBEXPSUBEXP como la clase de lenguajes LLL modo que haya un lenguaje L′∈∩ε>0TIME(2nε)L′∈∩ε>0TIME(2nε)L' \in \cap_{\varepsilon > 0} TIME(2^{n^{\varepsilon}}) y para infinitamente nnn , LLL y L′L′L' estén de acuerdo en todos los casos de longitud nnn . (Es decir, esta es la clase de lenguajes que se …

30 cc.complexity-theory  sat  oracles 

En muchos dominios, hay técnicas canónicas que todos los que trabajan en el campo deben dominar. Por ejemplo, para las reducciones de espacio de registro, el "truco de bits" para la composición que consiste en no construir la salida completa de la función compuesta, pero siempre solicita volver a calcular …

28 cc.complexity-theory  oracles  relativization 

En general, la cinta de consulta para un oráculo cuenta para la complejidad espacial de una TM. Sin embargo, parece plausible permitir una cinta de oráculo de solo escritura (como la que se usa en las reducciones de espacio L). ¿Es útil esta construcción? ¿Produce algún resultado particularmente absurdo?

20 cc.complexity-theory  space-bounded  oracles 

Bueno, el título lo dice todo. La interesante pregunta anterior fue hecha por el comentarista Jay en mi blog (ver aquí y aquí ). Supongo que la respuesta es sí y que hay una prueba relativamente simple, pero no pude verlo de manera improvisada. (En términos muy generales, sin embargo, …

18 computability  oracles  random-oracles 

Supongamos que es un árbol de grado constante cuya estructura no conocemos. El problema es generar el árbol haciendo preguntas de la forma: "¿El nodo encuentra en la ruta del nodo al nodo ?". Suponga que cada consulta puede ser respondida en tiempo constante por un oráculo. Conocemos el valor …

18 ds.algorithms  reference-request  graph-algorithms  oracles  query-complexity 

Acabo de leer la pregunta " ¿Es la factorización entera un problema NP-completo? " ... así que decidí gastar algo de mi reputación :-) haciendo otra pregunta teniendo :QQQPAG( Q es trivial ) ≈ 1PAG(Q es trivial)≈1P(\text{Q is trivial}) \approx 1 Si es un oráculo que resuelve la factorización de …

18 cc.complexity-theory  oracles  factoring 

Antecedentes Se sabe que existe un oráculo AAA tal que, P S P A C E A ≠ P H APSPACEA≠PHAPSPACE^A \neq PH^A . Incluso se sabe que la separación es relativa a un oráculo aleatorio. Informalmente, uno puede interpretar que esto significa que hay muchos oráculos para los cuales …

17 cc.complexity-theory  oracles  relativization  pspace  structural-complexity 

En "Computación cuántica e información cuántica" de Mike e Ike, el algoritmo de Grover se explica con gran detalle. Sin embargo, en el libro, y en todas las explicaciones que he encontrado en línea para el algoritmo de Grover, parece que no se menciona cómo se construye el Oráculo de …

16 quantum-computing  quantum-information  oracles  search-problem  black-box 

La forma más común en que ocurren los oráculos en la teoría de la complejidad es la siguiente: se pone a disposición un oráculo fijo , por ejemplo, para una máquina de Turing con ciertos recursos limitados, y uno estudia cómo el oráculo aumenta el poder computacional de la máquina. …

14 cc.complexity-theory  oracles 

En un artículo titulado "Sobre la negabilidad en la cadena de referencia común y el modelo aleatorio de Oracle", Rafael Pass escribe: Observamos que al probar la seguridad de acuerdo con la definición estándar de conocimiento cero en el modelo RO [Random Oracle], el simulador tiene dos ventajas sobre un …

13 cc.complexity-theory  cr.crypto-security  oracles  black-box 

En pocas palabras: ¿cuál es la correspondencia entre las máquinas de Turing con oráculos y las familias de circuitos uniformes con oráculos? ¿Cómo se definen estos últimos para obtener el mismo modelo computacional, para una máquina de Oracle Turing dada? Esta puede ser una pregunta elemental, pero no es obvio …

13 cc.complexity-theory  turing-machines  oracles  circuit-families 

Es bien sabido que el problema de detención es indiscutible. Sin embargo, es posible "comprimir" exponencialmente la información sobre el problema de detención, de modo que descomprimirla sea computable. Más precisamente, es posible calcular a partir de una descripción de máquinas de Turing y un consejo de n bits que …

12 computability  lower-bounds  turing-machines  communication-complexity  oracles 

Estaba leyendo un artículo de Buhrman y Homer "Circuitos superpolinomiales, oráculos casi dispersos y la jerarquía exponencial" . Al final de la página 2, comentan que los resultados de Kannan implican que NEXPTIMENPNEXPTIMENPNEXPTIME^{NP} no tiene circuitos de tamaño polinómico. Sé que en la jerarquía de tiempo exponencial, NEXPTIMENPNEXPTIMENPNEXPTIME^{NP} es solo …

12 cc.complexity-theory  complexity-classes  time-complexity  oracles  circuits 

¿ NPNP∩coNP=NPNPNP∩coNP=NP\mathsf{NP^{NP \,\cap\, coNP}=NP}mantener? Claramente NPNP≠NPNPNP≠NP\mathsf{NP^{NP}\neq NP} , pero me parece que NP∩coNPNP∩coNP\mathsf{NP\cap coNP} es "determinista", lo que me hace creer que esto es cierto. ¿Hay una prueba simple (o tal vez solo por definición)?

12 cc.complexity-theory  complexity-classes  oracles 

La complejidad de la zoología de Greg Kuperberg afirma que hay un lenguaje tal que - en otras palabras, \ mathsf {BPP} ^ X \ nsubseteq \ mathsf {P} ^ {\ mathsf {NP} ^ X} , pero no proporciona una referencia para este resultado. ¿Por qué se sostiene esto? ¿O …

12 cc.complexity-theory  oracles  relativization  polynomial-hierarchy  separation