Muitos acreditam que . No entanto, sabemos apenas que está no segundo nível da hierarquia polinomial, ou seja, . Um passo para mostrar é primeiro reduzi-lo ao primeiro nível da hierarquia polinomial, ou seja, .BPP=P⊆NPBPP=P⊆NP\mathsf{BPP} = \mathsf{P} \subseteq
Não determinismo limitada associa uma função com uma classe de línguas aceites pelas máquinas de Turing determinísticos limitado de recursos, para formar uma nova classe - . Essa classe consiste nas linguagens que são aceitas por alguma máquina de Turing não determinística, obedecendo aos mesmos...
Considere um autômato finito não determinístico A=(Q,Σ,δ,q0,F)A=(Q,Σ,δ,q0,F)A = (Q, \Sigma, \delta, q_0, F) e uma função f(n)f(n)f(n) . Adicionalmente, definimos Σ≤k=⋃i≤kΣiΣ≤k=⋃i≤kΣi\Sigma^{\leq k} = \bigcup_{i \leq k} \Sigma^i . Agora vamos analisar a seguinte declaração: Se...
Seja dois idiomas regulares fornecidos pelos NFAs M_1 como entrada.M 1 , M 2eu1, L2L1,L2L_1,L_2M1, M2M1,M2M_1,M_2 Suponha que gostaríamos de verificar se . Isso pode ser feito claramente por um algoritmo quadrático que calcula o autômato do produto , , mas eu queria saber se algo mais eficiente é...
O teorema original da hierarquia de tempo não determinística é devido a Cook (o link é para S. Cook, uma hierarquia para complexidade de tempo não determinística , JCSS 7 343–353, 1973). O teorema afirma que, para qualquer número real e , se então NTIME ( ) está estritamente contido em NTIME ( ).r...
Eu tenho duas perguntas históricas: Quem primeiro descreveu a computação não determinística? Sei que Cook descreveu problemas de NP-completos e que Edmonds propôs que os algoritmos P são algoritmos "eficientes" ou "bons". Pesquisei este artigo da Wikipedia e vasculhei "Sobre a complexidade...
O problema de decisão CNF-SAT pode ser descrito da seguinte maneira: Entrada: uma fórmula booleana na forma normal conjuntiva.ϕϕ\phi Pergunta: Existe uma atribuição de variável que satisfaça ?ϕϕ\phi Estou considerando várias abordagens diferentes para resolver o CNF-SAT com uma máquina de Turing...
É possível testar algoritmicamente se um número computável é racional ou inteiro? Em outras palavras, seria possível para uma biblioteca que implementa números computáveis fornecer as funções isIntegerou isRational? Suponho que isso não seja possível e que isso esteja de alguma forma relacionado...
Na teoria dos autômatos (autômatos finitos, autômatos de empilhamento, ...) e na complexidade, existe a noção de "ambiguidade". Um autômato é ambíguo se houver uma palavra com pelo menos duas execuções de aceitação distintas. Uma máquina é ambígua se, para cada palavra aceita pela máquina, houver...
Um circuito booleano não determinístico possui, além das entradas ordinárias , um conjunto de entradas "não determinísticas" . Um circuito não determinístico aceita a entrada se existir modo que a saída do circuito esteja ligada . Análoga a (a classe de linguagens decidíveis por circuitos...
O não-determinismo pode acelerar a computação determinística? Se sim, quanto? Ao acelerar a computação determinística por não-determinismo, quero dizer resultados da forma: DTime(f(n))⊆NTime(n)DTime(f(n))⊆NTime(n)\mathsf{DTime}(f(n)) \subseteq \mathsf{NTime}(n) Por exemplo, algo como...
Um autômato Xor não determinístico (NXA) é sintaticamente um NFA, mas uma palavra é aceita pelo NXA se ele tiver um número ímpar de caminhos de aceitação (em vez de pelo menos um caminho de aceitação no caso de NFA). É fácil ver que, para um idioma regular finito , existe um NFA mínimo que não...
A prova de Omer Reingold que dá um algoritmo para USTCON (Em um U ndirected gráfico com vértices especiais e , eles são Con ACOPLADO?) Usando apenas logspace. A idéia básica é criar um gráfico de expansão a partir do gráfico original e, em seguida, percorrer o gráfico de expansão. O gráfico do...
De acordo com este artigo , que discute uma extensão não determinística da Hipótese do Tempo Exponencial Forte (SETH), "[...] Williams recentemente demonstrou hipóteses relacionadas sobre a complexidade de Merlin-Arthur do k-TAUT são falsas". No entanto, esse documento cita apenas uma comunicação...
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 de...
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,...
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
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...
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...
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...