2-sat 简介： sat问题(适定性(Sat**isfiability)问题)——给定一个布尔方程,求出这个方程的解**. 若有 K K 个变量,则称为K-sat问题,故 K=2 K = 2 时,即为2-sat问题… …