这个算法十分的奇妙qwq... 将一类判定问题转换为图论问题，然后就很容易解决了。
阅读背景：
2-SAT 问题与解法小结
来源：互联网
分享到：
