2-SAT暴力dfs模板解释|不看你会后悔的
2014-04-25 23:14
295 查看
噗...九野跟我的聊天记录==白书模板.....
开始:
a654889339-九野 2014/4/25 22:43:38
2-SAT,对每一个节点都有2种状态
22:43:44
水木清华 2014/4/25 22:43:44
对的
a654889339-九野 2014/4/25 22:43:53
就是当成2个物品
水木清华 2014/4/25 22:43:58
嗯
a654889339-九野 2014/4/25 22:44:23
那么这两个物品要取一个,但不能同时取
水木清华 2014/4/25 22:44:31
嗯
a654889339-九野 2014/4/25 22:44:43
最开始时这两个物品都没有取
水木清华 2014/4/25 22:44:50
哦
a654889339-九野 2014/4/25 22:44:55
所以是这样!mark[i] && !mark[i^1]
a654889339-九野 2014/4/25 22:45:05
然后随便取一个嘛
水木清华 2014/4/25 22:45:09
嗯
a654889339-九野 2014/4/25 22:45:19
所以就取为真的这个物品
水木清华 2014/4/25 22:45:28
对
a654889339-九野 2014/4/25 22:45:40
然后取了这个物品会导致有些物品必须取
22:45:56
水木清华 2014/4/25 22:45:56
嗯
a654889339-九野 2014/4/25 22:46:21
所以dfs看一下取了这个物品是否可行
水木清华 2014/4/25 22:46:30
哦 soga
a654889339-九野 2014/4/25 22:46:29
如果不可行就反悔
水木清华 2014/4/25 22:46:35
对的
a654889339-九野 2014/4/25 22:46:52
这些必须取的放到栈里
水木清华 2014/4/25 22:47:02
嗯
a654889339-九野 2014/4/25 22:47:03
不可行了就把栈里的都返回掉
a654889339-九野 2014/4/25 22:47:06
反悔
水木清华 2014/4/25 22:47:11
嗯
a654889339-九野 2014/4/25 22:47:15
这样就可以了
22:48:16
水木清华 2014/4/25 22:48:16
哦 i^1和i+1有关系么。。。。
水木清华 2014/4/25 22:48:30
你写的i^1 LRJ是i+1
a654889339-九野 2014/4/25 22:48:33
这个是看拆点的
a654889339-九野 2014/4/25 22:48:37
不一样
水木清华 2014/4/25 22:48:41
哦
水木清华 2014/4/25 22:48:58
i^1的实际含义是啥
a654889339-九野 2014/4/25 22:48:58
i^1 就是 真假2个状态互相取对立
水木清华 2014/4/25 22:49:10
哦 soga
a654889339-九野 2014/4/25 22:49:09
lrj那个就是 真到假
水木清华 2014/4/25 22:49:28
真到假是啥意思?
a654889339-九野 2014/4/25 22:49:55
把i点拆成2个点 i*2跟 i*2+1
a654889339-九野 2014/4/25 22:50:02
用i*2表示真呗
水木清华 2014/4/25 22:50:10
嗯 了解了
水木清华 2014/4/25 22:50:15
九野解释的真棒
a654889339-九野 2014/4/25 22:50:16
所以 (i*2)^1 = (i*2+1)
22:50:25
a654889339-九野 2014/4/25 22:50:25
我也是刚学
水木清华 2014/4/25 22:50:34
聊天记录=2-SAT神解释!
a654889339-九野 2014/4/25 22:50:49
水木清华 2014/4/25 22:50:59
九野好腻害
a654889339-九野 2014/4/25 22:51:39
弱菜滚粗了
献上暴力模板:(缩点的话去看论文,好像这个时间复杂度也不错?原谅我的无知。)
开始:
a654889339-九野 2014/4/25 22:43:38
2-SAT,对每一个节点都有2种状态
22:43:44
水木清华 2014/4/25 22:43:44
对的
a654889339-九野 2014/4/25 22:43:53
就是当成2个物品
水木清华 2014/4/25 22:43:58
嗯
a654889339-九野 2014/4/25 22:44:23
那么这两个物品要取一个,但不能同时取
水木清华 2014/4/25 22:44:31
嗯
a654889339-九野 2014/4/25 22:44:43
最开始时这两个物品都没有取
水木清华 2014/4/25 22:44:50
哦
a654889339-九野 2014/4/25 22:44:55
所以是这样!mark[i] && !mark[i^1]
a654889339-九野 2014/4/25 22:45:05
然后随便取一个嘛
水木清华 2014/4/25 22:45:09
嗯
a654889339-九野 2014/4/25 22:45:19
所以就取为真的这个物品
水木清华 2014/4/25 22:45:28
对
a654889339-九野 2014/4/25 22:45:40
然后取了这个物品会导致有些物品必须取
22:45:56
水木清华 2014/4/25 22:45:56
嗯
a654889339-九野 2014/4/25 22:46:21
所以dfs看一下取了这个物品是否可行
水木清华 2014/4/25 22:46:30
哦 soga
a654889339-九野 2014/4/25 22:46:29
如果不可行就反悔
水木清华 2014/4/25 22:46:35
对的
a654889339-九野 2014/4/25 22:46:52
这些必须取的放到栈里
水木清华 2014/4/25 22:47:02
嗯
a654889339-九野 2014/4/25 22:47:03
不可行了就把栈里的都返回掉
a654889339-九野 2014/4/25 22:47:06
反悔
水木清华 2014/4/25 22:47:11
嗯
a654889339-九野 2014/4/25 22:47:15
这样就可以了
22:48:16
水木清华 2014/4/25 22:48:16
哦 i^1和i+1有关系么。。。。
水木清华 2014/4/25 22:48:30
你写的i^1 LRJ是i+1
a654889339-九野 2014/4/25 22:48:33
这个是看拆点的
a654889339-九野 2014/4/25 22:48:37
不一样
水木清华 2014/4/25 22:48:41
哦
水木清华 2014/4/25 22:48:58
i^1的实际含义是啥
a654889339-九野 2014/4/25 22:48:58
i^1 就是 真假2个状态互相取对立
水木清华 2014/4/25 22:49:10
哦 soga
a654889339-九野 2014/4/25 22:49:09
lrj那个就是 真到假
水木清华 2014/4/25 22:49:28
真到假是啥意思?
a654889339-九野 2014/4/25 22:49:55
把i点拆成2个点 i*2跟 i*2+1
a654889339-九野 2014/4/25 22:50:02
用i*2表示真呗
水木清华 2014/4/25 22:50:10
嗯 了解了
水木清华 2014/4/25 22:50:15
九野解释的真棒
a654889339-九野 2014/4/25 22:50:16
所以 (i*2)^1 = (i*2+1)
22:50:25
a654889339-九野 2014/4/25 22:50:25
我也是刚学
水木清华 2014/4/25 22:50:34
聊天记录=2-SAT神解释!
a654889339-九野 2014/4/25 22:50:49
水木清华 2014/4/25 22:50:59
九野好腻害
a654889339-九野 2014/4/25 22:51:39
弱菜滚粗了
献上暴力模板:(缩点的话去看论文,好像这个时间复杂度也不错?原谅我的无知。)
相关文章推荐
- 2-SAT DFS暴力求最小字典序的模板(Peaceful Commission)
- [2-SAT 字典序最小解 暴力dfs 模板题] HDU 1814 Peaceful Commission
- spring框架所有包解释(不看后悔)
- Codeforces 6D Lizards and Basements 2 dfs+暴力
- Windows防火墙无法打开的解决方案--不看后悔
- 暴力破解练习(五)排列组合模板二
- 【图论】【搜索】【DFS】邻接矩阵+pascal实现模板
- 2-sat [模板]
- POJ 3905 Perfect Election(2-sat 模板题,3级)
- hdu 2616 dfs回溯暴力
- 51nod 40 序列分解 暴力dfs or 折半+字典树
- STL + c++ + 模板 + 重要思维 + 基础算法+ 经典算法 + 经典实例 + 编程总结+ 心得+ 入门必会 + 知识点汇总。+string +dfs +bfs等重要算法
- 2-SAT求任意解模板
- Android makefile mk 重要参数解释及 通用模板编写
- hdu5696-分治-暴力剪枝-rmq-dfs-单调栈-区间的价值
- 简单很实用的聊天室(不看会后悔的哦!~~~)
- 关于“模板类作用域内部存在的模板形参推断”的解释
- 科目二学车秘密笔记!不看后悔!
- 搜索------深度优先DFS-----模板2:例1 例2 例3 例4
- VS2010连接SqlServer2008数据库,Oracle10g数据库,Mysql5.524数据库,Access2013数据库经典教程,不看肯定后悔