Questions marquées «complexity-theory»

23
P-complétude et calcul parallèle

J'ai récemment lu sur les algorithmes de vérification de la bisimilarité et lu que le problème est P-complet . En outre, une conséquence de cela est que ce problème, ou tout problème P-complet, est peu susceptible d'avoir des algorithmes parallèles efficaces. Quelle est l'intuition derrière cette...

21
Classes de complexité où

Une motivation possible pour étudier les classes de complexité de calcul est de comprendre la puissance de différents types de ressources de calcul (caractère aléatoire, non-déterminisme, effets quantiques, etc.). Si nous le regardons sous cet angle, il semble que nous pouvons obtenir un axiome...

21
Réduisez le problème suivant à SAT

Voici le problème. Étant donné , où chaque . Existe-t-il un sous-ensemble dont la taille est au plus telle que pour tout ? J'essaie de réduire ce problème à SAT. Mon idée d'une solution serait d'avoir une variable pour chacun de 1 à . Pour chaque , créez une clause si . Ensuite et toutes ces...

20
DEMI CLIQUE - Problème NP complet

Permettez-moi de commencer par noter qu'il s'agit d'un problème de devoirs, veuillez fournir uniquement des conseils et des observations connexes, AUCUNE RÉPONSE DIRECTE s'il vous plaît . Cela dit, voici le problème que je regarde: Soit HALF-CLIQUE = { | est un graphe non orienté ayant un...

20
Complexité des tours de Hanoi

J'ai rencontré les doutes suivants sur la complexité des tours de Hanoi , sur lesquelles j'aimerais avoir vos commentaires. Est-ce en NP? Tentative de réponse: supposons que Peggy (prouveur) résout le problème et le soumette à Victor (vérificateur). Victor peut facilement voir que l'état final de...