Preguntas etiquetadas con pspace

Decidir si una fórmula booleana cuantificada como ∀ x1∃ x2∀ x3⋯ ∃ xnorteφ ( x1, x2, ... , xnorte) ,∀X1∃X2∀X3⋯∃Xnorteφ(X1,X2,...,Xnorte),\forall x_1 \exists x_2 \forall x_3\cdots \exists x_n \varphi(x_1, x_2,\ldots , x_n), siempre se evalúa como verdadero es un problema clásico completo de PSPACE. Esto puede verse como un juego entre …

31 cc.complexity-theory  sat  gt.game-theory  pspace 

Es bien sabido que el siguiente problema es PSPACE-complete: Dada la expresión regular , ¿ ?L ( β ) = Σ ∗ββ\betaL ( β) = Σ∗L(β)=Σ∗L(\beta) = \Sigma^* ¿Qué pasa con la determinación de equivalencia a otras expresiones regulares (fijas) ?αα\alpha Dada la expresión regular , ¿ ?L ( β …

21 cc.complexity-theory  automata-theory  regular-expressions  pspace 

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 

Se menciona en un comentario en otra publicación cstheorySE que la integridad de PSPACE implica dureza APX. ¿Alguien puede explicar / compartir una referencia para ello? ¿Es esto "apretado"? (es decir, ¿hay problemas completos de PSPACE cuyo problema de optimización admite una aproximación de factor constante en el tiempo polivinílico?) …

14 cc.complexity-theory  approximation-algorithms  approximation-hardness  np  pspace 

En el documento "Sobre la complejidad de algunos juegos de colorear", Bodlaender ofrece algunas preguntas abiertas sobre la complejidad de decidir si el jugador 1 o 2 tiene una estrategia ganadora en algunos juegos de colorear gráficos. ¿Alguien sabe si se han resuelto? 1) En un juego, dos jugadores se …

12 graph-colouring  pspace  two-player-games 

Este documento demuestra que en un juego con puertas y placas de presión, es difícil para PSPACE determinar si el avatar (del jugador) puede o no alcanzar una ubicación determinada. Esto se demuestra mediante una reducción de TQBF , y la longitud de las soluciones resultantes depende exponencialmente del número …

12 reductions  nondeterminism  pspace 

Considere la información completa de los juegos combinatorios de dos jugadores que terminan después de un número polinómico de movimientos, y de manera alterna, los jugadores eligen entre un número finito de movimientos permitidos. La pregunta habitual es cuán difícil es distinguir desde una posición determinada al ganador. Otra sería, …

11 cc.complexity-theory  np  board-games  pspace 

Supongo que se llamaría # P-Space, pero solo he encontrado un artículo que lo menciona vagamente. ¿Qué tal la versión de conteo de EXP-TIME-Complete, NEXP-Complete y EXP-SPACE-Complete? ¿Hay algún trabajo previo que pueda citarse con respecto a este o algún tipo de inclusión o exclusión como el Teorema de Toda?

11 cc.complexity-theory  complexity-classes  counting-complexity  pspace 

La siguiente noción de un algoritmo de destilación proviene de "En problemas sin núcleos polinomiales". Deje que se le dé una lenguaUn algoritmo de destilación para toma una lista dada de cadenas de entrada y calcula una cadena de salida tal que:L { x i } i ∈ [ t …

9 cc.complexity-theory  np-hardness  parameterized-complexity  polynomial-hierarchy  pspace 

Antecedentes Sabemos que .P#P⊆PSPACEP#P⊆PSPACEP^{\#P} \subseteq PSPACE Además, se conoce a partir del teorema de Toda que .PH⊆P#PPH⊆P#PPH \subseteq P^{\#P} Para obtener más información sobre , consulte aquí: https://en.wikipedia.org/wiki/Sharp-P#P#P\#P Pregunta ¿Existe un oráculo tal que ( P # P ) A ≠ P S P A C E A ?AAA(P#P)A≠PSPACEA(P#P)A≠PSPACEA(P^{\#P})^{A} \neq …

8 cc.complexity-theory  complexity-classes  oracles  relativization  pspace 

En el artículo de Savitch de 1969, "Relaciones entre complejidades de cinta no deterministas y deterministas", afirma que "todas las funciones de almacenamiento comunes L (n)> = lg n son medibles. En particular, cualquier polinomio en ny lg n es medible". Su definición de mensurable es: "Se dice que una …

8 cc.complexity-theory  pspace  space-complexity