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
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
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,...
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 se pode mostrar que mesmo um...
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(