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
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
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...
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 ser...
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 espacial e a...
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 se a conectividade st pode ser resolvida por um algoritmo determinístico em...
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,...
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 alternada...
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...
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 n dimensionais, na ordem do mais provável para o menos provável (com...
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
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...
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 ) ) ) /...
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} *,...
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
É 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á,
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...
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 técnicas são...
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...
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,
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...