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