Perguntas com a marcação «separation»

A Zoologia da Complexidade, por Greg Kuperberg, afirma que existe uma linguagem que - em outras palavras, \ mathsf {BPP} ^ X \ nsubseteq \ mathsf {P} ^ {\ mathsf {NP} ^ X} - mas não fornece uma referência para este resultado. Por que isso se aplica? Ou onde uma …

12 cc.complexity-theory  oracles  relativization  polynomial-hierarchy  separation 

Em esta questão , foi mencionado que existem versões de complexidade descritivos do teorema de Rice. Encontrei uma prova do seguinte teorema: Dada uma classe de complexidade C , propriedades não triviais de idiomas em C não podem ser computadas em C Eu já havia postado a prova que encontrei, …

10 cc.complexity-theory  complexity-classes  descriptive-complexity  separation 

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 

O teorema da hierarquia de tempo permite mostrar que, por exemplo, existem problemas em P que não podem ser resolvidos no tempo menos que const * n ^ 2 por uma máquina de Turing. Mas dê alguns conselhos à máquina de Turing e todas as apostas estão fora. Ainda não …

9 cc.complexity-theory  lower-bounds  circuit-complexity  advice-and-nonuniformity  separation 

Algum de vocês conhece uma referência para o seguinte resultado (surpreendentemente tedioso para provar)? Dado um gráfico plano conectado com n vértices e n + t arestas, ele possui um separador de vértices de tamanho O ( √GGGnnnn+tn+tn+t.O(t√+1)O(t+1)O( \sqrt{t}+1)

8 reference-request  planar-graphs  separation