布尔可满足性问题（Boolean Satisfiability Problem,SAT）是逻辑学的一个基本问题,也是NP-hard问题。调查传播算法（Survey Propagation......