Perguntas com a marcação «time-complexity»

13
Versão restrita do problema Clique?

Considere a seguinte versão do problema Clique, em que a entrada é do tamanho e solicitamos que você encontre um clique do tamanho . A restrição é que o procedimento de decisão não pode alterar o gráfico de entrada em nenhuma outra representação e não pode usar nenhuma outra representação para...

11
Inferindo tipos de refinamento

No trabalho, fui encarregado de deduzir algumas informações de tipo sobre uma linguagem dinâmica. Reescrevo seqüências de instruções em letexpressões aninhadas , da seguinte maneira: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...

10
Provando que, se

Eu realmente gostaria da sua ajuda para provar o seguinte. Se então .P = N PNTime(n100)⊆DTime(n1000)NTime(n100)⊆DTime(n1000)\mathrm{NTime}(n^{100}) \subseteq \mathrm{DTime}(n^{1000})P=NPP=NP\mathrm{P}=\mathrm{NP} Aqui, é a classe de todas as línguas que podem ser decididas pela máquina de Turing...