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 constante é...
É sabido que os palíndromos podem ser reconhecidos em tempo linear em máquinas de Turing de fitas, mas não em máquinas de Turing de fita única (nesse caso, o tempo necessário é quadrático). O algoritmo de tempo linear usa uma cópia da entrada e, portanto, também usa um espaço linear.222 Podemos...
Estou procurando um documento de pesquisa ou um livro que cubra resultados sobre a complexidade espacial de operações comuns de álgebra linear, como classificação de matrizes, cálculo de valores próprios, etc. é mais fácil rastrear resultados de tempo. Agradeço qualquer referência sobre o...
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 que...
Em seu artigo Approximate Distance Oracles , Thorup e Zwick mostraram que, para qualquer gráfico não direcionado ponderado, é possível construir uma estrutura de dados do tamanho que possa retornar uma aproximação ( 2 k - 1 ) distância entre qualquer par de vértices no gráfico.O ( k n1 + 1 /...
Eu tinha feito alguma pesquisa sobre isso, mas não consegui encontrar uma resposta de qualquer maneira. Huck respondeu totalmente. Obrigado
Pergunta Geral O teorema da hierarquia espacial generaliza para computação não uniforme? Aqui estão algumas perguntas mais específicas: L / p o l y⊊ PSPA CE/ PolyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Para todas as funções construtivas de espaço , ?D S P A C E ( o ( f ( n ) ) ) /...
Elberfeld, Jakoby e Tantau 2010 ( ECCC TR10-062 ) provaram ser uma versão com eficiência de espaço do teorema de Bodlaender. Eles mostraram que para gráficos com largura de árvore no máximo , pode-se encontrar uma decomposição em árvore da largura usando espaço logarítmico. O fator constante no...
No artigo de Savitch em 1969, "Relações entre complexidades de fita não determinísticas e determinísticas", ele afirma que "todas as funções comuns de armazenamento L (n)> = lg n são mensuráveis. Em particular, qualquer polinômio em n e lg n é mensurável". Sua definição de mensurável é: "Diz-se...
Um truque conhecido para armazenar vetores de bits usando memória não inicializada pode alocar um vetor de bits de tamanho no qual todos os bits são definidos como , alocando bits de memória e inicializando apenas deles. Essa representação suporta a configuração e a desabilitação de qualquer bit em...
No filme Inception, Cobb pede a Ariadne para projetar um labirinto que leva o dobro do tempo para projetar. Isso se presta a um problema generalizado em que temos uma situação em que temos recursos limitados em alguma quantia e quem verificará se esse problema está na classe de complexidade...
Considere o seguinte problema de decisão. Seja e deixe ser adequado enumeração dos subconjuntos de que possuem no máximo elementos.q=∑n/4i=0(ni)q=∑i=0n/4(ni)q = \sum_{i=0}^{n/4} \binom{n}{i}(Cn0,Cn1,…,Cnq−1)(C0n,C1n,…,Cq−1n)(C_0^n,