Preguntas etiquetadas con cc.complexity-theory

¿Podemos demostrar que para cada idioma que no es N P -duro (esto supone P ≠ N P ), P L ≠ P SAT ? Alternativamente, ¿se puede probar esto bajo cualquier supuesto razonable?L∈NPL∈NPL\in\mathsf{NP}NPNP\mathsf{NP}P≠NPP≠NP\mathsf P \ne \mathsf{NP}PL≠PSATPL≠PSAT\mathsf{P}^L \ne \mathsf{P}^{\text{SAT}}

12 cc.complexity-theory  complexity-classes  np-intermediate 

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 

Por lo tanto, una búsqueda rápida en la web me llevó a creer que "APXHardness implica que no existe QPTAS para un problema a menos que [alguna clase de complejidad] esté incluida en alguna [otra clase de complejidad]" y ¡también es bien conocido! Parece que todo el mundo lo sabe, …

12 cc.complexity-theory  reference-request 

¿ 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 

Un problema importante en TCS es el problema de expresar un permanente como determinante. Estaba leyendo el artículo de Agrawal Determinante versus Permanente y en un párrafo afirma que el problema inverso es fácil. Es fácil ver que el determinante de una matriz se puede expresar como la permanente de …

12 cc.complexity-theory  algebraic-complexity  permanent  determinant 

Una propiedad de gráfico se denomina hereditaria si se cierra con respecto a la eliminación de vértices (es decir, todas las subgrafías inducidas heredan la propiedad). Una propiedad gráfica se llama aditiva si se cierra con respecto a tomar uniones disjuntas. No es difícil encontrar propiedades que sean hereditarias, pero …

12 cc.complexity-theory  graph-theory  graph-algorithms  np 

Instancia: Un gráfico no dirigido con dos vértices distinguidos s ≠ t , y un entero k ≥ 2 .solGGs ≠ ts≠ts\neq tk ≥ 2k≥2k\geq 2 Pregunta: ¿Existe una ruta en G , de modo que la ruta toque a lo sumo k vértices? (La ruta toca un vértice si …

12 cc.complexity-theory  graph-theory  graph-algorithms 

Estoy tratando de entender a qué clase de complejidad pertenece el siguiente problema: Problema de raíz polinómica exponencial (EPRP) Sea un polinomio con deg ( p ) ≥ 0 con coeficientes extraídos de un campo finito G F ( q ) con q un número primo y r una raíz …

12 cc.complexity-theory  reference-request  comp-number-theory  np-intermediate 

Recientemente comencé a leer mucho sobre la complejidad de las pruebas y realmente he disfrutado lo que he estado leyendo. Realmente me gustaría aprender más sobre esto, pero estoy teniendo dificultades para encontrar un buen material para principiantes para comenzar. ¿Alguien podría recomendar algunos conceptos básicos?

12 cc.complexity-theory  lo.logic  proof-complexity 

Contenidos entre cada nivel de la jerarquía polinómica hay varias clases de complejidad, que incluyen , DP , BH k y Σ P i ∩ Π P i . Por falta de una mejor terminología, me referiré a estas y a otras como clases intermedias entre los niveles i e …

12 cc.complexity-theory  polynomial-hierarchy 

Los autómatas de estado finito residual (RFSA, definidos en [DLT02]) son NFA que tienen algunas características agradables en común con los DFA. En particular, siempre hay un RFSA canónico de tamaño mínimo para cada idioma regular, y el idioma reconocido por cada estado en el RFSA es residual, al igual …

12 cc.complexity-theory  ds.algorithms  automata-theory  lg.learning  minimization 

Esta pregunta está motivada por esta publicación, ¿Puedes identificar la suma de dos permutaciones en el tiempo polinómico? , y mi interés en las propiedades computacionales de las permutaciones. Una secuencia de diferencias de una permutación π de los números 1 , 2 , ... n + 1 se forma …

12 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

TC0TC0\mathsf{TC^0} dTC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd La entrada del zoológico para TC0TC0\mathsf{TC^0} solo menciona la separación entre la profundidad 2 y 3. ¿También hay una referencia estándar para el hecho de que la jerarquía AC0dACd0\mathsf{AC^0_d} no colapsa?

12 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  bounded-depth 

Dado un juego determinista de suma cero de información parcial con solo un número finito de estados, cuyos posibles resultados son [perder, empatar, ganar] con valores [-1,0, + 1] respectivamente, ¿cuál es la complejidad de aproximar el valor de tales un juego aditivamente dentro de ?ϵϵ\epsilon En particular, no puedo …

12 cc.complexity-theory  gt.game-theory 

¿Cuál es la relación entre y ? En otras palabras, ¿son aproximables los problemas que admiten una búsqueda local de tiempo polinómico? ¿Los problemas de optimización aproximada implican un algoritmo de búsqueda local en general?PLSPLS\mathsf{PLS}APXAPX\mathsf{APX}

12 cc.complexity-theory  approximation-algorithms