Perguntas com a marcação «pspace»

Decidir se uma fórmula booleana quantificada, como ∀ x1∃ x2∀ x3⋯ ∃ xnφ ( x1, x2, … , Xn) ,∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),\forall x_1 \exists x_2 \forall x_3\cdots \exists x_n \varphi(x_1, x_2,\ldots , x_n), sempre avalia como verdadeiro é um problema clássico completo do PSPACE. Isso pode ser visto como um jogo entre …

31 cc.complexity-theory  sat  gt.game-theory  pspace 

É sabido que o seguinte problema está completo no PSPACE: Dada a expressão regular , ?L ( β ) = Σ ∗ββ\betaL ( β) = Σ∗L(β)=Σ∗L(\beta) = \Sigma^* E quanto a determinar a equivalência a outras expressões regulares (fixas) ?αα\alpha Dada a expressão regular , ?L ( β ) = …

21 cc.complexity-theory  automata-theory  regular-expressions  pspace 

fundo Sabe-se que existe um oráculo AAA tal que, PSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A . É sabido até que a separação se aplica a um oráculo aleatório. Informalmente, pode-se interpretar isto para dizer que há muitas oráculos para os quais PSPACEPSPACEPSPACE e PHPHPH são separados. Questão Como complicado são estes oráculos que …

17 cc.complexity-theory  oracles  relativization  pspace  structural-complexity 

É mencionado em um comentário em outro post do cstheorySE que a completude do PSPACE implica dureza do APX. Alguém pode explicar / compartilhar uma referência para isso? Isso é "apertado"? (ou seja, existem problemas completos do PSPACE cujo problema de otimização admite uma aproximação constante de fatores no tempo …

14 cc.complexity-theory  approximation-algorithms  approximation-hardness  np  pspace 

No artigo "Sobre a complexidade de alguns jogos de colorir", Bodlaender faz algumas perguntas em aberto sobre a complexidade de decidir se o jogador 1 ou 2 tem uma estratégia vencedora em alguns jogos de colorir gráficos. Alguém sabe se eles foram resolvidos? 1) Em um jogo, dois jogadores se …

12 graph-colouring  pspace  two-player-games 

Este artigo prova que, em um jogo com portas e placas de pressão, é difícil para o PSPACE determinar se o avatar (do jogador) pode ou não alcançar um determinado local. Isso é comprovado por uma redução do TQBF , e o comprimento das soluções resultantes depende exponencialmente do número …

12 reductions  nondeterminism  pspace 

Considere as informações completas sobre jogos combinatórios para dois jogadores que terminam após um número polinomial de jogadas e, de maneira alternada, os jogadores escolhem um número finito de jogadas permitidas. A pergunta usual é: quão difícil é distinguir de uma determinada posição o vencedor. Outra seria: quão difícil é …

11 cc.complexity-theory  np  board-games  pspace 

Eu acho que seria chamado # P-Space, mas eu encontrei apenas um artigo mencionando-o vagamente. Que tal a versão de contagem dos problemas EXP-TIME-Complete, NEXP-Complete e EXP-SPACE-Complete? Existe algum trabalho anterior que se possa citar em relação a esse ou a qualquer tipo de inclusão ou exclusão como o Teorema …

11 cc.complexity-theory  complexity-classes  counting-complexity  pspace 

A seguinte noção de algoritmo de destilação vem de "Em problemas sem núcleos polinomiais". Seja dada uma língua Um algoritmo de destilação para L pega uma determinada lista de cadeias de entrada { x i } i ∈ [ t ] e calcula uma cadeia de saída y de modo …

9 cc.complexity-theory  np-hardness  parameterized-complexity  polynomial-hierarchy  pspace 

fundo Sabemos que .P# P⊆ PSPA CEP#P⊆PSPACEP^{\#P} \subseteq PSPACE Além disso, sabemos pelo teorema de Toda que .PH⊆ P# PPH⊆P#PPH \subseteq P^{\#P} Para mais informações sobre , consulte aqui: https://en.wikipedia.org/wiki/Sharp-P# P#P\#P Questão Existe um oráculo tal que ?UMAUMAA( P# P)UMA≠ PSPA CEUMA(P#P)UMA≠PSPUMACEUMA(P^{\#P})^{A} \neq PSPACE^{A}

8 cc.complexity-theory  complexity-classes  oracles  relativization  pspace 

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 que uma …

8 cc.complexity-theory  pspace  space-complexity