2-SAT学习笔记 2019年8月1日 Marvolo 0条评论 ACM 学习笔记 定义 每个方程含有n个未知数的布尔方程组称为n-SAT问题，当n大于2的时候该问题为NP-Hard问题。当n等 […]
