码迷,mamicode.com
首页 >  
搜索关键字:sat    ( 796个结果
Map Labeler (poj 2296 二分+2-SAT)
题意:平面上有n个点,每个点画一个正方形并且该点要落在正方形上边或者下边的中间,问满足条件的最大正方形的边长是多少。 思路:二分边长mid,建图用2-SAT作为判断条件。 i表示画在上面,~i表示画在下面 if|xi-xj|>=mid continue; else if |yi-yj|>=2*mid continue; else if |yi-yj|==0 then i->~j,~i->j,j->~i,~j->i; else if |yi-yj|>0 then ~i->i,j->~j; else |yi-y...
分类:其他好文   时间:2015-08-10 20:01:19    阅读次数:159
Katu Puzzle (poj 3678 2-SAT)
题意:n个点给出m个关系(AND,OR,XOR),问是否存在解。 思路:2-SAT建图 a AND b = 1: ~x->x,~y->y (两个数必须全为1) a AND b = 0: y->~x,x->~y (两个数至少有一个为0) a OR b = 1:~x->y,~y->x (两个数至少有一个为1) a OR b = 0: x->~x,y->~y (两个数必须全为0) a XOR b = 1:x->~y,y->~x,~y->x,~x->y (两个数必须不同) a XOR b = 0:x->y,y->x...
分类:其他好文   时间:2015-08-10 16:15:28    阅读次数:100
Ikki's Story IV - Panda's Trick (poj 3207 2-SAT)
题意:有n个点在一个圆上,标号0~n-1,有m条线段告诉两个端点的标号,每条线段可以在画在圆内也可以画在圆外,问这m条线段能否不向交。 思路:2-SAT模板题,把每条线段当做节点,每条线有两种状态(圆内和圆外,两者只能取其一),建图后求强连通,看 i 和 i‘ 是否在同一个连通分量,若在则无解,否则有解。 参考:由对称性解2-SAT问题 还有 kuangbin神牛的总结点击打开链接...
分类:其他好文   时间:2015-08-10 14:55:58    阅读次数:149
HDU - 3622 Bomb Game(二分+2-SAT)
题目大意:玩一个放炸弹游戏,有N次放炸弹的机会,每次放炸弹时,你都有两个位置可以选择,问如何放炸弹,能使爆炸的炸弹的半径的最小值最大(炸弹爆炸半径可以控制,但是爆炸形成的圈不能有重叠部分)解题思路:最小值最大,二分 二分半径,如果有不满足的点,就建立起限制边,接着判断能否完成染色即可#include #include #include ...
分类:其他好文   时间:2015-08-10 02:00:07    阅读次数:105
HDU - 1824 Let's go home(2-SAT)
题目大意:小时候,乡愁是一枚小小的邮票,我在这头,母亲在那头。 ―― 余光中 集训是辛苦的,道路是坎坷的,休息还是必须的。经过一段时间的训练,lcy决定让大家回家放松一下,但是训练还是得照常进行,lcy想出了如下回家规定,每一个队(三人一队)或者队长留下或者其余两名队员同时留下;每一对队员,如果队员A留下,则队员B必须回家休息下,或者B留下,A回家...
分类:其他好文   时间:2015-08-10 01:58:31    阅读次数:178
UVALive - 4452 The Ministers' Major Mess(2-SAT)
题目大意:有n个人对m个方案投票,每个人最多只能对其中的4个方案投票(其他的相当于弃权),每一票要么支持要么反对。问是否存在一个最终决定,使得每个投票人都有超过一半的建议被采纳,在所有可能的最终决定中,哪些方案的态度是确定的解题思路:参考了一下别人的思路,学习了 当想要确定某一个状态(i)时,可用用他的相反状态(i^1)和该状态建立一条边,那样的话,每当dfs到他的相反状态,就会报错了在理解了上面...
分类:其他好文   时间:2015-08-09 17:13:31    阅读次数:96
UVA - 11294 Wedding(2-SAT)
题目大意:有N-1对夫妻参加一个婚宴,所有人都坐在一个长长的餐桌左侧或者右侧,新郎和新娘面做面坐在桌子的两侧。由于新娘的头饰很复杂,她无法看到和她坐在同一侧餐桌的人,只能看到对面餐桌的人。任意一对夫妻不能坐在桌子的同侧,另有有m对人吵过架,而新娘不希望看到两个吵过架的人,问如何安排这些座位解题思路:设mark[2*i]被标记时表示的是第i对夫妻的妻子跟新娘坐在一起,mark[2 * i + 1]被标...
分类:其他好文   时间:2015-08-08 20:00:54    阅读次数:152
UVALive - 3211 Now or later (2-SAT)
题目大意:有n架飞机需要着陆。每架飞机有两种选择,早着陆或者晚着陆,二选其一 现在为了保证飞机的着陆安全,要求两架着陆的飞机的时间间隔的最小值达到最大解题思路:最小值最大,二分枚举 设第i架飞机选择着陆方式为a,第j架飞机选择着陆的方式为b,枚举的时间间隔为mid 如果abs(plane[i][a] - plane[j][b]) < mid,表明这两架飞机以这样的着陆方式是矛盾的,所以只能二选...
分类:其他好文   时间:2015-08-08 13:38:59    阅读次数:91
UVALive - 3713 Astronauts(2-SAT)
题目大意:有A,B,C 3个任务要飞配给n个宇航员,现给出n个宇航员的年龄和每种任务的执行要求。 A任务只有年龄大于等于平均年龄的宇航员才可以执行 B任务只有年龄小于平均年龄的宇航员才可以执行 C任务任何宇航员都可以执行 现在有M对讨厌关系,互相讨厌的宇航员不能执行同一种任务,现要求找出一个满足上述所有要求的任务分配方案解题思路:年龄大于等于平均年龄的宇航员只能执行A任务或者C任务,假设执...
分类:其他好文   时间:2015-08-08 13:37:52    阅读次数:118
Centos php项目发布问题
LAMP环境,项目运行错误日志路径:/var/log/httpd错误日志例如:[Sat Jul 11 16:51:24 2015] [error] [client 192.168.17.3] PHP Warning: include_once(): open_basedir restriction....
分类:Web程序   时间:2015-08-06 10:38:56    阅读次数:192
796条   上一页 1 ... 50 51 52 53 54 ... 80 下一页
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!