C'est probablement une question stupide, mais je ne comprends tout simplement pas. Dans une autre question, ils ont proposé le théorème de dichotomie de Schaefer . Pour moi, il semble que cela prouve que chaque problème CSP est soit en P soit en NP-complet, mais pas entre les deux. Étant donné que...
J'ai vu comment XOR-3-SAT est efficacement résoluble (par exemple, voir la section "XOR-satisfiabilité" dans l'entrée Wikipedia pour le problème de satisfiabilité booléenne ). Je me pose une question de base: XOR-k-SAT est-il efficacement résoluble, pour des formules avec des quantités variables de...
Le problème de décision Étant donné une formule booléenne , ϕ a-t-il exactement une affectation satisfaisante?ϕϕ\phiϕϕ\phi peut être vu comme étant en , U P -hard et c o N P -hard. En sait-on plus sur sa
Les solveurs SAT modernes sont très efficaces pour résoudre de nombreux exemples concrets d'instances SAT. Cependant, nous savons comment générer des disques durs: par exemple, utilisez une réduction de l'affacturage vers SAT et donnez les numéros RSA en entrée. Cela soulève la question: et si je...
Le problème de déterminer si une expression booléenne donnée est satisfaisante sur le plan du calcul est-il distinct de trouver réellement une solution à l'expression? En d'autres termes, existe-t-il un autre moyen de trouver qu'une expression donnée est satisfaisable sans déterminer explicitement...
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...
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) and (b xor c xor d) En d'autres termes,...
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...
En ce qui concerne le thread Prouvant que la conversion de CNF en DNF est NP-Hard (et un thread Math connexe ): Que diriez-vous de l'autre direction, de DNF à CNF? Est-ce facile ou difficile? À la page 2 de cet article , ils semblent suggérer que les deux directions sont également difficiles quand...
Soit le langage de toutes les formules -CNF , de sorte qu'au moins des clauses de puissent être satisfaites.LϵLϵL_\epsilon222φφ\varphi(12+ϵ)(12+ϵ)(\frac{1}{2}+\epsilon)φφ\varphi Je dois prouver qu'il existe st is -hard for any
Sur la page wikipedia ici, il décrit assez bien l'algorithme CDCL (et il semble que les photos ont été prises à partir de diapositives créées par Sharad Malik à Princeton). Cependant, quand il décrit comment revenir en arrière, tout ce qu'il dit est "au point approprié". MiniSAT utilise également...
Je suis un étudiant en deuxième année du secondaire qui s'intéresse à l'informatique. J'ai développé un algorithme sympa pour #SAT, et j'implémente et fais un projet d'expo-science sur celui-ci. Ma conseillère, qui est la meilleure enseignante en sciences de mon école et également enseignante AP...
Valiant et Vazirani ont prouvé que la SAT est réductible à la SAT UNIQUE sous des réductions probabilistes randomisées du temps polynomial. Calabro et al . a montré que UNIQUE k-SAT est aussi dur que k-SAT. Maintenant, la question est, si quelqu'un montre que k-SAT UNIQUE est dans P, cela...
Je me demandais si ce problème avait un nom: Étant donné un graphique simple dont les bords sont colorés en rouge, bleu et vert, , existe-t-il une coloration vertex telle que chaque bord a un point final avec la même couleur?G = ( V, B ∪ R ∪ G )g=(V,B∪R∪g)G=(V,B\cup R\cup G)c : V→ { B , R , G...
Si nous supposons que nous commençons par une instance de kkk-SAT et essayez de convertir le problème en une instance de ( k + m )(k+m)(k+m)-SAT, où il y a ( k + m )(k+m)(k+m) littéraux par clause, pouvons-nous garantir une réduction du montant total des clauses? J'ai réalisé après la publication...
Imaginons que nous ayons une formule satisfaisante Le problème à résoudre est "Y a-t-il une affectation pour les variables qui fera F insatisfaisant? ". Une façon de résoudre est de trouver toutes les solutions pour F en termes de variables et si le nombre est < , la solution manquante sera la...
La satisfiabilité générale (à quelques exceptions telles que les clauses de Horn) ne semble pas avoir de solution algorithmique. Cependant, l'algorithme suivant semble être une solution pour la satisfiabilité générale. Quel est exactement le défaut de l'algorithme suivant? Laisser WWW être un...
Récemment, je lis des articles sur la dichotomie . Je ne comprends pas quelle condition peut être qualifiée de dichotomie ? Que signifie «une question est soit en P soit en NP - complète »? (supposons P ≠≠\neq NP ) Par exemple, j'ai connu le théorème de dichotomie de Schaefer, dans lequel une...
J'ai la question suivante. Les solveurs SAT sont-ils déterministes? Je veux dire, par exemple, sur les algorithmes miniSAT et DPLL . Sont-ils complètement déterministes? Si ces algorithmes renvoient unSAT, cela signifie que la solution n'existe certainement
Laisser x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n) et y=(y1,…,yn)y=(y1,…,yn)y=(y_1,\dots,y_n) être nnn-vecteurs de variables booléennes. J'ai un prédicat booléenQ(x,y)Q(x,y)Q(x,y) sur x,yx,yx,y. Je donne mon ami PriscillaQ(x,y)Q(x,y)Q(x,y). En réponse, elle me donneP(x)P(x)P(x), un prédicat booléen...