2-SAT

说是技巧，其实应该是常识。。。2-SAT 没学好导致的。

首先是一些奇怪的情况。

我们假设蓝绿是一组，红黄是一组，椭圆是 scc，那么红黄会选黄，蓝绿会选绿，然而绿又能推出红，遂卒。

但是这是不可能的。

实际上考虑建图时我们干了什么事情。

我们建了类似于这样的东西：

实际上这两对点是对等的，所以如果绿能到红，黄也应该能到蓝，于是整个是一个连通块。

另外是如何钦定某个情况一定是真或者是假，直接在同一对点之间连边，就能强行要求它是真或假。

比如钦定真就直接 \(\texttt{F}\longrightarrow \texttt{T}\)。

反之直接 \(\texttt{T}\longrightarrow \texttt{F}\)。