---2-sat

2-SAT题集

【HDU】3062 Party1824 Let'sgohome3622 BombGame3715 GoDeeper1815 Buildingroads1816 GetLuffyOut*1814 PeacefulCommission4115 EliminatetheConflict4421BitMagic================================================
liuqiyao_01·2013-04-13 16:00

POJ 2296 Map Labeler （ 2-SAT判定 + 二分查找 ）

分析：这道题和前天做的拿到反炸弹的题目很类似，都是用二分查找找最大值，然后一个一个用2-sat判断可行性这道题的代码，我写得实在太憋屈了，犯了很低级的错误，简直就是一个马虎神。最忌讳的就是知道算法
AClion·2013-03-23 13:00

Codeforces Round #167 (Div. 2) 272E Dima and Horses

思路：一开始想不通怎么判断无解，2-sat貌似也不能判断这种无解情况。后来仔细分析发现，对于任一马的摆放分三种情况：     1.他有一只敌对马。那么他放哪组都行。     2.他有两只敌对马。
gzh1992n·2013-02-20 15:00

POJ 3683 Priest John's Busiest Day

思路：2-sat模版题。设婚礼开始时启动仪式为A，反之为A'。如果A与B有冲突，那么连接A——B'，
gzh1992n·2013-02-20 14:00

CF 272E Dima and Horses（2-SAT变形）

很显然就是2-SAT问题。因为每个点虽多有3个敌对点，所以，总是有解的。代
AClion·2013-02-14 11:00

端正学习态度

昨天参加了CF的比赛，结果很糟糕第一题没有说的，第二题，一看是数论，果断慌张了，第三看那么长，又很不想读结果去看E题，想了一会，感觉有点像2-SAT，但是看数据那么大，就又返回去了，结果接着看B题，其实
AClion·2013-02-14 10:00

La3211 Now or Later（2-SAT判定+二分法)

题目:n架飞机，每架飞机的降落时间有两个选择，一个为早点降落，另一个为晚点降落；求两架飞机降落时间差的最小值的最大值（就是怎么安排，使得所有飞机降落的时间差的最小值尽量大）输入：一个n，代表飞机数目；接下来n行，表示每架飞机降落的两个时间分析：最小值尽量大，用二分查找；对于查到一个最小值t，如果任意两个时间差小于t，那么这两架飞机就不能同时降落，由此产生了条件就是时间差 #include #inc
AClion·2013-02-13 00:00

2-SAT 学习笔记

今天学习了2-SAT算法简单说一下对个算法的理解首先它要解决的问题是：（以我个人理解）有n个物品，拿或不拿，两个状态；有m个条件，每个条件都限制怎么个拿法，比如，如果那物品1，那么一定不能拿物品3，或者要
AClion·2013-02-12 23:00

【研究总结】2-sat问题

序言最近花了一点心思研究2-sat模型，看了很多论文博客等等，也在POJ上做了一点题。
jarjingx·2013-01-20 11:12

【研究总结】2-sat问题

序言    最近花了一点心思研究2-sat模型，看了很多论文博客等等，也在POJ上做了一点题。
JarjingX·2013-01-20 11:00

【代码】POJ 3683

//题目来源：POJ3683 //题目大意：有n对新人要举行仪式，每对都有两个时间段可以选择，问是否可以所有新人的仪式时间不重叠 //解决方法：2-sat的一眼题，把仪式可以选择的两个时间段看成两个点，
JarjingX·2013-01-18 21:00

【代码】POJ 3678

//题目来源：POJ3678 //题目大意：有很多点可取值0或1，它们之间有很多边为0或1，规定每条边由端点（xor，and，or）得到，求是否可行 //解决方法：每个点的取值只有两种情况，非常符合2-
JarjingX·2013-01-18 21:00

【代码】POJ 3648

//题目来源：POJ3648 //题目大意：有n对夫妻参加婚礼，现安排座位，已经某些人不能同时坐在新娘的对面，且夫妻不可同侧，求可行方案 //解决方法：仍然2-sat建图解决 //特别注意：新娘到新郎要连边
JarjingX·2013-01-18 21:00

