2-sat题型资料.docVIP

1.? /JudgeOnline/problem?id=3207题意：在一个圆圈上顺时针或逆时针排好N个点(0--N-1)，现在要以给定的M组端点画M条曲线段，曲线段可在圆内或圆外，判断是否存在一种画法使得这M条曲线段不相交。分析：每一条曲线段可置于圆内或圆外。这样可用两个顶点分别表示曲线段的摆放情况，例如（顶点2*i表示第i条曲线段置于圆内，顶点2*i+1表示第i条曲线段置于圆外）。这样对于如下图的两条曲线段 seg[i]=[a,b],seg[j]= [c,d]，seg[i]和seg[j]是不能都置于园内，或都置于圆外的。所以顶点2*i和顶点2*j+1，顶点2*j和顶点2*i+1的真值情况必然相同。???????????????????????????????????????????????????????????????????????????????????????【顺时距离==用于判断圆内曲线段是否相交】对于圆内判断是否相交可以这样：如果在a顺时到达b的过程中经过并且只经过了c,d中的一点，那么seg[a,b]和seg[c,d]必然相交。定义顺时距dist[a,b]为a顺时到达b所经过的距离（这个距离可以有几种形式），那么如果 dist[a,c]+dist[c,b]==dist[a,b] 则 “c 在a,b内”，这样如果 c，d中有且只有一点在a,b内，那么seg[a,b]和seg[c,d]必然相交。POJ 3207 Ikkis Story IV - Pandas Trick 大意：已知圆上均匀分布着n个点，编号按逆时针数分别为0,1,2，。。。n-1 由上述点够成m条边，这些边可分布于圆内或圆外，问这些边有没有可能不相交？ 分析： 2-SAT 1.构图： 每条边可在圆内或圆外，对应于两个点，Ai,Ai 2.若边i与边j相交， a.若选择Ai边则必须选Aj边， b.若选择Ai边则必须选择Aj边， 故对应于上图： 建立边（Ai,Aj）,(Ai,Aj) 3.若存在边i,有Ai,Ai属于同一个强连通分量，则一定会相交 大意：有n个点，每个点的权值Xi为0或1，满足以下m个条件： 每个条件的格式如： Xa op Xb = c 其中op为and,or,xor运算中的一种 问是否存在满足上述条件的图？ 分析： 构图，对于每个节点，可取0或1，分别对应于xa,xa+n 那么： 1.若Xa or Xb = 1 a.若Xa=0必有Xb=1,故建边Xa-Xb+n b.若Xb=0必有Xa=1,建边 Xb-Xa+n 2.若Xa or Xb = 0 a.必有Xa,Xb均为0，即添边Xa-Xb,xb-xa b. Xa 或者Xb=0均非法，即添边xa+n-xa,xb+n-xb 3.若Xa and Xb = 1 a.必有xa,xb均为1，故建边xa+n-xb+n,xb+n-xa+n b.xa=0或xb=0非法，建边xa-xa+n,xb-xb+n 4.若Xa and Xb =0 a.若Xa = 1必有Xb = 0 即建边xa+n-xb b.若Xb = 1必有Xa = 0 即建边xb+n-xa 5.若Xa xor Xb= 1 a.xa+n - xb b.xb - xa+n c.xb+n - xa d.xa -xb+n 6.若Xa xor Xb = 0 a.xa-xb b.xb-xa c.xa+n-xb+n d.xb+n-xa+n 题意:有n个牛棚以及两个中转站s1和s2,每个牛棚只能连接到中转站,且牛棚之间也只能通过中转站相互到达,给出两个中转站的位置以及n个牛棚的位置, 在这n个牛棚中有a组两个牛棚之间是相互讨厌的关系,对于这种关系,这两个牛棚只能连接到不同中转站上,还有b组两个牛棚之间是相互喜欢的关系,这样两个牛棚可以连接到同一个中转站上,现在求解一种连接方案使得牛棚之间的那个最长距离值最小. 先二分枚举距离值得到mid,根据该mid值建图,再用2-sat来判断可行性. 对于编号为i的牛棚用i表示给牛棚是连接在s1中转站上,用i+n表示该牛棚是连接在s2中转站上. 1 对于i j之间的讨厌关系:因为这种情况是不能连接到同一个中转站上的,所以加边(i,j+n),(i+n,j),(j,i+n),(j+n,i) 2 对于i j之间的喜欢关系:因为这种情况是需要连接到同一个中转站上的,所以加边(i,j),(j,i),(i+n,j+n),(j+n,i+n) 对于二分枚举的距离值mid,考察每两个牛棚i j的连接方式:(用d[i]表示编号为i的牛棚到第一个中转站的距离,d[