diff options
Diffstat (limited to 'content/graph/2sat.cpp')
| -rw-r--r-- | content/graph/2sat.cpp | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/content/graph/2sat.cpp b/content/graph/2sat.cpp index 3e0811f..b9cfd1c 100644 --- a/content/graph/2sat.cpp +++ b/content/graph/2sat.cpp @@ -8,13 +8,13 @@ struct sat2 { adj[a].push_back(b); adj[1^b].push_back(1^a); } - void addEquiv(int a, int b) {addImpl(a, b); addImpl(b, a);} - void addOr(int a, int b) {addImpl(1^a, b);} - void addXor(int a, int b) {addOr(a, b); addOr(1^a, 1^b);} - void addTrue(int a) {addImpl(1^a, a);} - void addFalse(int a) {addTrue(1^a);} - void addAnd(int a, int b) {addTrue(a); addTrue(b);} - void addNand(int a, int b) {addOr(1^a, 1^b);} + void addEquiv(int a, int b) { addImpl(a, b); addImpl(b, a); } + void addOr(int a, int b) { addImpl(1^a, b);} + void addXor(int a, int b) { addOr(a, b); addOr(1^a, 1^b); } + void addTrue(int a) { addImpl(1^a, a);} + void addFalse(int a) { addTrue(1^a);} + void addAnd(int a, int b) { addTrue(a); addTrue(b); } + void addNand(int a, int b) { addOr(1^a, 1^b); } bool solve() { scc(); //scc code von oben |