Perguntas com a marcação «nondeterminism»

Greibach notoriamente definida uma linguagem de , o chamado versão não-determinístico de D 2 , de tal modo que qualquer CFL é uma imagem inversa de mórfica H . Existe uma afirmação semelhante com o DCFL, possivelmente com alguma restrição nos morfismos permitidos?HHHD2D2D_2HHH (Ver, por exemplo, M. Autebert, J. Berstel …

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

Este artigo prova que, em um jogo com portas e placas de pressão, é difícil para o PSPACE determinar se o avatar (do jogador) pode ou não alcançar um determinado local. Isso é comprovado por uma redução do TQBF , e o comprimento das soluções resultantes depende exponencialmente do número …

12 reductions  nondeterminism  pspace 

Se pudermos provar que , isso implica que ? N L = N PL = PL=P\mathsf{L}=\mathsf{P}N L = N PNL=NP\mathsf{NL}=\mathsf{NP} Eu pensei que era o caso, mas não posso provar (também para o inverso).

10 cc.complexity-theory  complexity-classes  nondeterminism 

Sabe-se que o cálculo de uma máquina de Turing não determinística (NTM) é representável como uma árvore de configurações, enraizada na configuração inicial. Qualquer transição no programa é representada por um link pai-filho nesta árvore. Árvores semelhantes também podem ser construídas para visualizar os cálculos de máquinas quânticas e probabilísticas. …

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

Seja um alfabeto de tamanho e considere DFAs mínimos, cujo tamanho é limitado por no máximo . Seja o número de diferentes DFAs mínimos.2 m f ( m )ΣΣ\Sigma222mmmf(m)f(m)f(m) Podemos encontrar uma fórmula de forma fechada para ?f(m)f(m)f(m) Considerando que para a função de transição de um DFA de tamanho …

9 cc.complexity-theory  automata-theory  nondeterminism  dfa 

Este é um acompanhamento da aceleração não determinística da computação determinística . É plausível que o não determinismo (ou alternância mais geralmente) permita uma aceleração quadrática geral da computação determinística? Ou existem consequências implausíveis conhecidas para algo como ?D T i m e ( n2) ⊆ N t i m …

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

Existem alguns problemas de NP-Complete ( , , etc.) conhecidos por estarem em . E os espaços sub-lineares?S U B S E T S U MSATSAT \mathsf{SAT} SUBSETSUMSUBSETSUM \mathsf{SUBSETSUM} DSPACE(n)DSPACE(n) \mathsf{DSPACE(n)} Existe algum problema NP-Completo (ou NP-Intermediário) no espaço sub-linear não-determinístico ?

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

Savický e Woods (o número de funções booleanas calculadas por fórmulas de um determinado tamanho) provam o seguinte resultado. Teorema [SW98]: Para cada constante k > 1k>1k>1 , quase todas as funções booleanas com complexidade de fórmula no máximo nknkn^k têm complexidade de circuito pelo menos nk/ knk/kn^k/k . A …

8 cc.complexity-theory  circuit-complexity  nondeterminism 

Dado um NFA NNN e seu equivalente DFA DDD resultante da determinação total de NNN (usando a construção do conjunto de potências, por exemplo), as seguintes propriedades são válidas para NNN , DDD e para qualquer palavra www : NNN lêwww em tempo de execução, no máximo,O(|w|.|N|2)O(|w|.|N|2)O(|w|.|N|^2) . DDD lêwww …

8 automata-theory  regular-language  nondeterminism  dfa  nfa 

\newcommand{\cc}[1]{\mathsf{#1}} Um teorema ao longo das seguintes linhas é válido: Se é um pouco maior que , então ?g(n)g(n)g(n)f(n)f(n)f(n)NTIME(g)∩coNTIME(g)≠NTIME(f)∩coNTIME(f)NTIME(g)∩coNTIME(g)≠NTIME(f)∩coNTIME(f)\cc{NTIME}(g) \cap \cc{coNTIME}(g) \neq \cc{NTIME}(f) \cap \cc{coNTIME}(f) É fácil mostrar que , pelo menos. Prova: Suponha que não. Então então e, portanto, (por preenchimento) . Mas então nossa suposição implica que , …

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

Se NPNP\mathsf{NP} contiver uma classe de problemas de tempo superpolinomial, ou seja, para alguma função t∈nω(1)t∈nω(1)t \in n^{\omega(1)} , DTIME(t)⊆NPDTIME(t)⊆NP\mathsf{DTIME}(t) \subseteq \mathsf{NP} , P⊊NPP⊊NP\mathsf{P} \subsetneq \mathsf{NP} Mas existem outras conseqüências interessantes não triviais (isto é, não são uma conseqüência de ) se o não determinismo puder acelerar os cálculos determinísticos?P⊊NPP⊊NP\mathsf{P} …

8 cc.complexity-theory  time-complexity  nondeterminism