2-SAT

2013年成都现场赛赛后总结

那天晚上稍微做了下去年的同一个大学出的题，那个时候做也YY了不少成果，看出一道题是2-sat，无赖没打过，不过要是真的是现场赛的话还是有可能做出来的，至少是个铜，于是第二天信心十足的打热身赛
·2015-11-12 22:35

POJ3207+tarjan+2-sat

1 /* 2 2-sat 3 题意：给定一个圆，圆上一些点。两点一线。现给出一些线，这些线可以在圆内连起来，也可以在圆外。
·2015-11-12 22:30

2-sat

http://blog.sina.com.cn/s/blog_64675f540100k2xj.html http://www.cppblog.com/MatoNo1/archive/2011/07/13/150766.aspx 讲解看的这两篇博客，其实最好直接去看国家集训队的论文，别的抄来抄去想找个原始出处都难，不过我也没什么原则说这话就对了。。 求出强连通分量后进行缩点，新图是dag图，
·2015-11-12 21:28

ZOJ3717 Balloon(2-SAT)

一个很玄乎的问题，但听到2-SAT之后就豁然开朗了。
·2015-11-12 19:36

POJ 3207/ POJ 3678 【2-SAT】

POJ 3207 Ikki's Story IV - Panda's Trick大意：已知圆上均匀分布着n个点，编号按逆时针数分别为0,1,2，。。。n-1由上述点够成m条边，这些边可分布于圆内或圆外，问这些边有没有可能不相交？ 分析：2-SAT1.构图：   每条边可在圆内或圆外，对应于两个点，Ai,Ai'2.若边i与边j相交， a.若选择Ai边则必须选Aj'边，
·2015-11-12 19:26

POJ 3683 Priest John's Busiest Day（2-SAT 并输出解）

Description John is the only priest in his town. September 1st is the John's busiest day in a year because there is an old legend in the town that the couple who get married on that day will be fore
·2015-11-12 17:36

[poj 3678]Katu Pazzle[2-SAT常用建图法]

题意: 不说了..典型的2-SAT 常用模型: 重点: 突出"绑定性". 连线表示限制而非可行.
·2015-11-12 13:26

POJ 3207 2-sat

给定m个连接，可以通过圆内或者圆外相交，问能不能找到一种方式，使这些连接的边都不相交    这里很容易看出的是，这些边只有在圆外或者圆内两种连接方式，而且必须选择其中一种 所以2-
·2015-11-11 12:13

hdoj 1824 Let's go home(2-SAT)

pid=1824 思路分析：该问题为2-SAT问题；需要注意逻辑推理的等价性； （1）题目第一个条件：每一个队或者队长留下或者其与两名队员同时留下，或者表明只能为两种情况中的一种；假设三人为A,B,
·2015-11-11 11:20

SGU 307 Cipher（2-SAT）

题目链接：http://acm.sgu.ru/problem.php?contest=0&problem=307 题意:N*M的01矩阵 A,(N-1)*(M-1)的矩阵B,其中B[i][j]=A[i][j]+A[i+1][j]+A[i][j+1]+A[i+1][j+1].给出B输出A。 思路： 这样，对于a[i][j](1<=i<=n-1,1<=j<=m
·2015-11-11 09:25

POJ 3678 Katu Puzzle(POJ 六道2-SAT之一)

[分析]好题，加深了对2-SAT合取式和约束的理解。
·2015-11-11 07:47

POJ 3678 Katu Puzzle(POJ 六道2-SAT之一)

[分析]好题，加深了对2-SAT合取式和约束的理解。
·2015-11-11 07:46

POJ 3207 Ikki's Story IV - Panda's Trick (POJ 六道2-SAT之一)

题意：平面上，一个圆，圆的边上按顺时针放着n个点。现在要连m条边，比如a，b，那么a到b可以从圆的内部连接，也可以从圆的外部连接。给你的信息中，每个点最多只会连接的一条边。问能不能连接这m条边，使这些边都不相交。 题意可能刚开始不是很好理解，比如1 5连边，2，6连边，由于点是顺序排列的，一画图就可以发现，这两条边必须一个从圆外面连，一个从内部连，否则就会相交。如果再加入3 7这条边，那么就必须相
·2015-11-11 07:45

POJ 3207 Ikki's Story IV - Panda's Trick (POJ 六道2-SAT之一)

题意：平面上，一个圆，圆的边上按顺时针放着n个点。现在要连m条边，比如a，b，那么a到b可以从圆的内部连接，也可以从圆的外部连接。给你的信息中，每个点最多只会连接的一条边。问能不能连接这m条边，使这些边都不相交。 题意可能刚开始不是很好理解，比如1 5连边，2，6连边，由于点是顺序排列的，一画图就可以发现，这两条边必须一个从圆外面连，一个从内部连，否则就会相交。如果再加入3 7这条边，那么就必须相
·2015-11-11 07:44

hdu 3062 2-SAT

思路：2-SAT入门题，直接建模即可。 1 #include <cstdio> 2 #include <cstring> 3 using
·2015-11-11 03:19

hdu 3062 Party 2-SAT

题目链接：HDU - 3062 有n对夫妻被邀请参加一个聚会，因为场地的问题，每对夫妻中只有1人可以列席。在2n 个人中，某些人之间有着很大的矛盾（当然夫妻之间是没有矛盾的），有矛盾的2个人是不会同时出现在聚会上的。有没有可能会有n 个人同时列席？ Input n： 表示有n对夫妻被邀请 (n<= 1000) m： 表示有m 对矛盾关系 ( m < (n - 1) * (
·2015-11-11 03:38

BNU 4260 ——Trick or Treat——————【三分求抛物线顶点】

Type:  None     None   Graph Theory       2-
·2015-11-11 02:37

zoj3422Go Deeper(2-sat + 二分)

题目请戳这里 题目大意： go(int dep, int n, int m) begin output the value of dep. if dep < m and x[a[dep]] + x[b[dep]] != c[dep] then go(dep + 1, n, m) end 读上面程序段，yy出函数功能。数组a
·2015-11-10 22:18

hdu1824-Let's go home：图论2-SAT

  关键在于找出一定矛盾的条件，设一队的3个人为(a,b,c),a为队长，那么（a不留下，b不留下）矛盾，（a不留下，c不留下）矛盾; 对于每一对队员，（a留下，b留下）矛盾。 把模型建好，剩下的就是套模板了。   1 #include<cstdio> 2 #include<vector> 3 #include<cstring
·2015-11-10 22:02

图论：2-SAT模板

  1 #include<cstdio> 2 #include<vector> 3 #include<cstring> 4 using namespace std; 5 6 const int maxn = _____; 7 8 struct TwoSAT 9 { 10 int n; 11
·2015-11-10 22:00

poj2723-Get Luffy Out

一道2-SAT问题，每对钥匙需要加一条边，每扇门上的对应的要用的钥匙加一条边。
·2015-11-10 22:59

2-sat入门（tarjan）hdu（3062）

hdu3062 Party Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 32768/32768 K (Java/Others) Total Submission(s): 3772    Accepted Submission(s): 1226
·2015-11-10 22:05

2-sat(tarjan算法)hdu(1824)

hdu1824 Let's go home Time Limit: 10000/1000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others) Total Submission(s): 1291 Accepted Submission(s): 498 Problem Description 小时候，乡
·2015-11-10 22:04

poj 2723 Get Luffy Out (2 -sat + 二分)

2-SAT主要是寻找不相容的点（建图），首先是
·2015-11-09 12:32

poj 3678 Katu Puzzle (2-sat)

http://poj.org/problem?id=3678 题意: 一些点，点的取值可以是0或者1，没有告诉你具体取值。 一些边，有权值，有运算方式（并，或，异或），要求和这条边相连的两个点经过边上的运算后的结果是边的权值。 问你有没有可能把每个点赋值满足所有边的要求。 解题报告：（找矛盾 。必须 关系）          
·2015-11-09 12:31

poj 3207 Ikki's Story IV - Panda's Trick (2-sat)

http://poj.org/problem?id=3207   题意： 平面上，一个圆，圆的边上按顺时针放着n个点。现在要连m条边，比如a，b，那么a到b可以从圆的内部连接，也可以从圆的外部连接。给你的信息中，每个点最多只会连接的一条边。问能不能连接这m条边，使这些边都不相交。 解题报告： 题意可能刚开始不是很好理解，比如1 5连边，2，6连边，由于点是顺序排列的，一
·2015-11-09 12:30

poj 3683 Priest John's Busiest Day (2-sat 模版)

 http://poj.org/problem?id=3683   题意： 有n个婚礼，每个婚礼有起始时间si，结束时间ti，还有一个主持时间ti，ti必须安排在婚礼的开始或者结束， 主持由祭祀来做，但是只有一个祭祀，所以 各个婚礼的主持时间不能重复，问你有没有可能正常的安排主持时间， 不能输出no，能的话要输出具体的答案：即每个婚礼的主持时间段是什么样的。
·2015-11-09 12:29

2-sat 讲解

poj 3207 http://blog.sina.com.cn/s/blog_64675f540100k13v.html poj 3678 http://blog.sina.com.cn/s/blog_64675f540100k15b.html poj 3683 http://blog.sina.com.cn/s/blog_64675f540100k1cd.html poj 3648 ht
·2015-11-09 12:28

2-SAT题目总结

关于2-SAT(2-Satisfiability)资料的话就是伍昱的《由对称性解2-SAT问题》PPT和赵爽的《2-SAT 解法浅析》PDF。
·2015-11-08 16:34

BZOJ1823: [JSOI2010]满汉全席

2-SAT… 1 /************************************************************** 2 Problem: 1823 3
·2015-11-08 16:30

BZOJ2199: [Usaco2011 Jan]奶牛议会

趁此机会学了一下2-SAT。 以前的2-SAT都是用并查集写的，只能应用于极小的一部分情况，这次学了一正式的2-SAT，是用一张有向图来表示其依赖关系。
·2015-11-08 16:29

poj2723

变为一个2-sat问题。其中两两一组的钥匙就是图中的节
·2015-11-08 14:47

2-Sat问题

二分+2-Sat 判断是否可行 输出字典序最小的解 输出字典序可行解 其实这些都是小问题，最重要的是建图，请看论文。
·2015-11-08 14:50

2-sat（and,or,xor）poj3678

Katu Puzzle Time Limit: 1000MS   Memory Limit: 65536K Total Submissions: 7949   Accepted: 2914 Description Katu Puzzle is presented as a directed graph&
·2015-11-08 14:00

2-sat按照最小字典序输出可行解（hdu1814）

Peaceful Commission Time Limit: 10000/5000 MS (Java/Others)    Memory Limit: 32768/32768 K (Java/Others) Total Submission(s): 2030    Accepted Submission(s):
·2015-11-08 14:57

2-sat 输出任意一组可行解&拓扑排序+缩点 poj3683

Priest John's Busiest Day Time Limit: 2000MS   Memory Limit: 65536K Total Submissions: 8170   Accepted: 2784   Special Judge Description John is th
·2015-11-08 14:57

2-sat(石头、剪刀、布)hdu4115

Eliminate the Conflict Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 32768/32768 K (Java/Others) Total Submission(s): 1732    Accepted Submissio
·2015-11-08 14:57

POJ 2749 Building roads(2-ST)

求一种连法使得最长的牛棚间距离最小（距离是曼哈顿距离） 思路：二分枚举最大值mid，然后重新构图，用2-SAT判定可行性。用Xi表示第i个牛
·2015-11-08 11:42

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 a
·2015-11-08 11:35

讨论2-sat建设和解决问题

2-sat问题是一种常见的问题。给定若干个01变量，变量之间满足一些二元约束，求是否有解存在。若存在，给出可行解或依照字典序给出最优解。
·2015-11-08 11:49

hdu--3062（2-sat

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

uva 12745 Wishmaster(2-sat)

12745 Wishmaster view code#include <iostream> #include <cstdio> #include <algorithm> #include <cstring> using namespace std; typedef long long ll; const int N = 200010;
·2015-11-07 15:11

poj--3905--Perfect Election（2-sat）

PerfectElectionTimeLimit:5000MS MemoryLimit:65536KB 64bitIOFormat:%I64d&%I64uSubmitStatusDescriptionInacountry(mymemoryfailstosaywhich),thecandidates{1,2...,N}arerunningintheparliamentaryelection.Anop
qq_29963431·2015-11-07 11:00

poj--3678--Katu Puzzle(2-sat 建模)

KatuPuzzleTimeLimit:1000MS MemoryLimit:65536KB 64bitIOFormat:%I64d&%I64uSubmitStatusDescriptionKatuPuzzleispresentedasadirectedgraphG(V,E)witheachedgee(a,b)labeledbyabooleanoperatorop(oneofAND,OR,XOR)
qq_29963431·2015-11-07 11:00

poj--3207--Ikki's Story IV - Panda's Trick（2-sat）

Ikki'sStoryIV-Panda'sTrickTimeLimit:1000MS MemoryLimit:131072KB 64bitIOFormat:%I64d&%I64uSubmitStatusDescriptionliympanda,oneofIkki’sfriend,likesplayinggameswithIkki.TodayafterminesweepingwithIkkiandw
qq_29963431·2015-11-05 22:00

hdoj--3062--party（2-sat 可行解）

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

hdoj--1824--Let's go home(2-sat)

Let'sgohomeTimeLimit:10000/1000MS(Java/Others)    MemoryLimit:32768/32768K(Java/Others)TotalSubmission(s):1677    AcceptedSubmission(s):693ProblemDescription小时候，乡愁是一枚小小的邮票，我在这头，母亲在那头。                 
qq_29963431·2015-11-04 22:00

hdu 3622 Bomb Game 继续2-sat

这题比较容易看出来是2-sat. 2-sat箴言：如果a与b矛盾，则添加单向边(a,b'). 由题意可以看出：最好的情况是每个圆的半径都相等。
·2015-11-03 22:40

2-sat入门， hdu 3062 Party

昨天刚开始看2-sat， 强连通分量的更深层次的应用。。  目前为止还只能判断一个2-sat是否有解，还不能求出具体的解，对于后面的拓扑排序理解的不是很透彻。。
·2015-11-03 22:39

poj2723 Get Luffy Out 2-SAT问题

  上次天津赛区一道2-sat问题，让我很是YM，如果和我一样，没学过，建议看看论文   其实2-SAT问题，就是一种逻辑判断问题，问题可以简述为： 共有N对顶点，M对不相容关系
·2015-11-03 22:47
上一页 4 5 6 7 8 9 10 11 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他