Questions marquées «3-sat»

2
Quel est l'exemple d'une formule 3-CNF insatisfaisante?
J'essaie d'envelopper ma tête autour d'une preuve d'exhaustivité NP qui semble tourner autour de SAT / 3CNF-SAT. C'est peut-être l'heure tardive, mais je crains de ne pas pouvoir penser à une formule 3CNF qui ne puisse être satisfaite (il me manque probablement quelque chose d'évident). Pouvez-vous me donner un exemple …
1
Conditions de planarité pour Planar 1-in-3 SAT
Planar 3SAT est NP-complet. Une instance planaire 3SAT est une instance 3SAT pour laquelle le graphique construit à l'aide des règles suivantes est planaire: ajouter un sommet pour chaque et ¯ x iXjeXjex_iXje¯Xje¯\bar{x_i} ajouter un sommet pour chaque clauseCjCjC_j ajouter un bord pour chaque paire( xje, xje¯)(Xje,Xje¯)(x_i,\bar{x_i}) ajouter une arête …
1
Comment prouver qu'une version contrainte de 3SAT dans laquelle aucun littéral ne peut se produire plus d'une fois, est résoluble en temps polynomial?
J'essaie de travailler sur une tâche (tirée du livre Algorithms - par S. Dasgupta, CH Papadimitriou et UV Vazirani , Chap 8, problème 8.6a), et je paraphrase ce qu'il dit: Étant donné que 3SAT reste NP-complet même lorsqu'il est limité à des formules dans lesquelles chaque littéral apparaît au plus …
1
Algorithme randomisé pour 3SAT
Il existe un algorithme aléatoire très simple qui, étant donné un 3SAT, produit une assignation satisfaisant au moins 7/8 des clauses (en attente): choisissez une assignation aléatoire. Une assignation aléatoire satisfait chaque clause avec la probabilité 7/8, et donc la linéarité de l'attente montre que la fraction attendue des clauses …
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.