2-sat
文章平均质量分 68
Weiguang_123
这个作者很懒,什么都没留下…
展开
-
2012年ACM长春现场赛B题 2-sat
大致题意: 给出下面一段代码 很明显这段代码是用a[n]数组来计算出b[n][n]。 void calculate(int a[N], int b[N][N]) { for (int i = 0; i < N; ++i) { for (int j = 0; j < N; ++j) { if (i == j) b[i][j] = 0; else if (i原创 2012-10-15 11:19:02 · 2016 阅读 · 0 评论 -
2-sat总结
2 – SAT 2 – SAT 就是2判定性问题,是一种特殊的逻辑判定问题。 例,n对东西,每对只能选一个(i0或i1),不能不选。即:A or _A = 1 , A xor _A = 1 还存在一些约束关系(i0,j0),表示i0不能跟j0一起选。那需连边 i0-> j1 如果选i0的话必须选j1 j0-> i1如果选j0的话必须选i1 表示了一种递推的关系:选哪个必选哪一个 一般转载 2012-07-12 22:51:08 · 624 阅读 · 0 评论 -
poj 2723(2-sat+二分答案)
题意:m个门,每个门上有两把锁,打开一个就可以通过 2n个钥匙,每两个绑在一起,只能选用一个 ,选了一个,另一个就被废弃。 问最多可以通过几扇门? 2-sat问题关键在建图,2-sat对每个事物都有两个选项 ,选和不选. 可以这么建: 每把钥匙有两个状态(用或不用),把这作为2-sat的两个选项 然后是加条件,a、b绑在一原创 2012-07-12 22:27:07 · 1600 阅读 · 0 评论 -
poj 3207(2-sat判断)
扯蛋的题意:平面上有一个圆,圆的边上按顺时针放着0..n-1共n个点。现在要连m条边,比如a,b,那么a到b可以从圆的内部连接,也可以从圆的外部连接。给你的信息中,每个点最多只能连一条边。问是否可以连接这m条边,使这些边都不相交。 把边看成2-sat,因为每一条边只有两种状态,在圆内和园外两种可能,这样就满足了2-sat状态了。每两条ab和cd边可能相交情况为: (c<a &原创 2012-07-12 17:12:53 · 1164 阅读 · 0 评论 -
2-sat(2011年成都现场赛)
/* 在2-sat中,i和j冲突,连两条有向边i-->j',j-->i'。 那么当i和j要求不同时,如果i和j相同,就表示i和j冲突,连两条有向边i-->j',j-->i'。 那么当i和j要求相同时,如果i和j不同,就表示i和j冲突,连两条有向边i-->j',j-->i'。 求强连通分量,如果i和i'在同一SCC中,则无解,输出no,否则输出yes。 */ #include #inc原创 2012-09-07 13:04:41 · 783 阅读 · 0 评论 -
poj 3684(2-sat解输出)拓扑+染色
http://blog.csdn.net/sdj222555/article/details/7718821 回头再看看,还不是很理解,染色 转: 这题的题意稍不留神就会看错,注意那个keep ...from 是啥意思 所以新娘看不见本排的情况,只能看见对面,要求不能看见不正常关系的一对。并且夫妇不能同时坐在一边。 很明显的模型了,由于新娘看的是对面的情况,所以就需要对新娘对面的人来分析转载 2012-07-12 13:22:53 · 793 阅读 · 0 评论 -
poj 3678(2-sat入门)
我的第一道2-cat题 2-cat问题解答:http://wenku.baidu.com/view/31fd7200bed5b9f3f90f1ce2.html http://hi.baidu.com/godforbidyy/blog/item/40efcc33e3bfc409eac4af4f.html 转:(2-cat解题技巧) 1.构图(重点+难点) 2.求图的极大强连通子图 (模板)原创 2012-07-11 02:19:52 · 893 阅读 · 1 评论