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

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 ) …

11 cc.complexity-theory  space-bounded  space-complexity  advice-and-nonuniformity  hierarchy-theorems 

Estou tentando encontrar problemas cuja complexidade de espaço de caso médio foi analisada. Mais especificamente, estou interessado em saber se existem problemas com um limite inferior da complexidade de espaço comprovado que é super-linear e, especialmente, se houver algum com uma análise de caso médio (por exemplo, o limite é …

11 cc.complexity-theory  reference-request  space-bounded  average-case-complexity 

Mostre uma função que é construtível no espaço, mas não no tempo.f(n)f(n)f(n) Esse problema está relacionado a uma possível separação entre as classes de complexidade DTIME (f (n)) e SPACE (f (n))?

10 cc.complexity-theory  space-bounded  separation 

Atualização: Parece que esse problema foi estudado e resolvido recentemente, consulte este artigo da wiki: http://en.wikipedia.org/wiki/Tree_walking_automaton E também esta pesquisa: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Suponha que, em vez do conjunto usual de palavras {0,1} *, nossas palavras não sejam lineares, mas sim apresentadas em alguma estrutura de árvore. Para impedir que nossas …

10 cc.complexity-theory  automata-theory  space-bounded  dfa 

Os autômatos limitados lineares não determinísticos de visita limitada reconhecem apenas idiomas regulares? Por autômato delimitado linear não-determinístico (nLBA), quero dizer uma máquina de Turing não-determinística de fita única, na qual a entrada é "acolchoada" com marcadores nas duas extremidades que nunca podem ser substituídos e, portanto, a cabeça nunca …

9 automata-theory  turing-machines  regular-language  space-bounded 

É sabido que o problema NP-Complete chamado Subset Sum possui um FPTAS. Gostaria de saber se existe um problema PSPACE Complete que também possui um FPTAS? Desde já, obrigado.

9 ds.algorithms  space-bounded  big-picture 

Considere uma máquina (ou seja, um algoritmo probabilístico que usa espaço de log e polinomialmente muitos bits aleatórios). Sabe-se (Saks-Zhou) que .BPLBPLBPLBPL⊆DSPACE(log1.5(n))BPL⊆DSPACE(log1.5(n))BPL \subseteq DSPACE(log^{1.5}(n)) Minha pergunta é sobre uma máquina que usa apenas polilog muitos bits de aleatoriedade. Em um dos artigos de Goldreich, é mencionado de passagem que uma …

8 cc.complexity-theory  complexity-classes  derandomization  space-bounded  logspace 

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, C_1^n,\dots,C_{q-1}^n){0,1,…,n−1}{0,1,…,n−1}\{0,1,\dots,n-1\}n/4n/4n/4 Quartas-de-Subconjunto Membership Entrada: tupla de inteiros não negativos representada em binário Pergunta: é ? (i,j,n)(i,j,n)(i,j,n) i∈Cnji∈Cjni \in C_j^n Ao escolher uma enumeração "legal" , a Associação …

8 cc.complexity-theory  coding-theory  space-bounded  space-complexity 

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 tempo …

8 ds.data-structures  space-bounded  space-time-tradeoff  space-complexity 

Dada inteiros positivos e e , o que é conhecido sobre o espaço eo tempo complexidade de encontrar o peso de Hamming (número de 1s binários) de b e ?bbbeeebebeb^e Se os bits estiverem disponíveis, o número pode ser simplesmente calculado por técnicas padrão e os 1s contados. Mas que …

8 ds.algorithms  co.combinatorics  space-bounded  space-time-tradeoff