Preguntas etiquetadas con nondeterminism

Greibach famoso definido un lenguaje de , la denominada versión no determinista de D 2 , tal que cualquier CFL es una imagen mórfica inversa de H . ¿Existe una declaración similar con DCFL, posiblemente con alguna restricción en los morfismos permitidos?HHHD2D2D_2HHH (Véase, por ejemplo, M. Autebert, J. Berstel y …

12 fl.formal-languages  open-problem  context-free  nondeterminism  hard-instances 

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 

Si podemos demostrar que , ¿implica que ?N L = N PL = PL=P\mathsf{L}=\mathsf{P}N L = N PNL=NP\mathsf{NL}=\mathsf{NP} Pensé que era el caso, pero no puedo probarlo (también por el contrario).

10 cc.complexity-theory  complexity-classes  nondeterminism 

Es bien sabido que el cálculo de una máquina de Turing no determinista (NTM) es representable como un árbol de configuraciones, enraizado en la configuración inicial. Cualquier transición en el programa está representada por un enlace padre-hijo en este árbol. También se pueden construir árboles similares para visualizar los cálculos …

10 cc.complexity-theory  quantum-computing  randomness  derandomization  nondeterminism 

Deje que sea ​​un alfabeto de tamaño , y considere los DFA mínimos cuyo tamaño está limitado como máximo por . Supongamos que denota el número de diferentes DFA mínimos de este tipo.2 m f ( m )ΣΣ\Sigma222metrommF( m )f(m)f(m) ¿Podemos encontrar una fórmula de forma cerrada para ?F( m …

9 cc.complexity-theory  automata-theory  nondeterminism  dfa 

Este es un seguimiento de la aceleración no determinista del cálculo determinista . ¿Es plausible que el no determinismo (o una alternancia más general) permitiría una aceleración cuadrática general de la computación determinista? ¿O hay consecuencias inverosímiles conocidas para algo como ?DTime(n2)⊆NTime(n)reTyometromi(norte2)⊆norteTyometromi(norte)\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n)

9 cc.complexity-theory  nondeterminism  speed-up  alternation  tradeoff 

Hay algunos problemas NP-Complete ( , , etc.) que se sabe que están en . ¿Qué pasa con los espacios sub-lineales?S A TSUNAT \mathsf{SAT} D S P A C E ( n )S U B S E T S U MSUsiSmiTSUMETRO \mathsf{SUBSETSUM} D S P A C E ( n …

9 cc.complexity-theory  np-hardness  nondeterminism  np-intermediate 

Savický y Woods (El número de funciones booleanas calculadas por fórmulas de un tamaño dado) demuestran el siguiente resultado. Teorema [SW98]: Para cada constante , casi todas las funciones booleanas con complejidad de fórmula como máximo n k tienen complejidad de circuito al menos n k / k .k>1k>1k>1nknkn^knk/knk/kn^k/k La …

8 cc.complexity-theory  circuit-complexity  nondeterminism 

Dado un NFA NnorteN y su DFA equivalente que DreDresulta de la determinación total de NnorteN (usando la construcción del conjunto de potencia, por ejemplo), las siguientes propiedades se mantienen para NnorteN , DreD y para cualquier palabra www : lee w en tiempo de ejecución como máximo O ( …

8 automata-theory  regular-language  nondeterminism  dfa  nfa 

\newcommand{\cc}[1]{\mathsf{#1}} ¿Se un teorema en las siguientes líneas: Si es un poco más grande que , entonces ?f ( n ) N T I M E ( g ) ∩ c o N T I M E ( g ) ≠ N T I M E ( f ) ∩ …

8 cc.complexity-theory  time-complexity  nondeterminism  time-hierarchy  hierarchy-theorems 

Si N PnortePAGS\mathsf{NP} contiene una clase de problemas de tiempo superpolinomial, es decir para alguna función t ∈ nω ( 1 )t∈norteω(1)t \in n^{\omega(1)} , ,D T I M E ( t ) ⊆ N PreTyoMETROmi(t)⊆nortePAGS\mathsf{DTIME}(t) \subseteq \mathsf{NP} entonces, si se sigue del teorema de la jerarquía de tiempo determinista …

8 cc.complexity-theory  time-complexity  nondeterminism