【代码】POJ 3207

//题目来源：POJ3207 //题目大意：圆上顺序排列n个点，现要在一些点间连边，规定边只能在圆内或圆外，求有没有可能不相交 //解决方法：连边只能在里面或者外面，这就是2-sat问题，直接缩点判断即可
JarjingX·2013-01-18 21:00

【代码】POJ 2749

题目来源：POJ2749 //题目大意：有两点坐标已知，现要在坐标系上各点与两点之一建立路径，已知某些点不能建立在同一个点上，有些点必须建立在同一个点上，求最小曼哈顿距离 //解决方法：枚举最大值，然后用2-
JarjingX·2013-01-18 21:00

【代码】POJ 2723

//题目来源：POJ2723 //题目大意：m道门，每道门两把锁，有n对钥匙，对应2*n把锁，已知一对钥匙内取出一把另一把就会消失，求按顺序最多可开多少门 //解决方法：依然2-sat啦，只不过要带上二分答案
JarjingX·2013-01-18 20:00

POJ 3678 2-sat

#include #include #include #include usingnamespacestd; constintSIZE=2010; intn,m; inthead[SIZE],E; boolinstk[SIZE]; intstk[SIZE],top; intblk[SIZE],blkCnt; intlow[SIZE],dfn[SIZE],tim; structEDGE{intv
Tsaid·2012-12-08 18:00

POJ 3207 2-SAT

题意：给出一个圆，圆上有许多点，点与点之间有连线，连线要么在圆内，要么在圆外。现在给出所有连线的两个端点，判断这些线能否不相交？#include #include #include #include usingnamespacestd; constintSIZE=5010; intn,m; inte[SIZE][2]; inthead[SIZE],E; boolinstk[SIZE]; int
Tsaid·2012-12-08 00:00

2-sat&&http://poj.org/problem?id=3648

第一道2-sat题，各种坑，各种变态,~，只因为建图的时候多乘了个2，让跪了好几次，而为了找这个错误发了我一整天的时间，真心伤不起~~下面简单说说2-sat的解题步骤：1，构图，难点2，求有向图的最大强连通分量
smallacmer·2012-12-01 10:00

hdu1824

