Preguntas etiquetadas con logspace

ST-conectividad es el problema de determinar si existe un camino dirigido entre dos vértices distinguidos y t en un gráfico dirigido G ( V , E ) . Si este problema se puede resolver en el espacio de registro, es un problema abierto de larga data. Esto se llama el …

31 cc.complexity-theory  graph-theory  space-bounded  treewidth  logspace 

Shiva Kintali acaba de anunciar un resultado (¡genial!) De que el isomorfismo gráfico para gráficos de ancho de árbol acotado de ancho es -hard≥4≥4\geq 4⊕L⊕L\oplus L . Informalmente, mi pregunta es: "¿Qué tan difícil es eso?" Sabemos que no uniformemente , vea las respuestas a esta pregunta . También sabemos …

26 cc.complexity-theory  complexity-classes  logspace 

Si , entonces hay un algoritmo de espacio de registro que resuelve la versión de decisión de 2-SAT.L=NLL=NL\mathsf{L = NL} ¿Se sabe que implica que hay un algoritmo de espacio de registro para obtener una asignación satisfactoria , cuando se le da una instancia satisfactoria de 2-SAT como entrada?L=NLL=NL\mathsf{L = …

15 sat  search-problem  logspace 

¿Qué sucede si definimos P P A D dePPAD{\bf PPAD} tal manera que, en lugar de un circuito de polimerización de Turing-máquina / polisize, una máquina de Turing de espacio de registro o un circuito A C 0AC0{\bf AC^0} codifique el problema? Recientemente dando algoritmos más rápidos para satisfacibilidad circuito …

15 cc.complexity-theory  circuit-complexity  logspace  ppad  ac0 

El algoritmo Weisfeiler-Lehman 1-dim (WL) se conoce comúnmente como etiquetado canónico o algoritmo de refinamiento de color. Funciona de la siguiente manera: La coloración inicial es uniforme, C 0 ( v ) = 1 para todos los vértices v ∈ V ( G ) ∪ V ( H ) .C0 …

15 cc.complexity-theory  graph-theory  graph-isomorphism  logspace 

Un idioma está en si existe un espacio de registro de la máquina de Turing que decide el idioma con una cantidad polinómica de consejos.L / p o l yL/ /pagolyL/poly Consulte aquí para obtener más información: https://en.wikipedia.org/wiki/L/poly Pregunta ¿Cuáles son las consecuencias de ?PAG⊆ L / p o l …

14 cc.complexity-theory  circuit-complexity  polynomial-time  advice-and-nonuniformity  logspace 

Pregunta. En su artículo, Simulación mejorada de circuitos estabilizadores , Aaronson y Gottesman afirman que simular un circuito CNOT es ⊕L -completo (bajo reducciones de espacio de registro). Está claro que está contenido en ⊕L ; ¿Cómo se mantiene el resultado de la dureza? Equivalente: ¿hay una reducción de espacio …

14 cc.complexity-theory  counting-complexity  linear-algebra  logspace 

Prueba de Omer Reingold que da un algoritmo para USTCON (En un T ndirected gráfico con vértices especiales y , son Con TARSE?) Utilizando sólo logspace. La idea básica es construir un gráfico expansor a partir del gráfico original, y luego hacer el recorrido en el gráfico expansor. El gráfico …

13 graph-algorithms  nondeterminism  expanders  logspace 

La página de Wikipedia en PSPACE menciona que la inclusión no es estricta (desafortunadamente sin referencias).NL⊂PHNL⊂PHNL\subset PH P1: ¿Qué pasa con y ? ¿Se sabe que son estrictos?L⊂PHL⊂PHL\subset PHL⊂P#PL⊂P#PL\subset P^{\#P} P2: Si no, ¿hay una clase establecida que contiene y para la cual no se sabe si la inclusión es …

12 cc.complexity-theory  complexity-classes  logspace 

Teorema de Mahaney nos dice que si hay una escasa conjunto -Complete bajo en tiempo polinomial muchos uno-reducciones, entonces P = N P . (Ver " Conjuntos completos escasos para NP: Solución de una conjetura de Berman y Hartmanis ")nortePAGNPNPPAG= NPAGP=NPP = NP ¿Existen consecuencias conocidas de la existencia de …

10 cc.complexity-theory  complexity-classes  reductions  polynomial-time  logspace 

Considere una máquina (es decir, un algoritmo probabilístico que usa espacio de registro y polinomialmente muchos bits aleatorios). Se sabe (Saks-Zhou) que B P L ⊆ D S P A C E ( l o g 1.5 ( n ) ) .B PLsiPAGSLBPLB PL ⊆ D SPAGSA Cmi( l o …

8 cc.complexity-theory  complexity-classes  derandomization  space-bounded  logspace 

¿Se sabe algo sobre lenguajes reconocidos por un autómata determinista bidireccional de múltiples cabezas o un logspace TM con contador (modelo equivalente)? Esta clase se llama Aux2DC en el documento de mi asesor . ¿O sobre tal clase no determinista? He obtenido que la clase de idiomas reconocidos por tales …

8 cc.complexity-theory  complexity-classes  fl.formal-languages  logspace  counter-automata