Perguntas com a marcação «space-bounded»

Essa pode ser uma pergunta subjetiva, e não uma resposta concreta, mas de qualquer maneira. Na teoria da complexidade estudamos a noção de cálculos eficientes. Existem classes como significa tempo polinomial e significa espaço no log . Ambos são considerados representados como uma espécie de "eficiência" e capturam muito bem …

49 cc.complexity-theory  space-bounded  big-picture 

Defina LOGLOG como a classe de idiomas que pode ser calculada no espaço O (loglog n) por uma máquina de Turing determinística (com acesso bidirecional à entrada). Da mesma forma, defina NLOGLOG como a classe de idiomas que pode ser calculada no espaço O (log log n) por uma máquina …

32 cc.complexity-theory  reference-request  space-bounded 

ST-Conectividade é o problema de determinar se existe um caminho entre dois vértices dirigidos distintos e em um grafo orientado G (V, E) . Se esse problema pode ser resolvido no espaço de logs, é um problema aberto de longa data. Isso é chamado de problema NL vs L.ssstttG ( …

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

Antes de mais, peço desculpas antecipadamente por qualquer estupidez. Eu não sou de modo algum um especialista em teoria da complexidade (longe disso! Eu sou um estudante de graduação da minha primeira aula em teoria da complexidade) Aqui está minha pergunta. Agora, o Teorema de Savitch afirma que Agora estou …

28 cc.complexity-theory  space-bounded 

É sabido que a conectividade st direcionada é completa. Resultado da descoberta de Reingold mostrou que não direcionado conectividade st está em . Sabe -se que a conectividade st direcionada planar está na . Cho e Huynh definiram um problema de mochila parametrizado e exibiram uma hierarquia de problemas entre …

26 cc.complexity-theory  space-bounded 

É claro que qualquer problema que seja decidível no espaço de log determinístico ( ) é executado no máximo no tempo polinomial ( ). Existe uma grande variedade de classes de complexidade entre e . Exemplos incluem , , , , , . Acredita-se que .P L P N L …

24 cc.complexity-theory  lower-bounds  space-bounded 

A largura da árvore mede a distância entre um gráfico e uma árvore. É NP-difícil calcular a largura da árvore. O algoritmo de aproximação mais conhecido atinge fator.O(logn−−−−√)O(logn)O(\sqrt{{\log}n}) O teorema de Courcelle afirma que qualquer propriedade dos gráficos definíveis na lógica monádica de segunda ordem (MSO2) pode ser decidida em …

23 cc.complexity-theory  ds.algorithms  graph-theory  space-bounded  treewidth 

Na sequência de uma pergunta anterior , Quais são os melhores limites inferiores do espaço atual para o SAT? Com um limite inferior do espaço, quero dizer aqui o número de células da worktape usadas por uma máquina de Turing que usa um alfabeto binário da worktape. Um termo aditivo …

22 cc.complexity-theory  sat  lower-bounds  space-bounded  space-complexity 

Gostaria de saber se existe alguma justificativa para acreditar que ou acreditar que ?NL=LNL=LNL=LNL≠LNL≠LNL\neq L Sabe-se que . A literatura sobre derandomization de é muito convincente que . Alguém sabe sobre alguns artigos ou idéias que convencem que ?NL⊂L2NL⊂L2NL \subset L^2RLRLRLRL=LRL=LRL=LNL≠LNL≠LNL\neq L

22 cc.complexity-theory  reference-request  complexity-classes  space-bounded 

Considere o idioma .EQUALITY={anbn∣n≥0}EQUALITY={anbn∣n≥0} \mathtt{EQUALITY} = \{ a^nb^n \mid n \geq 0 \} Sabe-se que não pode ser reconhecido por nenhuma máquina de Turing alternada no espaço sublogarítmico (ATM) (Szepietowski, 1994) . (Existe um caixa eletrônico usando espaço sublogarítmico para membros, mas não para todos os não membros!)EQUALITYEQUALITY \mathtt{EQUALITY} Por …

21 space-bounded  polynomial-time 

Immerman e Szelepcsenyi provaram independentemente que . Utilizando sua técnica de contagem indutiva, Borodin et al provaram que o é fechado sob complementação, para . Antes do teorema de Reingold ( S G = G ), Nissan e Ta-Shma provou S L = c O S L , utilizando as …

20 cc.complexity-theory  space-bounded 

Em geral, a fita de consulta de um oráculo conta para a complexidade espacial de uma TM. No entanto, parece plausível permitir uma fita oracle somente para gravação (como é usada nas reduções de espaço L). Essa construção é útil? Isso produz resultados particularmente absurdos?

20 cc.complexity-theory  space-bounded  oracles 

USTCONN é o problema que requer a decisão de saber se existe um caminho do vértice de origem para o vértice de destino t em um gráfico G , onde todos são dados como parte da entrada.ssstttGGG Omer Reingold mostrou que USTCONN está em L (doi: 10.1145 / 1391289.1391291 ). …

19 cc.complexity-theory  lower-bounds  reductions  space-bounded 

Existem vários algoritmos que podem analisar uma gramática livre de contexto em . Usando a multiplicação de matrizes, pode-se até assintoticamente mais rápido que isso.O ( n3)O(n3)O(n^3) No entanto, todos os algoritmos para analisar CFGs arbitrários que eu conheço têm um uso de espaço no pior dos casos de (embora, …

18 ds.algorithms  fl.formal-languages  space-bounded  parsing  context-free 

Recentemente, Watrous et al provaram que QIP (3) = PSPACE é um resultado notável. Este foi um resultado surpreendente para mim, para dizer o mínimo, e isso me fez pensar ... Eu me perguntava e se os Computadores Quânticos pudessem ser eficientemente simulados pelos Computadores Clássicos. Isso poderia estar SIMPLESMENTE …

18 cc.complexity-theory  quantum-computing  space-bounded  conditional-results  interactive-proofs