码迷,mamicode.com
首页 >  
搜索关键字:sat    ( 796个结果
POJ3207-Ikki's Story IV - Panda's Trick(2-SAT)
Ikki's Story IV - Panda's Trick Time Limit: 1000MS   Memory Limit: 131072K Total Submissions: 7841   Accepted: 2900 Description liympanda, one of Ikki’s friend, likes p...
分类:其他好文   时间:2014-08-07 19:16:01    阅读次数:316
POJ2723-Get Luffy Out(2-SAT)
Get Luffy Out Time Limit: 2000MS   Memory Limit: 65536K Total Submissions: 7456   Accepted: 2835 Description Ratish is a young man who always dreams of being a hero. One ...
分类:其他好文   时间:2014-08-07 18:55:20    阅读次数:286
HDOJ 3622 Bomb Game 2-sat
http://acm.hdu.edu.cn/showproblem.php?pid=3622题意:上个月写的,题目好像是说一对点要选一个引爆,引爆半径自己选,任意两圆不能相交,最后分数是所有圆的最小半径,求最大分数。分析:二分半径,2-sat判定可行性。 1 #include 2 #includ.....
分类:其他好文   时间:2014-08-07 00:13:27    阅读次数:303
HDU 3062 简单的2-SAT问题
在2-SAT,最让我纠结的还是添加有向线段的函数了void add_clause(int i,int a,int j,int b){ int m=2*i+a; int n=2*j+b; G[m^1].push_back(n); G[n^1].push_back(m);}这里a,b因为只有真假两种情况...
分类:其他好文   时间:2014-08-06 14:24:11    阅读次数:176
ZOJ 3717 Balloon (二分+2-sat)
http://acm.zju.edu.cn/onlinejudge/showProblem.do?problemCode=37172-sat版题对半径R进行二分,将二分得到的R用2-sat判,如果2R 3 #include 4 #include 5 #include 6 #includ...
分类:其他好文   时间:2014-07-26 14:48:00    阅读次数:260
Go Deeper(2010成都现场赛题)(2-sat)
G -Go DeeperTime Limit:3000MSMemory Limit:0KB64bit IO Format:%lld & %lluDescriptionHere is a procedure's pseudocode: go(int dep, int n, int m) ...
分类:其他好文   时间:2014-07-25 02:49:50    阅读次数:317
<unix网络编程> 的环境配置
的环境配置首先在网上下载UNP的库文件,然后就可以安装学了。我的系统环境:2.6.32-131.0.15.el6.i686 #1 SMP Sat Nov 12 17:30:50 CST 2011 i686 i686 i386 GNU/LinuxLSB Version: :base-4.0-ia32....
分类:其他好文   时间:2014-07-25 02:38:54    阅读次数:222
hdu3062 2-SAT模板
题意:中文题不用解释思路:这题讲的就是2-sat,如果想知道什么事2-sat可以看看大牛的http://blog.csdn.net/pi9nc/article/details/11849843,每个结点有两种状态,u结点的一个状态与v结点的一个状态矛盾,那么就还有另外两个状态时不矛盾的,那么我们把它...
分类:其他好文   时间:2014-07-23 22:29:57    阅读次数:256
POJ 3684 Priest John's Busiest Day 2-SAT+输出路径
强连通算法判断是否满足2-sat,然后反向建图,拓扑排序+染色。 一种选择是从 起点开始,另一种是终点-持续时间那个点 开始。 若2个婚礼的某2种时间线段相交,则有矛盾,建边。 容易出错的地方就在于判断线段相交。 若s1 输出路径的做法可以参考论文2-SAT解法浅析 #include #include #include #include #include #include #...
分类:其他好文   时间:2014-07-23 16:39:31    阅读次数:262
ZOJ 3717
这题是二分+2SAT.总结一下SAT题的特征。首先,可能会存在二选一的情况,然后会给出一些矛盾。据这些矛盾加边,再用SAT判定。这一道题好像不能直接用printf("%0.3lf"),因为这个是四舍五入的,这道题好像不能四舍五入,只好选减去0.0005再按这个格式输出了。 1 #include .....
分类:其他好文   时间:2014-07-22 22:49:32    阅读次数:214
796条   上一页 1 ... 74 75 76 77 78 ... 80 下一页
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!