2-satisfiability

1La chaleur

1Répondre

2-Problème de fiabilité-Si une affectation de vérité unique existe ou non

J'ai un problème qui est une extension du problème 2-SAT. Dans le problème standard 2-SAT, nous pouvons trouver l'une des affectations de vérité qui dépend de l'ordre des sommets que nous choisissons.

algorithm 2-satisfiability 2009-11-03

---

3La chaleur

2Répondre

Problèmes d'implémentation dans le problème de 2-satisfaction

Je souhaite implémenter le problème 2-SAT pour 100000 littéraux. Il y aurait donc 200 000 sommets. Donc je suis coincé sur un tableau de tous les vertices accessibles à partir de chaque sommet, comple

data-structures 2-satisfiability 2009-11-03

---

2La chaleur

1Répondre

Est-ce que quelqu'un a vu une implémentation de 2-Sat

Je cherchais depuis longtemps, mais je n'arrive pas à trouver une implémentation de l'algorithme 2-Sat. Je travaille en C++ avec la bibliothèque boost (qui a un strongly connected component module) et

c++ boost implementation 2-satisfiability 2009-11-14

---

4La chaleur

2Répondre

Comment obtenir les valeurs 2-Sat

Chaque fois que je recherche un algorithme pour 2-Sat, je récupère l'algorithme pour la forme de décision du problème: existe-t-il un ensemble de valeurs légales qui satisfont toutes les clauses. Cepe

c++ algorithm boost 2-satisfiability 2010-02-22

---