学步园

1、SAT problem(SATISFIABLITY problem)可满足问题

什么SAT问题；

SAT问题时历史上第一个被证明的NP-Complete问题，主要研究逻辑表达式是否满足。满足的含义是逻辑表达式是不是成立。阅读网址：http://blog.sina.com.cn/s/blog_3fe235d701015bi1.html