Miserable

摘要： 用处 给 $n$ 个 $0/1$ 变量，其之间满足若关系，这些关系本质上可以化成：若 $a_i$ 为 $0/1$，则 $a_j$ 为 $0/1$ 的若干命题，2-SAT 就是判断是否能够满足所有命题，并给出一组可行解（$n^2$ 可得字典序最小的特解）。 一般解法 考虑建图，每个变量拆成真假两点，命 阅读全文