随笔分类 -  图论2-SAT问题

2-SAT问题（白书）
摘要：1. 定义给定一个布尔方程，判断是否存在一组布尔变量的真值指派使整个方程为真的问题，被称为布尔方程的可满足性问题(SAT)。SAT问题是NP完全的，但对于满足一定限制条件的SAT问题，还是能够有效求解的。如果合取范式的每一个子句中的文字个数不超过两个，那么对应的SAT... 阅读全文
posted @ 2018-06-15 22:20 Bryce1010 阅读(204) 评论(0) 推荐(0)