Preguntas etiquetadas con complexity-classes

¿Qué evidencia hay de que ?c o R P≠ NPAGcoRP≠NPcoRP \neq NP es la clase de idiomas para los que existe una máquina de Turing probabililista que se ejecuta en tiempo polinómico y siempre responde Sí en una entrada que pertenece al idioma y responde No con probabilidad al menos …

10 cc.complexity-theory  complexity-classes 

Se sabe desde principios de los años 70 que N PNP{\bf NP} y E =DTyoMETROmi( 2O ( n ))E=DTIME(2O(n)){\bf E}=DTIME(2^{O(n)}) no son iguales (porque miE{\bf E} no está cerrado bajo reducciones de tiempo múltiple polinomial, en contraste con N PNP{\bf NP} ) . Sin embargo, hasta donde yo sé, todavía …

10 cc.complexity-theory  complexity-classes  np-complete 

El tiempo cuasi polinomial, o QP para abreviar, es una clase de complejidad en la máquina determinista de Turing. Aquí está la definición precisa: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:Q#qp Mientras que βP es una clase de complejidad de no determinismo limitado. Aquí está la definición precisa: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:B#betap Es fácil ver que cualquier máquina de …

9 cc.complexity-theory  complexity-classes 

Tenemos un problema y encontramos un algoritmo que parece ser 2-nexptime. Me gustaría encontrar problemas conocidos de 2-nexptime-complete para encontrar un límite inferior. Encontré en la literatura principalmente dos de estos problemas: si PCP como solución de tamaño inferior a 22norte22norte2^{2^n} y el problema de labranza para un cuadrado de …

9 complexity-classes  time-complexity  complexity 

Deje para , con la promesa de que (donde la suma ha terminado ). Entonces, ¿cuál es la complejidad de determinar si ?xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\}i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\}x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\}ZZ\mathbb{Z}x=1x=1x = 1 Observe que trivialmente el problema radica en porque iff . La pregunta es: ¿el problema radica en …

9 reference-request  complexity-classes  circuit-complexity  upper-bounds 

Es bien sabido que la existencia de funciones unidireccionales es necesaria y suficiente para gran parte de la criptografía (firmas digitales, generadores pseudoaleatorios, cifrado de clave privada, etc.). Mi pregunta es: ¿Cuáles son las consecuencias teóricas de la complejidad de la existencia de funciones unidireccionales? Por ejemplo, las OWF implican …

9 cc.complexity-theory  reference-request  complexity-classes  cr.crypto-security  one-way-function 

Gran parte de la literatura de computación cuántica se centra en el modelo de circuito. La computación cuántica adiabática no se basa en aplicar una secuencia de operadores unitarios, sino en cambiar un hamiltoniano dependiente del tiempo. Estoy buscando información sobre cualquiera de los siguientes. ¿Es la computación cuántica adiabática …

9 cc.complexity-theory  reference-request  complexity-classes  quantum-computing  quantum-information 

Sabemos que . Del teorema de Savitch, , y, del Teorema de la jerarquía espacial, . Entonces, como no sabemos si , no sabemos si , o sabemos que ? ¿Alguien ha intentado demostrar que \ mathcal L ^ 2 \ subseteq \ mathcal P ? ¿Cuáles son los últimos …

9 reference-request  complexity-classes  open-problem  hierarchy-theorems 

Sea la clase de lenguajes que se decida alternando máquinas de Turing que se detengan en el tiempo utilizando el espacio . Sea la clase de lenguajes que se decida alternando máquinas de Turing que dejen de usar las alternancias y el espacio .f ( n ) g ( n …

9 cc.complexity-theory  complexity-classes  structural-complexity 

¿Cada lenguaje indecidible reconocible de Turing tiene un subconjunto NP-completo? La pregunta podría verse como una versión más fuerte del hecho de que cada lenguaje infinito reconocible de Turing tiene un subconjunto infinito decidible.

9 cc.complexity-theory  np-hardness  complexity-classes  np  decidability 

Intrigado por la interesante pregunta de Chris Pressey sobre funciones recursivas elementales , estaba explorando más y no pude encontrar una respuesta a esta pregunta en la web. Las funciones recursivas elementales corresponden muy bien a la jerarquía exponencial, DTIME(2n)∪DTIME(22n)∪⋯DTIME(2n)∪DTIME(22n)∪⋯\text{DTIME}(2^n) \cup \text{DTIME}(2^{2^n}) \cup \cdots . Parece claro a partir de …

9 cc.complexity-theory  reference-request  complexity-classes  computability 

Incluso si no es un punto crucial, no veo ninguna literatura sobre esta cuestión. ¿Hay resultados de relativización? ¿No sería bastante sencillo demostrar una inclusión estricta adaptando el teorema de la jerarquía de tiempo no determinista explorando todos los caminos posibles de la máquina NP?

9 cc.complexity-theory  complexity-classes 

Defina que el modelo computacional MPostBQP sea idéntico a PostBQP, excepto que permitimos polinómicamente muchas mediciones de qubit antes de la selección posterior y la medición final. ¿Podemos dar alguna evidencia que indique que MPostBQP es más poderoso que PostBQP? Defina MPostBQP [k] para permitir múltiples rondas de medición y …

9 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs 

Esta es una publicación separada de Consecuencias de UP es igual a NP , y también una pregunta de seguimiento a las clases de complejidad semántica vs. sintáctica . En la publicación anterior aprendimos sobre las clases semánticas y sintácticas . En pocas palabras, cuando una clase puede caracterizarse como …

9 cc.complexity-theory  complexity-classes  big-picture 

No se cree que lo siguiente sea cierto: L⊆L−uniform NC1L⊆L−uniform NC1\mathsf{L} \subseteq \mathsf{L}-\mbox{uniform } \mathsf{NC}^1 ¿Puedes ayudarme a ver dónde se rompe la discusión? El problema de accesibilidad dirigida está completo para . Sostengo que está en -uniform .L N C 1LL\mathsf{L}LL\mathsf{L}NC1NC1\mathsf{NC^1} El problema de accesibilidad dirigida sobre los gráficos …

9 cc.complexity-theory  graph-algorithms  complexity-classes  descriptive-complexity  finite-model-theory