会员
周边
众包
新闻
博问
闪存
赞助商
Chat2DB
所有博客
当前博客
我的博客
我的园子
账号设置
会员中心
简洁模式
...
退出登录
注册
登录
AC_Von
hello world ~
首页
新随笔
联系
订阅
管理
随笔 - 427
文章 - 2
评论 - 89
阅读 -
36万
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
阅读(229)
评论(0)
推荐(0)
编辑
公告
昵称:
AC_Von
园龄:
13年8个月
粉丝:
151
关注:
20
<
2025年2月
>
日
一
二
三
四
五
六
26
27
28
29
30
31
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
1
2
3
4
5
6
7
8
搜索
随笔分类
(523)
ACM_YY(19)
DP(83)
DS(24)
DS——Trie树(7)
DS——并查集(9)
DS——线段树&&数状数组(27)
SRM&&CF(16)
Step by Step(21)
Water~(10)
比赛(28)
博弈论(15)
汇编语言(2)
计算几何(19)
模拟(10)
排序(9)
散列表(7)
数学(48)
搜索(21)
算法笔记(55)
贪心(7)
图论(8)
图论——2-SAT(4)
图论——二分图(5)
图论——强连通&双连通(12)
图论——网络流(11)
图论——最短路&&K短路&&生成树问题(25)
杂七杂八(15)
字符串(6)
更多
随笔档案
(427)
2014年10月(1)
2014年3月(2)
2013年9月(1)
2013年6月(9)
2013年4月(3)
2013年3月(6)
2013年2月(5)
2013年1月(10)
2012年12月(4)
2012年11月(11)
2012年10月(11)
2012年9月(12)
2012年8月(26)
2012年7月(18)
2012年6月(9)
2012年5月(12)
2012年4月(20)
2012年3月(22)
2012年2月(21)
2012年1月(10)
2011年12月(12)
2011年11月(42)
2011年10月(32)
2011年9月(32)
2011年8月(70)
2011年7月(26)
更多
Link
Moon
sha 崽
英雄哪里出来
Matrix67
TANKY WOO
战友gbx
阅读排行榜
1. 总结几种结构体初始化的方法(30307)
2. 矩阵快速幂 学习笔记(22996)
3. Miller-Rabin素数测试学习笔记(15544)
4. 汇编语言实现 十进制到十六进制转换(10915)
5. Trie图(DFA),AC自动机(10517)
6. 最小树形图(朱-刘算法)(10316)
7. 组合数取模 Lucas定理(9729)
8. 无向图、有向图的最小环(8179)
9. 邻接矩阵存储的无向图深度优先(DFS)广度优先(BFS)遍历(5777)
10. 并查集路径压缩方法(5686)
评论排行榜
1. 矩阵快速幂 学习笔记(9)
2. 2013年省赛总结(6)
3. Miller-Rabin素数测试学习笔记(6)
4. SDUT 2412 (单调队列 + dp)(5)
5. 记一个简洁的归并排序实现模板(4)
点击右上角即可分享