2-SAT

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

MapLabelerTimeLimit: 1000MS MemoryLimit: 65536KTotalSubmissions: 1018 Accepted: 333DescriptionMapgenerationisadifficulttaskincartography.Avitalpartofsuchtaskisautomaticlabelingofthecitiesinamap;wheref
fp_hzq·2012-10-03 21:00

hdu 3622 Bomb Game（二分+2-sat判定）

BombGameTimeLimit:10000/3000MS(Java/Others)    MemoryLimit:32768/32768K(Java/Others)TotalSubmission(s):2281    AcceptedSubmission(s):766ProblemDescriptionRobbieisplayinganinterestingcomputergame.Thega
fp_hzq·2012-10-03 20:00

poj 3678 Katu Puzzle（2-sat应用）

KatuPuzzleTimeLimit: 1000MS MemoryLimit: 65536KTotalSubmissions: 5727 Accepted: 2067DescriptionKatuPuzzleispresentedasadirectedgraph G(V, E)witheachedge e(a, b)labeledbyabooleanoperator op (oneofAND,O
fp_hzq·2012-10-03 19:00

poj 3207 Ikki's Story IV - Panda's Trick(2-sat简单应用)

Ikki'sStoryIV-Panda'sTrickTimeLimit: 1000MS MemoryLimit: 131072KTotalSubmissions: 6038 Accepted: 2221Descriptionliympanda,oneofIkki’sfriend,likesplayinggameswithIkki.TodayafterminesweepingwithIkkiandw
fp_hzq·2012-10-02 20:00

hdu 1824 Let's go home(2-sat入门)

Let'sgohomeTimeLimit:10000/1000MS(Java/Others)    MemoryLimit:32768/32768K(Java/Others)TotalSubmission(s):820    AcceptedSubmission(s):297ProblemDescription小时候，乡愁是一枚小小的邮票，我在这头，母亲在那头。                  
fp_hzq·2012-10-02 19:00

hdu 3062 Party（2-sat入门）

PartyTimeLimit:2000/1000MS(Java/Others)    MemoryLimit:32768/32768K(Java/Others)TotalSubmission(s):2165    AcceptedSubmission(s):707ProblemDescription有n对夫妻被邀请参加一个聚会，因为场地的问题，每对夫妻中只有1人可以列席。在2n个人中，某些人之间有
fp_hzq·2012-10-02 19:00

2sat[专题]

8d2c066065a2e92c68105b12http://www.cnblogs.com/ambition/archive/2011/07/30/2-sat.html  这个比较推荐照这个刷，这个2-
jxy859·2012-09-20 20:00

POJ 3683 Priest John's Busiest Day（2-SAT）

在婚礼的开始或者结束，2选1，可以用2-sat。输出婚礼的时间很麻烦，可别人的报告看了好久才勉强看懂。。。。
binwin20·2012-09-19 22:00

HDU 3622 Bomb Game（2-SAT）

一般的2-sat #include #include #include #include #include #include #include usingnamespacestd; constintINF
binwin20·2012-09-18 21:00

tarjan 2-sat: party

PartyTimeLimit:1000MSMemoryLimit:32768KB64bitIOFormat:%I64d&%I64uSubmitStatusDescription有n对夫妻被邀请参加一个聚会，因为场地的问题，每对夫妻中只有1人可以列席。在2n个人中，某些人之间有着很大的矛盾（当然夫妻之间是没有矛盾的），有矛盾的2个人是不会同时出现在聚会上的。有没有可能会有n个人同时列席？Inputn
lethic·2012-08-06 09:49

tarjan 2-sat: party

PartyTimeLimit:1000MS    MemoryLimit:32768KB    64bitIOFormat:%I64d&%I64uSubmitStatusDescription有n对夫妻被邀请参加一个聚会，因为场地的问题，每对夫妻中只有1人可以列席。在2n个人中，某些人之间有着很大的矛盾（当然夫妻之间是没有矛盾的），有矛盾的2个人是不会同时出现在聚会上的。有没有可能会有n个人同时列
lethic·2012-08-06 09:00

POJ3648-2SAT解的求得

算法参考: 2-SAT解法浅析 华中师大一附中赵爽#include #include #include #include #include #include usingnamespacestd; constintNN
yihuikang·2012-07-31 10:00

2-SAT的一些小结

///1 2-SAT问题，通俗的说就是有n对点（2n个点），从每对点中选出一个点，共选出n个点，而且要满足若干个这样的条件：某两点不能同时被选出。   
lethic·2012-07-30 22:00

2-SAT题集

【HDU】3062Party1824Let'sgohome3622BombGame3715GoDeeper1815Buildingroads1816GetLuffyOut*1814PeacefulCommission4115EliminatetheConflict4421BitMagic========================================================
shahdza·2012-07-24 13:00

2-sat总结

2–SAT2–SAT就是2判定性问题，是一种特殊的逻辑判定问题。例，n对东西，每对只能选一个（i0或i1），不能不选。即：Aor_A=1,Axor_A=1还存在一些约束关系(i0,j0)，表示i0不能跟j0一起选。那需连边i0->j1如果选i0的话必须选j1j0->i1如果选j0的话必须选i1表示了一种递推的关系：选哪个必选哪一个一般题目给的都是一对一对的东西，二选一，不能不选。本身那几对东西是没
Weiguang_123·2012-07-12 22:00

poj 2723(2-sat+二分答案)

2-sat问题关键在建图，2-sat对每个事物都有两个选项,选和不选.
Weiguang_123·2012-07-12 22:00

poj 3207(2-sat判断)

把边看成2-sat,因为每一条边只有两种状态，在圆内和园外两种可能，这样就满足了2-sat状态了。每两条ab和cd边可能相交情况为：(c #include #in
Weiguang_123·2012-07-12 17:00

poj 3684(2-sat解输出)拓扑+染色

http://blog.csdn.net/sdj222555/article/details/7718821 回头再看看,还不是很理解,染色 转: 这题的题意稍不留神就会看错，注意那个keep...from是啥意思 所以新娘看不见本排的情况，只能看见对面，要求不能看见不正常关系的一对。并且夫妇不能同时坐在一边。 很明显的模型了，由于新娘看的是对面的情况，所以就需要对新娘对面的人来分析建图
Weiguang_123·2012-07-12 13:00

poj 3678（2-sat入门）

我的第一道2-cat题 2-cat问题解答：http://wenku.baidu.com/view/31fd7200bed5b9f3f90f1ce2.html http://hi.baidu.com/godforbidyy/blog/item/40efcc33e3bfc409eac4af4f.html 转：（2-cat解题技巧） 1．构图（重点+难点） 2．求图的极大强连通子图（模板）
Weiguang_123·2012-07-11 02:00

HDU 3622 二分+2-sat

这题二分的话，二分半径可以过，但是二分半径的平方就会跪，不知道为什么#include #include #include #include #include #include #include #include #defineMAXN255 #defineMAXM50005 #defineINF500000005 #defineeps1e-7 usingnamespacestd; structP
sdj222555·2012-07-06 12:00

COJ 1253 二分+2-sat判定

X城的精神病院只有两个病房，一共关着N名病人，编号分别为1~N。病人之间的关系有时极不和谐。很多病人之间甚至积怨已久，如果客观条件具备则随时可能爆发冲突。我们用“不和谐值”（一个正整数值）来表示某两名病人之间的仇恨程度，不和谐值越大，则这两名病人之间的积怨越多。如果两名不和谐值为c的病人被关在同一病房，他们俩之间会发生摩擦，并造成影响力为c的冲突事件。每年年末，院里会将本年内病房中的所有冲突事件按
sdj222555·2012-07-05 21:00

POJ 2749 二分+2-sat判定

这题还是挺好想建图的二分判定就行了#include #include #include #include #include #include #include #defineMAXN2005 #defineMAXM50005 #defineINF1000000000 usingnamespacestd; vectorg[MAXN]; intn,A,B; inthatex[MAXN],hatey[M
sdj222555·2012-07-05 21:00

POJ 3683 2-sat 输出解

题意方法和之前的3648基本一样注意输出解的方式，分成两部分的点集，应该遍历其中一个点集，根据染色判断选择该点集的点还是另一个点集的点#include #include #include #include #include #include #include #defineMAXN5005 #defineMAXM50005 #defineINF1000000000 usingnamespacest
sdj222555·2012-07-05 18:00

POJ 3648 2-sat 输出解

很明显的模型了，由于新娘看的是对面的情况，所以就需要对新娘对面的人来分析建图，n对夫妇是2*n个点，n对夫妇每对夫妇只能挑一个到新娘对面坐下，这很符合2-sat的初始的状态。
sdj222555·2012-07-05 15:00

POJ 2723 二分+ 2-sat 判定

要打开一个门，必须保证他序号之前的所有门都打开了，类似于一关一关的往里闯然后思路的话，由于是必须顺序的开门，所以可以进行二分枚举答案，如果枚举的数为m,则我们要判定的就是1~m的门是否能被打开，就要用2-
sdj222555·2012-07-04 11:00

POJ 3207 2-sat 判断是否有合法解

---------------------------------------------------------------------------------------------------------以下转载自http://cainiao2hao.blogcn.com/articles/poj3207.html平面上，一个圆，圆的边上按顺时针放着n个点。现在要连m条边，比如a，b，那么a
sdj222555·2012-07-03 21:00

POJ 3678 Katu Puzzle 2-sat 判断是否有合法解

建图如下AND 1 a0->a1,b0->b1AND 0 a1->b0,b1->a0OR 1 a0->b1,b0->a1OR 0 a1->a0,b1->b0XOR 1 a0->b1,a1->b0,b1->a0,b0->a1XOR 0 a0->b0,b0->a0,a1->b1,b1->a1需要注意的是，如果a,b的值已经确定，比如说and1操作的时候，a,b的值都只能是1，那么需要加 a0->a1,
sdj222555·2012-07-03 15:00

poj 3207 Ikki's Story IV - Panda's Trick 2-sat+建图

/* 2-sat 题意：一个环上有n个点，有m对点之间有连接，连接可以在环内，也可以在环外，问这些连接是否相交 重点还是在建图，每个连接作为一个对象，他有两个状态，在环内，在环外 若两连接相交，则必是一个在环内
qq172108805·2012-05-26 20:00

poj 2723 Get Luffy Out 二分答案+2-sat+如何建图

/*2-sat 题意：m个门，每个门上有两把锁，打开一个就可以通过 2n个钥匙，每两个绑在一起，只能选用一个 问最多可以通过几扇门？
qq172108805·2012-05-26 18:00

poj 3648 Wedding+2-sat+SCC+缩点+拓扑排序

/* 2-sat问题,题意：有对情侣结婚，请来n-1对夫妇，算上他们自己共n对，编号为0~~n-1,他们自己编号为0 所有人坐在桌子两旁，新娘不想看到对面的人有夫妻关系或偷奸关系，若有解，输出一组解，无解输出
qq172108805·2012-05-25 21:00

求强连通分量的三种算法——Kosaraju, Tarjan, Gabow

该算法的优点在于，最后得到的节点是按照拓扑序组织好的，在求解2-SAT的过
chenhq1991·2012-05-25 01:00

HDU_4115 Eliminate the Conflict 2-Sat

pid=4115去年成都现场赛的一道题，那时候还不知道什么叫2-Sat，今天终于1Y。
ivan_zjj·2012-05-05 22:00

POJ_2749 Building roads 2-Sat

思路："最大值最小化"的问题都可以用“二分法”，本题也不例外，其次就是建图用2-sat求解，建图的规则是：如果d1[i]+d1[j]>mid则说明i号牛棚和j号牛棚不能同时连接到0号中转站，则加边(i,
ivan_zjj·2012-05-05 18:00

HDU_1824 Let's go home 2-Sat

思路：2-Sat问题，对于每个队，留校的要么是队长，
ivan_zjj·2012-05-05 16:00

POJ_2723 Get Luffy Out 2-Sat

http://poj.org/problem?id=2723题意：有2n把钥匙，分成2组，给你每组的钥匙信息，并且每组的钥匙只能用一个。有m个门，每个门有2个锁，只要打开一个锁这个门就开了。（顺序遇见m个门）问你最多能够打开多少个门。思路：因为门是按顺序打开的，所以用二分枚举能打开的门数，然后判断是否可行是比较好的选择。建图主要从下面考虑：对于第i扇门上的两把锁，要是两把锁同时打开，要么其中一把打
ivan_zjj·2012-05-05 14:00

POJ_3648 Wedding 2-Sat

思路：2-Sat问题。建图的方法是：0号夫妻中，新郎必须在选，也就是说不能选新娘，我们就可以在新娘和新郎之间加一条边，说明要是选了
ivan_zjj·2012-05-05 13:00

POJ_3683 Priest John's Busiest Day 2-Sat

http://poj.org/problem?id=3683题意：有N场婚礼，每场婚礼有一个开始时间和结束时间，并且每场婚礼都会举行一个仪式，这个仪式需要有一个司仪，并且这个仪式要么就在婚礼的一开始就举行，要么就在婚礼快结束的时候举行。但是现在只有一个司仪，司仪不能在同一时间参加两个不同婚礼的仪式，问是否存在这样的安排，使得司仪参见这些仪式不冲突，若不存在则输出“NO”，若存在，则输出一种安排。思
ivan_zjj·2012-05-05 10:00

POJ_3678 Katu Puzzle 2-sat

思路：2-sat问题，首先我们可以看出，所有的运算都是bool
ivan_zjj·2012-05-04 15:00

2-SAT

刷了四天十道2-SAT，基本上知道解决问题的思路了。从这一种题里学会了强连通分量、缩点成树、拓扑排序这么好几个东西，还是有些收获的。这里留个模板备用，懒得记录解题过程了。。。
yankaifyyy·2012-04-11 14:00

POJ 3207 Ikki's Story IV - Panda's Trick 2-sat

http://poj.org/problem?id=3207题意：平面上，一个圆，圆的边上按顺时针放着n个点。现在要连m条边，比如a，b，那么a到b可以从圆的内部连接，也可以从圆的外部连接。给你的信息中，每个点最多只会连接的一条边。问能不能连接这m条边，使这些边都不相交。思路：对于每条Link，要么在圆外，要么在圆内，且不可同时满足，只能两者取一，判断这M条Link是否合法，也就是M条Link不冲
ivan_zjj·2012-04-08 13:00

2-sat专辑

一、关于模型：一个2-SAT模型应该是一个满足以下的条件的满足性问题：1、该模型中存在2n个可以分成n组的元素，每组两个元素。2、每组元素中，选择了其中一个元素，另外一个元素就不能被选择。
kksleric·2012-04-07 15:00

2-SAT 问题

From:http://blog.sina.com.cn/s/blog_64675f540100k2xj.htmlpoj3207http://blog.sina.com.cn/s/blog_64675f540100k13v.htmlpoj3678http://blog.sina.com.cn/s/blog_64675f540100k15b.htmlpoj3683http://blog.sina.c
nomad2·2012-03-25 21:00

HDU3622 二分+2-SAT

后来知道是2-SAT，可惜没学过。今天把2-SAT弄清楚了一点，做了道基础题。http://acm.hdu.edu.cn/showproblem.php?
Human_CK·2012-03-01 16:00

[匈牙利+2-sat]hdoj 2444：The Accomodation of Students

大致题意：     给出一个无向图，判断这个图是不是二分图，如果不是的话输出“No”。否则输出这个二分图的最大匹配是多少。   大致思路：    首先我们可以先假定图中的点分别属于两个集合，且任何一条边所连接的两点不在一个集合中。将图中的每个点都拆作两个点( i1 和 i2 )分别代表这个点属于第一个集合和这个点属于第二个集合。然后根据上面的
暴风雪·2012-03-01 13:00

pku3905 2-SAT问题 &我对2-SAT问题的最新理解

pku39052-SAT问题&我对2-SAT问题的最新理解最近看了人工智能的确定性推理，对2-SAT有了更深的理解，感觉2-SAT构图过程就是构建的一个推理图，逻辑关系是a->b。
yzhw@ujs code my life~·2012-02-17 02:00

【2-SAT】POJ 3678

【题解】：2-Sat问题，关键是要把所有情况考虑完全。用x表示该变量取0，x’表示取1，下面说下如何构图:              aandb==1, 这种情况a和b必
leolin_·2012-01-27 01:00

【2-SAT】POJ 3207

题意是有n个点在圆的边缘，编号是0~n-1顺时针，有m条线（不一定是直线，线可以再圆内，也可以再圆外），问是否存在所有线不想交的情况方法：2-SAT，以所有线为点，两两枚举，假设i代表在圆内，i'代表圆外
leolin_·2012-01-27 00:00

【2-SAT】POJ 3648

题意:一对新婚的夫妇邀请(n-1)对夫妇来参加自己的宴会,这对新人以及这些受邀请的夫妇都坐在长桌子的两边,新娘和新郎分别坐在桌子的两侧,新娘不希望看到她邀请来的那些夫妇之中有妻子和丈夫坐在同一边的情况(即妻子和丈夫要分作桌子的两边),在这n对夫妇中有一些男女存在着暧昧的关系,所以新娘也不希望看到有暧昧关系的人坐在她对面的那一侧.求解是否存在一种满足新娘要求的座位分配方案,如果存在的话,那么就输出这
leolin_·2012-01-26 06:00

2-sat入门

一、2-SAT简介：SAT是适定性(Satisfiability)问题的简称。一般形式为k-适定性问题，简称k-SAT。当k>2时，k-SAT是NP完全的。
Acceptedxukai·2011-11-12 16:00

HDU 4115 Eliminate the Conflict 2-sat

 EliminatetheConflictTimeLimit:2000/1000MS(Java/Others)MemoryLimit:32768/32768K(Java/Others)TotalSubmission(s):128AcceptedSubmission(s):67ProblemDescriptionConflictsareeverywhereintheworld,fromtheyoun
power721·2011-11-11 10:00
上一页 11 12 13 14 15 16 17 18 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他