/*分析：  2-SAT基础题。  哦也，菜鸟第二道2-SAT~。  对于每个人，要么回家、要么不回家，所以：拆点~，将一个人活生生、血淋淋的-、-I拆成俩，既出现了a和!a。  
Ice_Crazy·2012-11-27 13:00

LightOJ 1407 - Explosion（2sat+枚举）

3xy表示两个人至少一个不去4xy表示两个人只能去一个，不能少1xyz 三个人至少去一个2xyz三个人至少一个不去思路：三个人有关系的枚举所有情况，3^5其余的用2-sat #include #includ
binwin20·2012-11-27 12:00

hdu3062

/*分析：  2-SAT果题~  第一道2-SAT，很早就知道有这玩意儿了，不过以为很难，就一直没敢看，不过今儿硬着头皮看完了，不就是缩点+拓扑排序么。。。-、-  数组开小了，1W-、-。
Ice_Crazy·2012-11-26 13:00

Hdu 3062 Party

思路：这是一道应用2-SAT来求解的问题，所谓的2-SAT是一种判定特定的逻辑表达式的方法，同样地，也存在3-SAT,4-SAT,不过这都是NP完全问题，没有多项式方法进行求解，所以，我们ACM/ICPC
Wall_F·2012-11-16 20:00

2-sat问题求解(hdu4421)

发现大家都在说２－ｓａｔ（本菜以前是没见过），于是乎就又看了大家说的伍昱的《由对称性解2-SAT问题》和赵爽的《2-SAT解法浅析》。
xiuyang_leiasp·2012-11-06 11:00

lightOJ 1251 - Forming the Council(2-sat)

题意：n个人参与投票，被选的人有m个，每一个人都有两个选择：让某个人当选，让某个人下台。。问是否存在一个方式，能够每一个选民的至少一个选择。思路：如果一个人的第一个选择没有被满足，则另一个选择一定要被满足、#include #include #include #include #include #include #include usingnamespacestd; constintN=20009
binwin20·2012-11-04 18:00

2-SAT题目总结

关于2-SAT(2-Satisfiability)资料的话就是伍昱的《由对称性解2-SAT问题》PPT和赵爽的《2-SAT解法浅析》PDF。
·2012-10-28 09:00

ZOJ 3656 Bit Magic（并查集）

problemCode=3656 其实并查集的做法和2-SAT类似。也是按位考虑，拆成两个点。如果某位确定了，如或为0，则两个
ACM_cxlove·2012-10-22 18:00

hoj 1917 2-sat 模板题

#include#include#include#include#include#include#include#include#include#include#include#include#include#include#include#defineiinf2000000000#definelinf1000000000000000000LL#definedinf1e200#defineeps1
lawrence_jang·2012-10-17 09:08

hoj 1917 2-sat 模板题

#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #defineiinf2000000000 #definelinf1000000000000000000LL #definedin
Lawrence_Jang·2012-10-17 09:00

poj 2723 2-sat

2-sat建图按照用与不用拆点#include #include #include #include #include #include #include #include #include #include
Lawrence_Jang·2012-10-16 22:00

2-sat Katu puzzil

KatuPuzzleTimeLimit:1000MS MemoryLimit:65536KTotalSubmissions:5833 Accepted:2110DescriptionKatuPuzzleispresentedasadirectedgraphG(V,E)witheachedgee(a,b)labeledbyabooleanoperatorop(oneofAND,OR,XOR)anda
lethic·2012-10-16 21:00

zoj 3656 Bit Magic【2-sat】【2012 长春现场赛】

题目大意：给定数组b[][],b数组是有下面代码生成的voidcalculate(inta[N],intb[N][N]){ for(inti=0;i #include #include #include usingnamespacestd; constintinf=1b e[k].v=b; e[k].nex=head[a]; head[a]=k;k++; } intdfn[nMax],low[n
wukonwukon·2012-10-16 21:00

poj 2296 Map Labeler

很显然的2-sat模型每个城市的label可以是在上面或者在下面2分答案+2-sat求解即可关于建图可以通过更多的预处理来简化这个过程只要考虑坐标系内相交的两个正方形的特点即可，拆点可以很好的预处理#include
Lawrence_Jang·2012-10-16 12:00

POJ 3678 2-SAT 第一题

典型的2-SAT问题。将点s代表0，则s+n代表1。
kdqzzxxcc·2012-10-15 21:00

完整版2-sat模板

rt#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #defineiinf2000000000 #definelinf1000000000000000000LL #defined
Lawrence_Jang·2012-10-15 21:00

poj 3683 2-sat

poj3683 2-sat 算法很容易想到建图：将每个婚礼可行2个区间建立左右界N个婚礼2*N个区间 然后根据区间相交的矛盾建立新边这里求解可行解比较复杂最好自己写一下模板#include #include
Lawrence_Jang·2012-10-15 21:00

2-sat POJ3678

[转载]题目链接： http://poj.org/problem?id=3678题目大意：有一个大小为N的集合={x1,x2..xn}，xi=0或1，现在给出它们之间的一些逻辑运算的结果(比如x1andx2=1)，逻辑运算有ANDORXOR三种，问是否存在一种满足所有条件的取值方案。分析：（这题开始我构图出错了，叫lin神看了下，他提出一个观点，如果类似u，v，1 AND这样的数据，说明u，v的1
lethic·2012-10-15 21:00

tarjan 边连通分量+2-sat 模板

#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #defineiinf2000000000 #definelinf1000000000000000000LL #definedin
Lawrence_Jang·2012-10-15 16:00

SRM 464 DIV1 500 2-sat 思路和hdu3622基本差不多

SRM464DIV1500#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #defineiinf2000000000 #definelinf1000000000000000000
Lawrence_Jang·2012-10-15 16:00

ZOJ 3656 Bit Magic(2-sat)

思路：2-sat，看到别人说用2-sat我才去做的，到比赛的时候不一定能想出用2-sat，而且，每一个整数32位的二进制数，要一位一位考虑，才不会mle；看别人的博客才做出来的。纠结啊。。比赛咋办。。
binwin20·2012-10-15 14:00

2012年ACM长春现场赛B题 2-sat

大致题意：给出下面一段代码很明显这段代码是用a[n]数组来计算出b[n][n]。voidcalculate(inta[N],intb[N][N]){ for(inti=0;ia',b->b'.aandb==0,这种情况a和b不能同时为1，所以连边a'->b,b'->a.aorb==1,这种情况a和b不能同时为0，所以连边a->b',b->a'.aorb==0,这种情况a和b必须同时为0，所以连边
Weiguang_123·2012-10-15 11:00

[2-sat][位运算]zoj 3656：Bit Magic

大致题意：    给出下面一段代码     很明显这段代码是用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
暴风雪·2012-10-15 09:00

ZOJ 3656 Bit Magic (2-Sat问题)

题意：b[i][j]与a[i],a[j]的关系如下。现在已知b，问是否存在对应的a，若存在输出YES，否则输出NOvoidcalculate(inta[N],intb[N][N]){ for(inti=0;i #include #include usingnamespacestd; #defineMAXN1010 intn; unsignedintb[510][510]; intm[1010][
Tsaid·2012-10-14 23:00

浅谈2—SAT问题

3我们从一道例题来认识2-SAT问题，并提出对一类2-SAT问题通用的解法。4Poi0106PeacefulCommission[和平委员会]：某国有n个党派，每个
ice_crazy·2012-10-08 17:23

poj 2723 Get Luffy Out(2-sat构图题)

GetLuffyOutTimeLimit: 2000MS MemoryLimit: 65536KTotalSubmissions: 6191 Accepted: 2327DescriptionRatishisayoungmanwhoalwaysdreamsofbeingahero.OnedayhisfriendLuffywascaughtbyPirateArlong.Ratishsetoffato
fp_hzq·2012-10-08 11:00

2-SAT总结

2-SAT总结【2-SAT问题】现有一个由N个布尔值组成的序列A，给出一些限制关系，比如A[x]ANDA[y]=0、A[x]ORA[y]ORA[z]=1等，要确定A[0..N-1]的值，使得其满足所有限制关系
ACM博客_kuangbin·2012-10-05 18:00

hdu 1815 Building roads（二分+2-sat判定）

BuildingroadsTimeLimit:10000/1000MS(Java/Others)    MemoryLimit:32768/32768K(Java/Others)TotalSubmission(s):208    AcceptedSubmission(s):66ProblemDescriptionFarmerJohn'sfarmhasNbarns,andtherearesomeco
fp_hzq·2012-10-05 16:00

hdu 3715 Go Deeper(二分+2-sat判定)

GoDeeperTimeLimit:4000/2000MS(Java/Others)    MemoryLimit:65536/65536K(Java/Others)TotalSubmission(s):988    AcceptedSubmission(s):351ProblemDescriptionHereisaprocedure'spseudocode:go(intdep,intn,intm
fp_hzq·2012-10-05 14:00

hdu 4115

简单2-sat方法一：找到矛盾项（选x不能选y）若c == 0{   //第u次与第v次相同            if(a[u] !
waitfor_·2012-10-04 00:00

poj 2296 Map Labeler(二分+2-sat判定)

MapLabelerTimeLimit: 1000MS MemoryLimit: 65536KTotalSubmissions: 1018 Accepted: 333DescriptionMapgenerationisadifficulttaskincartography.Avitalpartofsuchtaskisautomaticlabelingofthecitiesinamap;wheref
fp_hzq·2012-10-03 21:00
上一页 11 12 13 14 15 16 17 18 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他