基于DPLL算法解决3-SAT问题(C++实现)
近日看到一个3-SAT问题(Boolean SATisfiability Problem, 布尔逻辑可满足性问题），试着写了个算法求解。
问题描述
给定m个涉及到n个boolean变量的表达式，找出如何对这几个变量赋值，让这m个boolean表达式同时为true。这种问题的答案不一定唯一
例子:给定下列4个boolean表达式，如何去变量的值同时使这些表达式的答案为 true:
X 1 ∪ X 2 ‾ ∪ X 4 ‾ X_1 \cup \overline{X_2} \cup \overline{X_4} X1∪X2∪X4 ， X 2 ∪ X 3 ‾ ∪ X 4 X_2 \cup \overline{X_3} \cup X_4 X2∪X3∪X4
X 2 ∪ X 3 ∪ X 4 X_2 \cup X_3 \cup X_4 X2∪X3∪X4， X 2 ∪ X 3 ∪ X 4 ‾ X_2 \cup X_3 \cup \overline{X_4} X2∪X3∪
最低0.47元/天 解锁文章
扫一扫
6403
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
