Questions marquées «complexity-theory»

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...

13
Complexité-théorique difficile de vérifier la valeur de

La fonction de comptage de nombres premiers , rétrogradée , est définie comme le nombre de nombres premiers inférieurs ou égaux à x .π(x)π(x)\pi(x)xxx Nous pouvons définir un problème de décision à partir de comme suit:π(x)π(x)\pi(x) Étant donné deux nombres et n , écrits en binaire, décidez si π (...

13
Prouver que DOUBLE-SAT est NP-complet

Le problème SAT bien connu est défini ici à titre de référence. Le problème DOUBLE-SAT est défini comme DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}\qquad \mathsf{DOUBLE\text{-}SAT} = \{\langle\phi\rangle \mid \phi \text{ has...