今天突然找到一道2-SAT的题，然后开始找各种资料，课件，最后还是看得云里雾里的。。。
2-SAT算法解题过程：
1．构图2．求图的极大强连通子图3．把每个子图收缩成单个节点，根据原图关系构造一个有向无环图4．判断是否有解，无解则输出（退出）5．对新图进行拓扑排序6．自底向上进行选择、删除7．输出
今天（2/15）wy大牛给我解释是：其实就是把和取/析取式 变成蕴含式。
话说偶的离散数学没学好，回头翻书去～～～
