码迷,mamicode.com
首页 > 其他好文 > 详细

对于2-sat问题的求解

时间:2017-04-22 09:27:15      阅读:146      评论:0      收藏:0      [点我收藏+]

标签:上进   连通   问题   论文   .com   ppt   浅析   http   lan   

一.O(n+m)

暴力不多说

二.O(m)

1.构图
2.求图的极大强连通子图
3.把每个子图收缩成单个节点,根据原图关系构造一个有向无环图
4.判断是否有解,无解则输出(退出)
5.对新图进行拓扑排序
6.自底向上进行选择、删除
7.输出
 
对于此问题有两篇论文可看:

对于2-sat问题的求解

标签:上进   连通   问题   论文   .com   ppt   浅析   http   lan   

原文地址:http://www.cnblogs.com/zhenghaotian/p/6746807.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!