Questions marquées «time-complexity»

13
Version restreinte du problème Clique?

Considérons la version suivante du problème Clique où l'entrée est de taille et on nous demande de trouver une clique de taille k . La restriction est que la procédure de décision ne peut pas transformer le graphe d'entrée en toute autre représentation et ne peut utiliser aucune autre...

11
Déduire les types de raffinement

Au travail, j'ai été chargé de déduire des informations de type sur un langage dynamique. Je réécris des séquences d'instructions en imbriquéeslet expressions , comme ceci: 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 => if x then...

10
Prouver que si alors

J'aimerais vraiment votre aide pour prouver ce qui suit. Si alors .NTime(n100)⊆DTime(n1000)NTime(n100)⊆DTime(n1000)\mathrm{NTime}(n^{100}) \subseteq \mathrm{DTime}(n^{1000})P=NPP=NP\mathrm{P}=\mathrm{NP} Ici, est la classe de toutes les langues qui peut être décidée par la machine de Turing non...