Preguntas etiquetadas con structural-complexity

Sabemos que L⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P} y que L⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{L}^2 \subseteq polyLpolyL\mathsf{polyL} , donde L2=DSPACE(log2n)L2=DSPACE(log2⁡n)\mathsf{L}^2 = \mathsf{DSPACE}(\log^2 n) . También sabemos que polyL≠PpolyL≠P\mathsf{polyL} \neq \mathsf{P}porque el último tiene problemas completos bajo el espacio logarítmico reducciones de muchos uno mientras que el primero no (debido al teorema …

46 cc.complexity-theory  complexity-classes  conditional-results  structural-complexity 

Muchos resultados importantes en la teoría de la complejidad computacional, y en particular la teoría de la complejidad "estructural", tienen la propiedad interesante de que pueden entenderse como fundamentalmente siguientes (como lo veo ...) de los resultados algorítmicos que proporcionan un algoritmo eficiente o protocolo de comunicación para algunos problema. …

21 cc.complexity-theory  structural-complexity 

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 

Rompecabezas Dado que el problema es largo aquí hay un caso especial que captura su sentido. Problema: Sea A un algoritmo detrminístico para 3-SAT. Es el problema de simular completamente el algoritmo A (en cada instancia del problema). P-Space duro? (Más precisamente, ¿hay razones para creer que esta tarea es …

17 cc.complexity-theory  big-picture  structural-complexity 

No se sabe si isomorfismo gráfico (GI) para gráficos fuertemente regulares (SRGS) está en P . ¿Hay alguna pista de que podría o no ser GI -Complete? ¿Hay alguna consecuencia fuerte en tales casos? (Similar a la creencia de que GI puede no ser NP-Completo).

16 cc.complexity-theory  graph-theory  graph-algorithms  graph-isomorphism  structural-complexity 

En nuestro trabajo reciente, resolvemos un problema computacional que surgió en un contexto combinatorio, suponiendo que , donde es el -versión de . El único artículo sobre que encontramos fue el artículo de Beigel-Buhrman-Fortnow 1998 que se cita en Complexity Zoo . Entendemos que podemos tomar versiones de paridad de …

15 cc.complexity-theory  complexity-classes  conditional-results  structural-complexity 

Para cualquier lenguaje NP arbitrario completo, ¿hay siempre un superconjunto polytime cuyo complemento también es infinito? Se ha pedido una versión trivial que no estipula que el superconjunto tenga un complemento infinito en /cs//q/50123/42961 A los fines de esta pregunta, puede suponer que . Como explicó Vor, si entonces la …

14 cc.complexity-theory  np-complete  structural-complexity 

Dos documentos que incluiría son: D. Kozen, "Indización de clases subrecursivas" , STOC, 1978. R. Ladner, "Sobre la estructura de la reducibilidad del tiempo polinomial" , JACM, 1975.

14 cc.complexity-theory  lo.logic  computability  big-list  structural-complexity 

La densidad de un lenguaje es una función d X : N → N definida como d X ( n ) = | { x ∈ X ∣ | x | ≤ n } | . Supongamos que A y B son lenguajes más de algún alfabeto finito, A muchos-uno …

12 cc.complexity-theory  reductions  structural-complexity 

¿ implica E = N E ?E XP = N E X PEXP=NEXP\mathsf{EXP}=\mathsf{NEXP}E = N EE=NE\mathsf{E}=\mathsf{NE}

10 cc.complexity-theory  conditional-results  nexp  structural-complexity 

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 

La conjetura del isomorfismo de Berman y Hartmanis establece que todos los conjuntos completos de son polinomiales en el tiempo isomorfos entre sí. Esto significa que los completos de pueden reducirse eficazmente entre sí mediante bijecciones de tiempo polinómico computables e invertibles. La conjetura implica .N P P ≠ N …

8 cc.complexity-theory  structural-complexity