码迷,mamicode.com
首页 >  
搜索关键字:sat    ( 796个结果
poj 2749 Building roads (二分+拆点+2-sat)
Building roads Time Limit: 2000MS   Memory Limit: 65536K Total Submissions: 6229   Accepted: 2093 Description Farmer John's farm has N barns, and there are some cows that...
分类:其他好文   时间:2014-06-30 10:55:18    阅读次数:146
poj 2723 Get Luffy Out 2-SAT
两个钥匙a,b是一对,隐含矛盾a->!b,b->!a 一个门上的两个钥匙a,b,隐含矛盾!a->b,!b->a(看数据不大,我是直接枚举水的,要打开当前门,没选a的话就一定要选b打开,没选b的话,就一定要选a打开) #include #include #include #include #include #include using namespace std; #define max...
分类:其他好文   时间:2014-06-30 09:41:26    阅读次数:220
hdu 4421 BitMagic
这是一道区域赛的题目,解法有许多,这边是2-sat的做法题目大意:自己看题分析:对于A[i]的每一位做2-SAT,判断是否可行。主要是建图:对于a&b=0 有 a->┐b, b->┐aa&b=1 ┐a->a ,┐b->ba|b=0 a->┐a,b->┐ba|b=1 ┐a->...
分类:其他好文   时间:2014-06-28 17:59:59    阅读次数:219
poj 3678 2-sat
2-sat经典建图,注意AND为1的时候,a=0要和a=1连边,b同理,因为此时a,b都不能为0。 OR为0时候,a=1要和a=0连边,b同理,因为此时a,b都不能为1。 #include #include #include #include #include #include using namespace std; #define maxn 1005 vector g[maxn*2]; b...
分类:其他好文   时间:2014-06-28 07:52:39    阅读次数:197
健身计划_from85to75
第一天没什么好写的,这半年也没看什么书,就写写未来的规划好了。当然是从最简单的健身计划开始写咯。关键词:弹性目标:减肥,上肢力量时间:3-4次/周(Thur,Fri,Sat,Sun),1h-1.5h/次Thur.PM:java == 1:55-3:30;prepare == 3:30-4:00;[3...
分类:其他好文   时间:2014-06-27 18:00:27    阅读次数:174
BZOJ 1997 Planar(2-SAT)
题目链接:http://61.187.179.132/JudgeOnline/problem.php?id=1997题意:给出一个无向图。已知该图存在一个包含n个顶点的哈密顿回路。判定该图是不是平面图。思路:圈将面分成内外两部分,则两条边同时在内部相交则同时在外部也是相交的。因此,必然是一个在内部一...
分类:其他好文   时间:2014-06-23 06:48:15    阅读次数:170
UVa 537 - Artificial Intelligence?
题目:再一句话里面有P,I,U中的2个已知量,求第三个未知量。(P=I*U) 分析:字符串。利用'='定位已知量,然后将'='后面的的数字和单位分别读入处理。 说明:注意单位有m(10^-3),k(10^3),M(10^6)的前缀,以及小数点的处理。 #include #include #include #include using namespace std; char Sat...
分类:其他好文   时间:2014-06-15 17:48:02    阅读次数:199
Exdata cell 节点配置时遇到的一个问题
问题描述: [celladmin@vrh4 ~]$ cellcli CellCLI: Release 11.2.3.2.0 - Production on Sat Jun 14 09:11:08 EDT 2014 Copyright (c) 2007, 2012, Oracle.  All rights reserved. Cell Efficiency Ratio: 1 CellCLI...
分类:其他好文   时间:2014-06-15 15:02:45    阅读次数:211
PHP正则表达式 - 基础
POSIX风格.at可以匹配cat sat mat #at点可以匹配任意字符[a-z]at[a-zA-Z]方括号中匹配一个集合类[^a-z]表示不属于该集合里的字符*表示可以被重复0次或更多次+表示可以被重复1次或更多次[[:alnum:]]+表示至少有一个字母字符()圆括号用于分割子表达式(ver...
分类:Web程序   时间:2014-06-12 14:02:18    阅读次数:247
796条   上一页 1 ... 76 77 78 79 80 下一页
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!