2-SAT

BZOJ 1997 Planar（2-SAT）

据此建立2-SAT。平面图的边数小于等于三倍点数减六   int
·2015-11-02 19:19

POJ 3648 Wedding 2-sat输出一组解

这个肯定就是2-sat问题，建图时注意建新郎和新娘的边，还有缩点构造新图的时候返向建边，因为当有一条边a->b的时候，表示选a必须选b那么这样我们在选择人的时候，就会有一连串的问题，但是我们直接选b但是他可以不一定选择
Triple_WDF·2015-11-02 15:00

hdu 3715 Go Deeper 2 - sat

再次强调一下,2-sat箴言：如果a与b矛盾，则建边（a,b'）; 到n-1表示0，n到2*n-1表示1     if(C[i]==0) add(x,y+n);add(
·2015-11-02 15:14

2—SAT问题

这个称为SAT问题，特别的，若每种限制关系中最多只对两个元素进行限制，则称为2-SAT问题。 对于x、y有11种关系，将其拆点2x（假），2x+1
·2015-11-02 12:31

HDU 3062 简单的2-SAT问题

在2-SAT，最让我纠结的还是添加有向线段的函数了 void add_clause(int i,int a,int j,int b){    int m=2*i+a; 
·2015-11-01 14:49

HDU-4665 Unshuffle 搜索 | 2-SAT

pid=4665 　　本题的2-SAT建图颇为复杂，有时间再来填坑（自己写的一直挂着，标程建图太复杂了）。。。
·2015-11-01 10:37

2-SAT详解

以下内容摘自《算法竞赛入门经典训练指南》：2-SAT问题是这样的：有n个布尔变量xi，另有m个需要满足的条件，每个条件的形式都是“xi为真/假或者xj为真/假“2-SAT的解法有多种不同的叙述方式，这里采用一种比较容易理解的
暗金色·2015-11-01 10:31

ZOJ 3656 Bit Magic 第37届ACM/ICPC长春赛区现场赛B题 （2-SAT）

  Bit Magic Time Limit: 8 Seconds      Memory Limit: 32768 KB Yesterday, my teacher taught me about bit operators: and (&), or (|), xor (^). I generated a number ta
·2015-10-31 18:58

HDU 4115 Eliminate the Conflict （2-SAT）

Eliminate the Conflict Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 32768/32768 K (Java/Others)Total Submission(s): 740    Accepted Submission(s): 3
·2015-10-31 18:58

POJ 3678 Katu Puzzle （2-SAT）

Katu Puzzle Time Limit: 1000MS   Memory Limit: 65536K Total Submissions: 5749   Accepted: 2077 Description Katu Puzzle is presented as a directed graph G(V, E) with each e
·2015-10-31 18:57

POJ 3648 Wedding（2-SAT）

Wedding Time Limit: 1000MS   Memory Limit: 65536K Total Submissions: 5880   Accepted: 1802   Special Judge Description Up to thirty couples will attend a wedding feast
·2015-10-31 18:56

HDU 1814 Peaceful Commission(2-SAT)

Peaceful Commission Time Limit: 10000/5000 MS (Java/Others)    Memory Limit: 32768/32768 K (Java/Others)Total Submission(s): 802    Accepted Submission(s): 158
·2015-10-31 18:55

URAL 1106 Two Teams (DFS)

思路 一开始觉得和前几天做过的一道2-sat（每个队伍任意两个成员都必须互相认识）相似然后就往那边想了……看了题解才发现这题很简单…… 我们注意到同组里的人是互不影响的，所以一个人如果已经确定在哪组的话是不会对后面进入这个组的人产生影响的
·2015-10-31 15:43

HDU 4751 Divide Groups (2-SAT)

思路 裸的2-sat……我们设一个完全图为0，另一个完全图为1，对于一个点对(u, v)，如果u、v不是双向连通则它们两个不能在一组，即u和v至少又一个为0，至少又一个为1。
·2015-10-31 15:41

URAL 1106 Two Teams (DFS)

思路 一开始觉得和前几天做过的一道2-sat（每个队伍任意两个成员都必须互相认识）相似然后就往那边想了……看了题解才发现这题很简单…… 我们注意到同组里的人是互不影响的，所以一个人如果已经确定在哪组的话是不会对后面进入这个组的人产生影响的
·2015-10-31 15:40

HDU 4751 Divide Groups (2-SAT)

思路 裸的2-sat……我们设一个完全图为0，另一个完全图为1，对于一个点对(u, v)，如果u、v不是双向连通则它们两个不能在一组，即u和v至少又一个为0，至少又一个为1。
·2015-10-31 15:39

POJ 3678 Katu Puzzle 2-SAT

解析:据说是2-SAT问题，反正我刚看到的时候满脑子都是建出来一个图之后判环。。然而是有科学的做法的。首先我们把每个点拆分成两个，分别代表改点取0或1.科学的做法就是按照矛盾关系建边。
wzq_QwQ·2015-10-31 14:00

POJ 3905 2-SAT

View Code 1 //Result:wizmann 3905 Accepted 16516K 1985MS G++ 2170B 2012-10-08 16:19:01 2 #include <cstdio> 3 #include <cstdlib> 4 #include <cstring>
·2015-10-31 11:59

HDU 3715 2-SAT入门

2-SAT是一种神奇的算法问题。 具体是什么我也不想细说，因为细说不了。。。   只是讨论一下建图。 2-SAT存在两种关系，互斥与共生。
·2015-10-31 11:59

Hdu 4751(2-SAT)

题目链接 Divide Groups Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 32768/32768 K (Java/Others)Total Submission(s): 1153    Accepted Submission(s): 4
·2015-10-31 11:32

hdu 3062 Party 最裸2-sat题目

思路： 来自伍昱的《由对称性解2-SAT问题》 http://wenku.baidu.com/view/afd6c436a32d7375a41780f2.html 把确定不矛盾的双方建立边，然后tarjan
·2015-10-31 11:51

2-SAT问题及其算法

原文地址：http://www.cppblog.com/MatoNo1/archive/2011/07/13/150766.aspx 【2-SAT问题】现有一个由N个布尔值组成的序列A，给出一些限制关系
·2015-10-31 10:24

HDU 3622 Bomb Game 二分+2-sat

http://acm.hdu.edu.cn/showproblem.php?pid=3622 题意： 给定n个回合，每个回合给你两个点，每个回合只能选择一个点放置炸弹，在n个回合里选出n个点放置炸弹，炸弹的爆炸范围是一个圆形范围，半径可以控制。求满足每个炸弹爆炸的圆形区域不相交的条件下，的所有半径里面的最小半径最大值。 思路： 二分枚举两点之间的距离，如果存在两点距离小于等于枚举的距离时，
·2015-10-31 10:08

pku3678 Katu Puzzle 2-sat判断是否存在可行解

思路： 2-sat。 将每个顶点i拆分成两个点，2*i和2*i
·2015-10-31 10:08

pku 3683 Priest John's Busiest Day 2-sat判断有误解+输出可行解

http://poj.org/problem?id=3683 题意： 一个教父，在一天中要给n对新婚夫妇举行婚礼。已知每对夫妇举行婚礼的起始时间Si和终止时间Ti ,教父送祝福的时间要么在Si->Si +Di  要么在Ti - Di->Ti。问在这一天中，教父如何安排才能对着n对新人都送去祝福？ 思路： 把每对新人的婚礼的起始时间和结束时间加减Di后分成两个对立的点，
·2015-10-31 10:08

pku 3207 Ikki's Story IV - Panda's Trick 2-sat判定是否存在可行解

http://poj.org/problem?id=3207 题意： 一个圆盘的边沿上有n个点, 下标从0开始, 有m条线连接2m个互不相同的点, 线可以在圆盘内部,也可以在圆盘外部, 要求任意两条线不能相交. 给出m条线(内外随意), 问是否满足每条线都不相交. 思路： 可以将第i条线看成一对顶点,编号分别为2*i和2*i+1.那么如果线段i与j相交,就在2*i与2*j+1以及2*i+1
·2015-10-31 10:08

BZOJ3495 : PA2010 Riddle

2-SAT。 建立n个变量，其中第i个变量表示第i个城市是否是首都。 对于边(x,y)，连边x->y'，y->x'。
·2015-10-31 09:52

2-SAT问题及其算法

　　转自:http://www.cppblog.com/MatoNo1/archive/2011/07/13/150766.html 【2-SAT问题】现有一个由N个布尔值组成的序列A，给出一些限制关系
·2015-10-31 09:08

SPOJ 9939 Eliminate the Conflict

SPOJ_9939     这个题目可以用2-SAT做。
·2015-10-31 09:09

SDUT 1953 Idol

今天上英语课闲着无聊，聊天玩的时候有人问到了2-SAT。。突然就想起来了这道题。。。 2-SAT嘛。。比赛的时候居然没想到。。 给定需要满足的m个条件。把每个变量拆为两个点。一般情况下拆为
·2015-10-31 09:54

poj3683 Priest John's Busiest Day

2-SAT 输出可行解 找可行解的方案就是： 根据第一次建的图建一个反图..然后求逆拓扑排序， 建反图的原因是保持冲突的两个事件肯定会被染成不同的颜色 求逆拓扑排序的原因也是为了对图染的色不会发生冲突
·2015-10-31 09:54

POJ 3648 Wedding (2-SAT，经典)

    题意：新郎和新娘结婚，来了n-1对夫妻，这些夫妻包括新郎之间有通奸关系（包括男女，男男，女女），我们的目地是为了满足新娘，新娘对面不能坐着一对夫妻，也不能坐着有任何通奸关系的人，另外新郎一定要坐新娘对面。但是输出时输出坐在新娘这一边的人（不需要输出新娘）。     分析： 　　问题只是要求不能 “通奸对” 不能同时出现在新娘对面
·2015-10-31 08:27

POJ Ikki's Story IV - Panda's Trick (2-SAT，基础)

  题意：给1个从0~n-1的连续的序列，将其头尾相接围绕成环，玩家想要将其中部分点连线，连线有2种方式，绕到外面或绕在圆内，且每个点最多仅仅有一条连线的可能。如果所给的m条弧必须相交，那么输出1种结果。如果可以有一种方案不相交，输出另一种结果。 思路： 　　这题目都是难看清楚的。借用一下别人的图吧，大概就是如下这样的方式。要求不能够相交，比如0-2和1-3同时走圆内必定相交了。
·2015-10-31 08:25

POJ 3678 Katu Puzzle （2-SAT，常规）

    题意：给出n个点，每个点上有一个数字可以0或1，然后给出m条限制，要求a和b两个点上的数字满足 a op b = c，op和c都是给定。问是否能够有一组解满足所有限制？（即点上的数字是0是1由你决定） 思路：题意很清晰了，难点在建图。要考虑所有可能的冲突： 当op为and：　　（1）c为0时，其中1个必为0。 　　　　　　　　（2）c为1时，两者必为1。要加两
·2015-10-31 08:25

UVALive 3713 Astronauts （2-SAT，变形）

思路： 　　依然是 2-SAT，只不过换了个样子，建图时不同而已。这里每个人依然有2人选择，也有冲突的出现，问题在如何找出冲突。 　　首先，无论是哪两人，只要互相讨厌，去抢C
·2015-10-31 08:25

UVALive 3211 Now or later(2-SAT，二分，Kosaraju)

    题意：有n个飞机要降落，每机都可以在两个时间点上选择降落。但是两机的降落时间间隔太小会影响安全性，所以，要求两机的降落时间应该达到最大，当然也不能冲突了。问最大的时间间隔是多少？（其实问的是max(每种方案中两机间的最小间隔) ） 思路： 　　用Kosaraju算法也是可以过的，而且代码也比较少，那就用此法解决了。 主要的步骤是： 　　二分穷举每个时间间隔，
·2015-10-31 08:25

POJ Priest John's Busiest Day (2-SAT，常规)

    题意： 　　一些人要在同一天进行婚礼，但是牧师只有1个，每一对夫妻都有一个时间范围[s , e]可供牧师选择，且起码要m分钟才主持完毕，但是要么就在 s 就开始，要么就主持到刚好 e 结束。因为人数太多了，这些时间可能会重叠，可能还会完全包含，可能还没有交叉，各种情况。问牧师能否主持完全部人的婚礼，若可以，给出每对夫妻占用牧师的一个时间段（记得按所给的夫妻的顺序哦
·2015-10-31 08:25

hdu 4115 2-sat

又是神奇的建图题，这道题充分体现了2-sat选了谁必须选谁的性质 某一轮如果选了必输的方法，则要连一条边到对立点；即如果选a必输，则连一条边a->a‘ 总之，要不断找矛盾 贴贴很挫的代码
·2015-10-31 08:08

2-SAT总结

【2-SAT问题】现有一个由N个布尔值组成的序列A，给出一些限制关系，比如A[x] AND A[y]=0、A[x] OR A[y] OR A[z]=1等，要确定A[0..N
·2015-10-31 08:13

hdu 1816(二分+2-sat)

题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=1816 思路：首先将每把钥匙i拆成两个点i和i+2n,分别表示选与不选,对于被分成n对的钥匙,由于只能选择其中的一把,所以加边(i,j+2n),(j,i+2n)对于每道门所对应的两把钥匙,两边中选一把，当i不选时，则必须选择j.反之，同理。所以加边(i+2n,j),(j+2n,i）.二分所能打开门的数
·2015-10-30 13:37

hdu 1815(二分+2-sat)

题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=1815   题意：给出n个牛棚、两个特殊点S1,S2的坐标。S1、S2直连。牛棚只能连S1或S2，还有，某些牛棚只能连在同一个S，某些牛棚不能连在同一个S。求使最长的牛棚间距离最小 距离是曼哈顿距离，使最大值最小。 思路：二分的经典应用，二分枚举最大值limit，然后重新构图，用2-SA
·2015-10-30 13:37

hdu 4421(枚举+2-sat)

pid=4421 思路：枚举32位bit,然后2-sat判断可行性，这里给出2-sat矛盾关系构图： 1、a&b=0  :  a->~b,b->~a; 2、
·2015-10-30 13:37

hdu 3622(二分+2-sat判断可行性)

pid=3622 思路：二分是容易想到的，由于题目中有明显的矛盾关系，因此可以用2-sat来验证其可行性。
·2015-10-30 13:37

hdu 3062+1824(2-sat入门)

2-sat学习资料：http://wenku.baidu.com/view/b96a07d9ce2f0066f5332
·2015-10-30 13:36

hdu 3715(二分+2-sat)

pid=3715 思路：二分深度，2-sat判断可行性，根据矛盾关系建图：设a=0,a'=1,b=0,b'=1;如果c[i]==0,则a,b矛盾，连边a->b',b->a';如果c[i]=
·2015-10-30 13:36

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

题意：有N场婚礼，每场婚礼的开始时间为Si，结束时间为Ti，每场婚礼有个仪式，历时Di，这个仪式要么在Si时刻开始，要么在Ti－Di时刻开始，问能否安排每场婚礼举行仪式的时间，使主持人John能参加所有的这些仪式的全过程。 题目链接：http://poj.org/problem?id=3683 ——>>每场婚礼的仪式，要么在开始段举行，要么在结束段举行，且一定要举行，要求各场婚礼仪
·2015-10-30 13:31

loj 1251(2-sat + 输出一组可行解）

题目链接：http://acm.hust.edu.cn/vjudge/problem/viewProblem.action?id=26961 思路：u表示留下，~u表示离开，同理v,对于+u,-v，我们可以这样来定义：若u离开，则v必须留下，如v离开，则u必须留下,于是我们可以连边u+n->v,v+n->u,后面的同理。 1 #include<iostream&g
·2015-10-30 10:11

loj 1407(2-sat + 枚举 + 输出一组可行解 )

题目链接：http://acm.hust.edu.cn/vjudge/problem/viewProblem.action?id=27115 思路：有一个trick要注意：当情况为 2 x y 时，可以推出当y留下时，x也必须留下。然后就是后面的k个限制关系，我们可以3^(k)次方枚举，一旦找到符合条件的就return 。然后就是反向建图，拓扑排序找可行解。 1 #include&
·2015-10-30 10:11

POJ 3207 Ikki's Story IV - Panda's Trick（2-SAT）

Ikki's Story IV - Panda's Trick Time Limit: 1000MS   Memory Limit: 131072K Total Submissions: 6065   Accepted: 2234 Description liympanda, one of Ikki’s friend, likes playi
·2015-10-27 16:34

HDU 3622 Bomb Game（二分+2-SAT）

  Bomb Game Time Limit: 10000/3000 MS (Java/Others)    Memory Limit: 32768/32768 K (Java/Others)Total Submission(s): 2294    Accepted Submission(s): 769
·2015-10-27 16:33
上一页 5 6 7 8 9 10 11 12 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他