其中 $i$ 和 $i'$ 表示这个 $a_i$ 的两种状态。

这是显然有解的，没有 $i$ 和 $i'$ 在同一强联通分量里。由于我们选 scc 小者，解应为 $1'$，$2'$，$3'$，$4'$。

但是问题就在这里，如果我们选了 $2'$ 就应该选 $3$，选了 $3$ 就应该选 $4$，选了 $4$ 就应该选 $3'$，这不就矛盾了？！

我不知道真实情况中会不会出现这种图的存在情况，但我认为如果出现这种情况的话，岂不是 2-SAT 就崩塌了？