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

Num artigo clássico, Munro e Paterson estudam o problema de quanto armazenamento é necessário para que um algoritmo encontre a mediana em uma matriz classificada aleatoriamente. Em particular, eles se concentram no seguinte modelo: a entrada é lida da esquerda para a direita por um número P de vezes. É …

18 ds.algorithms  space-bounded  data-streams 

A computação quântica limitada no tempo é obviamente muito interessante. E quanto à computação quântica limitada ao espaço? Conheço muitos resultados interessantes para computação quântica com limites de espaço sublogarítmicos e vários tipos de modelos de autômatos quânticos. Por outro lado, foi demonstrado que o espaço probabilístico e quântico de …

17 quantum-computing  space-bounded 

É fácil ver que qualquer problema decidível no espaço de registro determinístico ( ) é executado no máximo no tempo polinomial ( P ). Muitos algoritmos de espaço de log conhecidos (por exemplo: conectividade st não direcionada, isomorfismo de gráfico plano) são executados em O ( n k ), onde …

17 cc.complexity-theory  space-bounded  space-time-tradeoff 

A distribuição DD\mathcal{D} é dito ϵϵ\epsilon -fool uma função se . E é dito que engana uma classe de funções se ela engana todas as funções nessa classe. Sabe-se que os espaços tendenciosos enganam a classe de paridades sobre subconjuntos. (veja Alon-Goldreich-Hastad-Peralta para algumas construções legais de tais espaços). A …

17 cc.complexity-theory  derandomization  space-bounded  pseudorandomness 

O teorema de Savitch mostra que para todas as funções suficientemente grandes , e provar que isso é restrito tem sido um problema aberto por décadas .fN S P A C E (f( n ) ) ⊆ D S P A C E ( f( N )2)NSPUMACE(f(n))⊆DSPUMACE(f(n)2)\mathrm{NSPACE}(f(n)) \subseteq \mathrm{DSPACE}(f(n)^2)fff Suponha …

16 cc.complexity-theory  automata-theory  space-bounded  space-complexity 

Por um resultado clássico de Kuroda, a classe de complexidade NSPACE [ ]nnn (também conhecida como NLIN-SPACE) é precisamente a classe CSL de linguagens sensíveis ao contexto . O problema de satisfação SAT está no NSPACE [ ], uma vez que um palpite de tamanho linear para uma solução pode …

16 cc.complexity-theory  fl.formal-languages  sat  space-bounded 

Nisan provou em "Geradores Psico-Aleatórios para Computação Limitada ao Espaço", que existe um gerador pseudo-aleatório que "engana" os cálculos limitados pelo espaço. Essa construção vale para todos os oráculos (pelo menos para consultas não adaptativas)?

16 cc.complexity-theory  space-bounded  derandomization 

Estou interessado em duas perguntas sobre linguagens sensíveis ao contexto (CSL) e integridade: Existe uma noção de integridade para CSL e quais idiomas estão completos? Existem CSL naturais que são NP-completas? Para 2., certamente posso pensar em linguagens naturais completas de NP que são CSL (como CSL é igual a …

16 np-hardness  fl.formal-languages  space-bounded 

Savitch deu um algoritmo determinístico para resolver a conectividade st usando espaço, implicando N L ⊆ D S P A C E ( log 2 n ) . O algoritmo de Savitch é executado no tempo 2 O ( log 2 n ) . É um grande problema em aberto …

15 cc.complexity-theory  space-bounded 

Costumamos considerar classes de complexidade em que estamos limitados na quantidade de espaço que nossa máquina de Turing pode usar, por exemplo: ou NSPACE ( f ( n ) ) . Parece que no início da teoria da complexidade houve muito sucesso com essas classes, como o teorema da hierarquia …

15 cc.complexity-theory  complexity-classes  quantum-computing  space-bounded 

SACiSACiSAC^i é a classe de problemas de decisão solucionáveis ​​por uma família de circuitos de profundidade com portas OR sem ventoinha OR e ventoinha AND limitada. Negações são permitidas apenas no nível de entrada. Sabe-se que para está fechado sob complemento e não. Além disso, e, portanto, possui uma caracterização …

14 cc.complexity-theory  circuit-complexity  space-bounded  arithmetic-circuits 

Sabe-se, graças a Immerman e Szelepcsényi, que se (mesmo para funções construtivas não espaciais).f = Ω ( log )N S P A C E (f) = C O N S P A C E ( f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f= Ω ( log )f=Ω(log)f=\Omega(\log) No mesmo artigo, Immerman declara que a hierarquia …

13 cc.complexity-theory  reference-request  space-bounded  alternating-hierarchy 

O teorema da hierarquia de tempo afirma que as máquinas de turing podem resolver mais problemas se tiverem (bastante) mais tempo. Isso vale de alguma forma se o espaço é limitado assintoticamente? Como relaciona com se cresce rápido o suficiente?DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n)))DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n)))fgfg\frac{f}{g} Estou interessado especialmente no caso em que , …

12 cc.complexity-theory  complexity-classes  turing-machines  space-bounded  time-hierarchy 

Considere um vetor dimensional v em que v i ∈ { 0 , 1 } . Para cada i sabemos p i = P ( v i = 1 ) e vamos assumir o v i são independentes. Usando essas probabilidades, existe uma maneira eficiente de iterar sobre vetores binários …

12 ds.algorithms  space-bounded 

Um MPA (autômato multipebble) é um 2DFA (autômato finito determinístico de duas vias) que pode usar um número arbitrário de seixos (na verdade, no máximo seixos em uma determinada entrada - a entrada é gravada na fita entre as duas extremidades -markers como ). Durante o cálculo, um MPA pode …

12 cc.complexity-theory  reference-request  automata-theory  space-bounded