会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
蒟蒻zht的博客
持续性混吃等死 间歇性凌云壮志
博客园
首页
新随笔
联系
订阅
管理
对于2-sat问题的求解
一.O(n+m)
暴力不多说
二.O(m)
1.构图
2.求图的极大强连通子图
3.把每个子图收缩成单个节点,根据原图关系构造一个有向无环图
4.判断是否有解,无解则输出(退出)
5.对新图进行拓扑排序
6.自底向上进行选择、删除
7.输出
对于此问题有两篇论文可看:
伍昱 由对称性解2-sat问题(ppt)
赵爽 2-sat解法浅析(pdf)
posted @
2017-04-22 08:30
zht467
阅读(
275
) 评论(
0
)
编辑
收藏
举报
会员力量,点亮园子希望
刷新页面
返回顶部
公告