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

Considere o seguinte problema: Deixei kkkseja uma constante. Nos é dado umkkkmatriz -ary Ad1×…×dkAd1×…×dkA_{d_1\times\ldots\times d_k} do 000 e 111's. DeixeiN=∏ki=1diN=∏i=1kdiN = \prod_{i=1}^k d_i. Queremos criar uma estrutura de dados pré-processando AAA para executar o seguinte tipo de operações de consulta: Dadas as coordenadas de um kkkcaixa de ary DDD, Tem …

8 reference-request  data-structures  space-complexity 

Em complexidade computacional: Abordagem moderna de Arora e Barak , é mencionado que No entanto, exigiremos que S( n ) > lognS(n)>registro⁡nS(n)> \log n desde que a fita de trabalho tenha comprimento nnn, e gostaríamos que a máquina conseguisse pelo menos lembrar o índice da célula da fita de entrada …

8 complexity-theory  turing-machines  space-complexity 

Sabemos que a poliL não tem problemas completos, pois entraria em conflito com o teorema da hierarquia espacial. Mas: Existem problemas completos para cada nível dessa hierarquia?polyLpolyLpolyL Para ser mais preciso: A classe tem problemas completos em reduções para cada ?DSPACE(log(n)k)DSPACE(log⁡(n)k)DSPACE(\log(n)^k)LLLk>0k>0k > 0

8 complexity-theory  reductions  space-complexity 

Não posso comentar sobre esta questão, por isso pergunto aqui como uma nova pergunta: Ricky Demer afirma lá em um comentário para a primeira resposta "[...] como o FPSPACE pode fornecer resultados exponencialmente longos [...]" Como isso pode ser? Como um algoritmo no FSPACE pode fornecer uma saída exponencialmente longa? …

7 complexity-theory  space-complexity 

Entendo que essa é uma pergunta um pouco vaga, mas há resultados para P vs. NP, como a questão não pode ser facilmente resolvida usando oráculos. Existem resultados como este que foram mostrados para P vs. NP, mas não foram mostrados para P vs PSPACE, de modo que há esperança …

7 complexity-theory  time-complexity  space-complexity 

Sabe-se que para , .f(n)≥lognf(n)≥log⁡nf(n) \geq \log nNSPACE(f(n))=coNSPACE(f(n))NSPACE(f(n))=coNSPACE(f(n))\mathsf{NSPACE}(f(n)) = \mathsf{coNSPACE}(f(n)) E se ? Eles também são iguais?f(n)&lt;lognf(n)&lt;log⁡nf(n)<\log n

7 complexity-theory  space-complexity 

Eu tenho dois programas de espaço de log FFF e GGG. Programa FFF receberá entrada na matriz A [ 1 .. n ]UMA[1 ..n]A[1..n] e criará a matriz de saída B [ 1 .. n ]B[1 ..n]B[1..n]. Programa GGG receberá como entrada BBB como criado por FFF e criar a …

7 algorithms  complexity-theory  simulation  space-complexity