会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
z1j1n1
博客园
首页
新随笔
联系
订阅
管理
2016年12月20日
2-SAT
摘要: n个布尔变量,满足m个如 A为x或B为y的限制 建一个点拆成两个,分别表示选TRUE或FALSE 建立A的!x B的y 的连边 与 A的x B的!y 的连边 每次dfs。 若一个点在之前条件下无论选TRUE或FALSE都无法满足条件,则无论如何都无法满足条件故无需回溯 ———————————————
阅读全文
posted @ 2016-12-20 10:28 z1j1n1
阅读(167)
评论(0)
推荐(0)
编辑
公告