Questions marquées «np-complete»

Questions sur les problèmes les plus difficiles en NP, c'est-à-dire ceux qui peuvent être résolus en temps polynomial par des machines de Turing non déterministes.

3
Un problème fini peut-il être dans NP-Complete?
Mon conférencier a fait la déclaration Tout problème fini ne peut pas être NP-Complete Il parlait de Sudoku à l'époque en disant quelque chose dans le sens que pour un Sudoku 8x8, il existe un ensemble fini de solutions, mais je ne me souviens pas exactement de ce qu'il a …
13 np-complete  np 
1
Limites d'exécution sur les algorithmes de problèmes complets de NP en supposant P ≠ NP
Supposons .P ≠ N PP≠NPP\neq NP Que pouvons-nous dire sur les limites d'exécution de tous les problèmes NP-complete? c'est-à-dire quelles sont les fonctions les plus étroites pour lesquelles nous pouvons garantir qu'un algorithme optimal pour tout problème NP-complet s'exécute dans un temps d'au moins et au plus sur une entrée …
2
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 at least two satisfying assignments}\} Comment pouvons-nous prouver qu'il est NP-complet? Plus …
2
Prouver l'exhaustivité de NP pour décider de la satisfiabilité de la formule booléenne monotone
J'essaie de résoudre ce problème et j'ai vraiment du mal. Une formule booléenne monotone est une formule en logique propositionnelle où tous les littéraux sont positifs. Par exemple, (x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 \lor x_2) \land (x_1 \lor x_3) \land (x_3 \lor x_4 \lor x_5) est une fonction booléenne monotone. D'un autre côté, …
3
2-SAT avec XOR-relations NP-complet?
Je me demande s'il existe un algorithme polynomial pour "2-SAT avec relations XOR". Les deux 2-SAT et XOR-SAT sont en P, mais est-ce que sa combinaison? Exemple d'entrée: Partie 2-SAT: (a or !b) and (b or c) and (b or d) Partie XOR: (a xor b xor c xor 1) …
2
Cycle le plus long contenu en deux cycles
Le problème suivant est-il NP-complet? (Je suppose que oui). Entrée: un graphique non orienté où l'ensemble de bords peut être décomposé en deux cycles simples à bords séparés (ceux-ci ne font pas partie de l'entrée).k∈N,G=(V,E)k∈N,g=(V,E)k \in \mathbb{N},G=(V,E) Question: Existe - t-il un cycle simple en de longueur supérieure à k …
1
Ensemble indépendant sur des graphiques sans triangle cubique
Je sais que l'ensemble indépendant maximum sur les graphiques sans triangle cubique est NP-complet. Est-il toujours NP-complet au cas où nous aurions besoin que l'ensemble indépendant soit exactement de la taille ?| V| / 2|V|/2|V|/2 Fondamentalement, l'instance OUI d'un problème d'ensemble indépendant sur un problème de graphes sans triangle cubique …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.