码迷,mamicode.com
首页 >  
搜索关键字:sat    ( 796个结果
POJ2723-Get Luffy Out(2-SAT)
题意:有m扇门,每个门上有两把锁,打开任意一个锁都可以打开这扇门。门要按顺序一个一个打开。 现在有n对不同的钥匙,每对钥匙只能用其中一个,问最多能打开多少门。 题解:对钥匙建图,门是限制条件来建边。每加一扇门就多一个限制条件,直到2-sat不满足为止。当然二分会更快一些。有一个trick就是门上的两 ...
分类:其他好文   时间:2016-09-20 13:54:03    阅读次数:149
POJ 3678--Katu Puzzle(2-SAT)
感觉这题比较裸,表现出了2-sat的本质。 不过构图我想的还是太简单了,a&b=1我只连了 a1->b1,b1->a1,但其实是不对的。这样连,a0和b0可以同时选到。应该连a0->a1,b0->b1这样就能保证a0,b0都不被选到。或运算同理。 ...
分类:其他好文   时间:2016-09-19 19:54:25    阅读次数:140
POJ 3648-Wedding(2-SAT)
题面很邪恶啊。。。 一对新人请n-1对夫妻吃饭,人们坐在一张桌子的两侧,每一对互为夫妻关系的人必须坐在桌子的两侧。而且有些人两两之间会存在“通奸”关系,通奸关系不仅在男女之间,同性之间也有。新娘对面不可以座有通奸关系的人。判断是否存在可行的排座方案,存在的话输出和新娘同一排的人。 因为新娘对面不可以 ...
分类:其他好文   时间:2016-09-19 19:44:31    阅读次数:201
2016年9月16日 星期五 --出埃及记 Exodus 17:12
2016年9月16日 星期五 --出埃及记 Exodus 17:12When Moses' hands grew tired, they took a stone and put it under him and he sat on it. Aaron and Hur held his hands ...
分类:其他好文   时间:2016-09-16 08:56:48    阅读次数:171
Spring定时器的时间表达式
字段 允许值 允许的特殊字符 秒 0-59 , - * / 分 0-59 , - * / 小时 0-23 , - * / 日期 1-31 , - * ? / L W C 月份 1-12 或者 JAN-DEC , - * / 星期 1-7 或者 SUN-SAT , - * ? / L C # 年(可选 ...
分类:编程语言   时间:2016-09-13 11:29:16    阅读次数:217
一年成为Emacs高手(像神一样使用编辑器)
作者:陈斌(redguardtoo) 版本号:20140329 更新时间: 2014-03-29 Sat 原创时间: 2012-01-31 Tue 版权:本文采用以下协议进行授权,自由转载 - 非商用...
分类:系统相关   时间:2016-09-03 18:27:08    阅读次数:388
C总结
格式化描述串: char %c; short int %hd; int %d; long int %ld; float %f; double %lf; 枚举: 例 enum weekday{Mon, Tue, Wed, Thr, Fri, Sat, Sun} a, b, c; weekday是枚举名 ...
分类:其他好文   时间:2016-08-30 21:07:19    阅读次数:217
NOIp2010 关押罪犯
二分+2-SAT 先预处理出所有的v,然后离散化一下,在那个的基础上二分,对于每次二分出的值约束边权超过所二分出的边权的两点。 1 //OJ 1322 2 //by Cydiater 3 //2015.8.26 4 #include <iostream> 5 #include <cstdio> 6 ...
分类:其他好文   时间:2016-08-26 15:11:01    阅读次数:252
uva 1391 Astronauts(2-SAT)
...
分类:其他好文   时间:2016-08-24 15:53:55    阅读次数:158
uva 1146 Now or late (暴力2-SAT)
...
分类:其他好文   时间:2016-08-24 12:56:47    阅读次数:166
796条   上一页 1 ... 37 38 39 40 41 ... 80 下一页
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!