摘要：前置知识 SET问题的标准定义：在计算机科学中，布尔可满足性问题（有时称为命题可满足性问题，缩写为SATISFIABILITY或SAT）是确定是否存在满足给定布尔公式的解释的问题。（全是废话） 说人话就是，你要给n个变量，n需要给他赋值使它满足给你一些形如(x1为1或x3为0或x4为3)的条件，你必 阅读全文