摘要：problem： 给定$n$个布尔型变量$x_i$以及他们之间的逻辑关系例如$(x_j\lor x_i) \land (\lnot x_p\lor x_q)……$，求出一组合法解 solution： 显然每个点都有两种状态：真和假。这样我们可以把$n$个点拆分成$2n$个点，$x$和$\lnot x 阅读全文