2-SAT 问题
2-SAT 问题是k-SAT问题在k==2时的特殊情况，因为已经证明k>=3时的k-sat问题属于npc问题。所以在这里仅研究2-SAT的特殊情况。
何为2-sat问题？
简单地说就是有N个集合，每个集合中有两个元素，其中一些集合中的元素存在相对关系。求出从每个集合中取出1个元素的方案。
先看一道例题：
2-sat的最简单情况，选出一些元素时，一些元素不可选。做这些题时，一般会考虑建图或者用并查集之类的数据结构维护。但显然复杂度是无法接受的，考虑新的算法。
首先，如果A1，A2，B1，B2分别为两个集合的两个元素。
且存在以下的排斥关系。
A1<->B2
B1<->A2
那么考虑从A1向B1连边，这条边意味着选了A1就必须选B1，因为显然选B2是不合法的。考虑相反情况。如果选了B2，就必须选A2，因为B2不可以和A1共存。 B1<->A2也是这样处理。
这时候我们就得到了一个图。把图中的一个强连通分量取出考虑，这个强连通分量里的每个元素都可以代表这一整个强连通分量，即选了这个强连通分量中的一个元素就必须选这个强连通分量里的所有元素，强连通分量里的元素部分取出构成的方案是不合法的（自己思考为什么）。同时，如果一个集合中的两个元素都位于一个强连通分量中也是不合法的。这时候各个元素中的相对关系就很显然了，采用topsort做最后的处理。
//COGS 313
//by Cydiater
//2016.8.2
#include <iostream>
#include <cstdio>
#include <cstring>
#include <string>
#include <queue>
#include <map>
#include <algorithm>
#include <cstdlib>
#include <cmath>
#include <ctime>
#include <iomanip>
using namespace std;
#define ll long long
#define up(i,j,n) for(int i=j;i<=n;i++)
#define down(i,j,n) for(int i=j;i>=n;i--)
#define FILE "spo"
;
const int oo=0x3f3f3f3f;
inline int read(){
,f=;
;ch=getchar();}
+ch-';ch=getchar();}
return x*f;
}
,group[MAXN],dfn[MAXN],low[MAXN],dfs_clock=,stack[MAXN],top=,group_num=,du[MAXN],opp[MAXN],LEN=,Link[MAXN],q[MAXN],head,tail,lable[MAXN];
bool vis[MAXN];
],E[MAXN<<];
namespace solution{
inline void insert(int x,int y){e[++len].next=LINK[x];LINK[x]=len;e[len].y=y;e[len].x=x;}
inline void Insert(int x,int y){E[++LEN].next=Link[x];Link[x]=LEN;E[LEN].y=y;E[LEN].x=x;}
void init(){
N=read();M=read();N<<=;
up(i,,M){
,y=read()-;
insert(x,y^);
insert(y,x^);
}
}
void tarjan(int node){
dfn[node]=low[node]=++dfs_clock;
stack[++top]=node;vis[node]=;
for(int i=LINK[node];i;i=e[i].next)
if(!dfn[e[i].y]){
tarjan(e[i].y);
low[node]=min(low[node],low[e[i].y]);
}
else if(vis[e[i].y])low[node]=min(low[node],dfn[e[i].y]);
if(low[node]==dfn[node]){
int tmp;
group_num++;
do{
tmp=stack[top--];
vis[tmp]=;
group[tmp]=group_num;
}while(tmp!=node);
}
}
void slove(){
memset(dfn,,sizeof(dfn));
memset(low,,sizeof(low));
memset(group,-,sizeof(group));
memset(du,,sizeof(du));
memset(lable,,sizeof(lable));
up(i,,N-)if(!dfn[i])tarjan(i);
up(i,,N-){
]){
puts("NIE");
exit();
}
opp[group[i]]=group[i^];
opp[group[i^]]=group[i];
}
up(i,,len){
int x=e[i].x,y=e[i].y;
if(group[x]!=group[y]){
Insert(group[y],group[x]);
du[group[x]]++;
}
}
head=;tail=;
up(i,,group_num))q[++tail]=i;
for(;head<=tail;head++){
int node=q[head];
)continue;
lable[node]=;lable[opp[node]]=;
for(int i=Link[node];i;i=E[i].next)
)
q[++tail]=E[i].y;
}
}
void output(){
up(i,,N-))printf();
}
}
int main(){
//freopen("input.in","r",stdin);
freopen(FILE".in","r",stdin);
freopen(FILE".out","w",stdout);
using namespace solution;
init();
slove();
output();
;
}
这也是一道很简单的2-SAT题目，相比网络流2-SAT的题目更好看出模型..
这个相比上一题也更加简单，仅判断是否存在方案即可。
如果两个线段是相交的，那么两个线段同时在圆内或者圆外都是相交的。
这样就得到了约束关系，套用2-SAT的模板就行了。
//POJ 3207
//by Cydiater
//2016.8.2
#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <string>
#include <algorithm>
#include <queue>
#include <map>
#include <algorithm>
#include <iomanip>
#include <string>
using namespace std;
#define ll long long
#define up(i,j,n) for(int i=j;i<=n;i++)
#define down(i,j,n) for(int i=j;i>=n;i--)
;
const int oo=0x3f3f3f3f;
inline int read(){
,f=;
;ch=getchar();}
+ch-';ch=getchar();}
return x*f;
}
,st[MAXN],nd[MAXN],dfn[MAXN],low[MAXN],stack[MAXN],dfs_clock=,top=,group[MAXN],group_num=;
bool vis[MAXN];
];
namespace solution{
inline void insert(int x,int y){e[++len].next=LINK[x];LINK[x]=len;e[len].y=y;e[len].x=x;}
void init(){
N=read();M=read();
up(i,,M-){
int x=read(),y=read();
st[i]=min(x,y);nd[i]=max(x,y);
}
}
void build(){
up(i,,M-)up(j,i+,M-){
if((st[i]>st[j]&&st[i]<nd[j]&&nd[i]>nd[j])||(st[j]>st[i]&&st[j]<nd[i]&&nd[j]>nd[i])){
insert(i,j+M);
insert(j+M,i);
insert(j,i+M);
insert(i+M,j);
}
}
}
void tarjan(int node){
low[node]=dfn[node]=++dfs_clock;
vis[node]=;stack[++top]=node;
for(int i=LINK[node];i;i=e[i].next)
if(!dfn[e[i].y]){
tarjan(e[i].y);
low[node]=min(low[node],low[e[i].y]);
}
else if(vis[e[i].y]) low[node]=min(low[node],dfn[e[i].y]);
if(low[node]==dfn[node]){
int tmp;group_num++;
do{
tmp=stack[top--];
vis[tmp]=;
group[tmp]=group_num;
}while(tmp!=node);
}
}
bool check(){
up(i,,M);
;
}
void slove(){
build();
memset(dfn,,sizeof(dfn));
memset(low,,sizeof(low));
memset(vis,,sizeof(vis));
up(i,,M<<)if(!dfn[i])tarjan(i);
if(check())puts("panda is telling the truth...");
else puts("the evil panda is lying again");
}
}
int main(){
//freopen("input.in","r",stdin);
using namespace solution;
init();
slove();
;
}
这道题调了两个多小时....
要注意几点，一是标记的下放，二是邻接表存储时不要打混...邻接表的命名打混这个真心是挺难查的...
题目本身不算难，2-SAT的裸题，拆点建图即可。
还有就是如果对于当前的约束条件，只要这个约束条件是存在的，不管哪个以为着必须的边是否正确，都要连边。
同时要注意到标记的下放。dfs即可。
//POJ 3683
//by Cydiater
//2016.8.2
#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <queue>
#include <map>
#include <algorithm>
#include <ctime>
#include <map>
#include <iomanip>
#include <cstring>
#include <string>
using namespace std;
#define ll long long
#define up(i,j,n) for(int i=j;i<=n;i++)
#define down(i,j,n) for(int i=j;i>=n;i--)
;
const int oo=0x3f3f3f3f;
inline int read(){
,f=;
;ch=getchar();}
+ch-';ch=getchar();}
return x*f;
}
,dfn[MAXN],low[MAXN],dfs_clock=,stack[MAXN],top=,group[MAXN],group_num=,opp[MAXN],Link[MAXN],LEN=,du[MAXN],q[MAXN<<],head=,tail=;
int lable[MAXN];
bool vis[MAXN];
struct edge{int x,y,next;}e[MAXN*MAXN],E[MAXN*MAXN];
namespace solution{
inline bool check(int st1,int nd1,int st2,int nd2){return (nd1<=st2)||(nd2<=st1);}
inline void insert(int x,int y){e[++len].next=LINK[x];LINK[x]=len;e[len].y=y;e[len].x=x;}
inline void Insert(int x,int y){E[++LEN].next=Link[x];Link[x]=LEN;E[LEN].y=y;E[LEN].x=x;}
inline void print(int a,int b){
)printf("0%d:",a);
else printf("%d:",a);
)printf("0%d",b);
else printf("%d",b);
printf(" ");
}
void init(){
N=read();
up(i,,N){
int h1,m1,t1,h2,m2,t2,d;
scanf("%d:%d",&h1,&m1);
t1=h1*+m1;
scanf("%d:%d",&h2,&m2);
t2=h2*+m2;
st[i]=t1;nd[i]=t2;c[i]=read();
}
}
void build(){
up(i,,N)up(j,i+,N){
if(!check(st[i],st[i]+c[i],st[j],st[j]+c[j])){
insert(i,j+N);
insert(j,i+N);
}
if(!check(st[i],st[i]+c[i],nd[j]-c[j],nd[j])){
insert(i,j);
insert(j+N,i+N);
}
if(!check(nd[i]-c[i],nd[i],st[j],st[j]+c[j])){
insert(i+N,j+N);
insert(j,i);
}
if(!check(nd[i]-c[i],nd[i],nd[j]-c[j],nd[j])){
insert(i+N,j);
insert(j+N,i);
}
}
}
void tarjan(int node){
dfn[node]=low[node]=++dfs_clock;
vis[node]=;stack[++top]=node;
for(int i=LINK[node];i;i=e[i].next)
if(!dfn[e[i].y]){
tarjan(e[i].y);
low[node]=min(low[node],low[e[i].y]);
}
else if(vis[e[i].y]) low[node]=min(low[node],dfn[e[i].y]);
if(low[node]==dfn[node]){
int tmp;group_num++;
do{
tmp=stack[top--];
vis[tmp]=;
group[tmp]=group_num;
}while(tmp!=node);
}
}
void re_build(){
up(i,,N){
if(group[i]==group[i+N]){
puts("NO");
exit();
}
opp[group[i]]=group[i+N];
opp[group[i+N]]=group[i];
}
puts("YES");
up(i,,len){
int x=e[i].x,y=e[i].y;
if(group[x]==group[y])continue;
Insert(group[y],group[x]);
du[group[x]]++;
}
}
void downit(int node){
if(lable[node])return;
lable[node]=-;
for(int i=Link[node];i;i=E[i].next)
downit(E[i].y);
}
void top_sort(){
head=;tail=;
up(i,,group_num))q[++tail]=i;
for(;head<=tail;head++){
int node=q[head];
if(lable[node])continue;
lable[node]=;downit(opp[node]);
for(int i=Link[node];i;i=E[i].next)
)
q[++tail]=E[i].y;
}
}
void slove(){
memset(vis,,sizeof(vis));
memset(dfn,,sizeof(dfn));
memset(low,,sizeof(low));
memset(du,,sizeof(du));
memset(lable,,sizeof(lable));
build();
up(i,,N<<)if(!dfn[i])tarjan(i);
re_build();
top_sort();
}
void output(){
up(i,,N){
){print(st[i]/,st[i]%);printf(,(st[i]+c[i])%);}
,(nd[i]-c[i])%);printf(,nd[i]%);}
printf("\n");
}
}
}
int main(){
freopen("input.in","r",stdin);
using namespace solution;
init();
slove();
output();
;
}
题目大意是给N个点M条边，每个点可以是0或者1，每条边是一个操作，每个一边的操作对应一个值，问是否有可行的方案
2-SAT的模型通常都很好观察出来。
这里的建模需要注意两个点。
1.op==and而且res==1。
这时候A点必须是1，B点也必须是1，如何保证这一点？
if(op==1&&res==1){
insert(x,x+N);
insert(y,y+N);
}
2.op==XOR是不需要连边的。
我没搞懂为什么..但是好像是最后tarjan会自动的把那个xor的情况给处理掉。
//POJ 3678
//by Cydiater
//2016.8.3
#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <cmath>
#include <ctime>
#include <queue>
#include <map>
#include <algorithm>
#include <cstring>
#include <string>
#include <algorithm>
using namespace std;
#define ll long long
#define up(i,j,n) for(int i=j;i<=n;i++)
#define down(i,j,n) for(int i=j;i>=n;i--)
;
const int oo=0x3f3f3f3f;
inline int read(){
,f=;
;ch=getchar();}
+ch-';ch=getchar();}
return x*f;
}
,dfn[MAXN],low[MAXN],stack[MAXN],top=,dfs_clock=,group_num=,group[MAXN];
bool vis[MAXN];
string s;
map<string,int>m;
struct edge{
int x,y,next;
}e[MAXN<<];
namespace solution{
inline void insert(int x,int y){e[++len].next=LINK[x];LINK[x]=len;e[len].y=y;}
void init(){
m[;m[;m[;
N=read();M=read();
up(i,,M){
int x=read(),y=read(),res=read();cin>>s;
int op=m[s];
&&res==){
insert(x,x+N);
insert(y,y+N);
}
&&res==){
insert(x+N,y);
insert(y+N,x);
}
&&res==){
insert(x,y+N);
insert(y,x+N);
}
&&res==){
insert(x+N,x);
insert(y+N,y);
}
&&res==){
insert(x,y+N);
insert(y,x+N);
insert(y+N,x);
insert(x+N,y);
}
&&res==){
insert(x,y);
insert(y,x);
insert(x+N,y+N);
insert(y+N,x+N);
}
}
}
void tarjan(int node){
dfn[node]=low[node]=++dfs_clock;
stack[++top]=node;vis[node]=;
for(int i=LINK[node];i;i=e[i].next)
if(!dfn[e[i].y]){
tarjan(e[i].y);
low[node]=min(low[node],low[e[i].y]);
}else if(vis[e[i].y]) low[node]=min(low[node],dfn[e[i].y]);
if(low[node]==dfn[node]){
group_num++;
int tmp;
do{
tmp=stack[top--];
vis[tmp]=;
group[tmp]=group_num;
}while(tmp!=node);
}
}
bool check(){
up(i,,N-);
;
}
void slove(){
memset(dfn,,sizeof(dfn));
memset(low,,sizeof(low));
memset(vis,,sizeof(vis));
up(i,,N<<)if(!dfn[i])tarjan(i);
if(check())puts("YES");
else puts("NO");
}
}
int main(){
//freopen("input.in","r",stdin);
using namespace solution;
init();
slove();
;
}
最后一道2-SAT题目！
首先一些hate和friend的约束条件建图，然后根据二分出来的最长距离，对于i,j之间所有可能的路径:
i-S1-j
i-S2-j
i-S1-S2-j
i-S2-S1-j
如果存在大于lim的，也加入到约束条件中，判一下就行了。
//POJ 2749
//by Cydiater
//2016.8.8
#include <iostream>
#include <cstdio>
#include <cstring>
#include <string>
#include <algorithm>
#include <queue>
#include <map>
#include <iomanip>
#include <ctime>
#include <cmath>
#include <cstdlib>
using namespace std;
#define ll long long
#define up(i,j,n) for(int i=j;i<=n;i++)
#define down(i,j,n) for(int i=j;i>=n;i--)
typedef pair<int,int> pii;
;
const int oo=0x3f3f3f3f;
inline int read(){
,f=;
;ch=getchar();}
+ch-';ch=getchar();}
return x*f;
}
pii S1,S2,node[MAXN],hate[MAXN],fri[MAXN];
int N,A,B,leftt,rightt,mid,LINK[MAXN],len,dfn[MAXN],low[MAXN],stack[MAXN],top,dfs_clock,group[MAXN],group_num;
bool vis[MAXN];
];
namespace solution{
inline int dist(pii a,pii b){return abs(a.first-b.first)+abs(a.second-b.second);}
inline void insert(int x,int y){e[++len].next=LINK[x];LINK[x]=len;e[len].y=y;e[len].x=x;}
void init(){
N=read();A=read();B=read();
int x=read(),y=read();
S1=make_pair(x,y);
x=read();y=read();
S2=make_pair(x,y);
up(i,,N){
int x=read(),y=read();
node[i]=make_pair(x,y);
}
up(i,,A){
int x=read(),y=read();
hate[i]=make_pair(x,y);
}
up(i,,B){
int x=read(),y=read();
fri[i]=make_pair(x,y);
}
}
void tarjan(int node){
stack[++top]=node;vis[node]=;
low[node]=dfn[node]=++dfs_clock;
for(int i=LINK[node];i;i=e[i].next)
if(!dfn[e[i].y]){
tarjan(e[i].y);
low[node]=min(low[node],low[e[i].y]);
}else if(vis[e[i].y]) low[node]=min(low[node],dfn[e[i].y]);
if(dfn[node]==low[node]){
group_num++;int tmp;
do{
tmp=stack[top--];
vis[tmp]=;
group[tmp]=group_num;
}while(tmp!=node);
}
}
bool check(int lim){
len=;top=;dfs_clock=;group_num=;
memset(LINK,,sizeof(LINK));
memset(dfn,,sizeof(dfn));
memset(low,,sizeof(low));
memset(vis,,sizeof(vis));
up(i,,A){
int x=hate[i].first,y=hate[i].second;
insert(x,y+N);
insert(y,x+N);
insert(x+N,y);
insert(y+N,x);
}
up(i,,B){
int x=fri[i].first,y=fri[i].second;
insert(x,y);
insert(y,x);
insert(x+N,y+N);
insert(y+N,x+N);
}
up(i,,N)up(j,i+,N){
if(dist(node[i],S1)+dist(S1,node[j])>lim){
insert(i,j+N);
insert(j,i+N);
}
if(dist(node[i],S2)+dist(S2,node[j])>lim){
insert(i+N,j);
insert(j+N,i);
}
if(dist(node[i],S1)+dist(S1,S2)+dist(S2,node[j])>lim){
insert(i,j);
insert(j+N,i+N);
}
if(dist(node[i],S2)+dist(S1,S2)+dist(S1,node[j])>lim){
insert(i+N,j+N);
insert(j,i);
}
}
up(i,,N<<)if(!dfn[i])tarjan(i);
up(i,,N);
;
}
void slove(){
leftt=;rightt=;
<rightt){
mid=(leftt+rightt)>>;
if(check(mid)) rightt=mid;
else leftt=mid;
}
if((!check(leftt))&&(!check(rightt)))puts("-1");
else if(check(leftt)) printf("%d\n",leftt);
else printf("%d\n",rightt);
}
}
int main(){
//freopen("input.in","r",stdin);
using namespace solution;
init();
slove();
;
}
2-SAT 问题的更多相关文章
- 多边形碰撞 -- SAT方法
检测凸多边形碰撞的一种简单的方法是SAT(Separating Axis Theorem),即分离轴定理. 原理:将多边形投影到一条向量上,看这两个多边形的投影是否重叠.如果不重叠,则认为这两个多边形 ...
- POJ 3678 Katu Puzzle（2 - SAT） - from lanshui_Yang
Description Katu Puzzle is presented as a directed graph G(V, E) with each edge e(a, b) labeled by a ...
- Map Labeler POJ - 2296（2 - sat 具体关系建边）
题意: 给出n个点 让求这n个点所能建成的正方形的最大边长,要求不覆盖,且这n个点在正方形上或下边的中点位置 解析: 当然是二分,但建图就有点还行..比较难想..行吧...我太垃圾... 2 - s ...
- 学习笔记（two sat）
关于two sat算法 两篇很好的论文由对称性解2-SAT问题(伍昱), 赵爽 2-sat解法浅析(pdf). 一些题目的题解 poj 3207 poj 3678 poj 3683 poj 3648 ...
- LA 3211 飞机调度（2—SAT）
https://vjudge.net/problem/UVALive-3211 题意: 有n架飞机需要着陆,每架飞机都可以选择“早着陆”和“晚着陆”两种方式之一,且必须选择一种,第i架飞机的早着陆时间 ...
- HIT 1917 2—SAT
题目大意:一国有n个党派,每个党派在议会中都有2个代表, 现要组建和平委员会,要从每个党派在议会的代表中选出1人,一共n人组成和平委员会. 已知有一些代表之间存在仇恨,也就是说他们不能同时被选为和平委 ...
- 2 - sat 模板（自用）
2-sat一个变量两种状态符合条件的状态建边找强连通,两两成立1 - n 为第一状态(n + 1) - (n + n) 为第二状态 例题模板 链接一 POJ 3207 Ikki's Story IV ...
- SAT考试里最难的数学题？ · 三只猫的温暖
问题 今天无意中在Quora上看到有人贴出来一道号称是SAT里最难的一道数学题,一下子勾起了我的兴趣.于是拿起笔来写写画画,花了差不多十五分钟搞定.觉得有点意思,决定把解题过程记下来.原帖的图太小,我 ...
- 世界碰撞算法原理和总结（sat gjk）
序言 此文出于作者的想法,从各处文章和论文中,总结和设计项目中碰撞结构处理方法.如有其它见解,可以跟作者商讨.(杨子剑,zijian_yang@yeah.net). 在一个世界中,有多个物体,物体可以 ...
- hdu 4115 (2—SAT)
题意:两个人石头剪刀布,一个人的出法已确定,另一个人的出法有一定约束,某两次要相同或者不同,问你第二个人能否全部都不失败. 思路:根据Bob出的情况,我们可以确定每次Alice有两种方案. R与P,S ...
随机推荐
- MSSQL 问题集锦
[1]关于SQL Server数据库连接字符串的特殊参数说明 MultipleActiveResultSets和Mars_Connection同义,指定此数据库连接是否复用数据库内已建立的相同用户的连 ...
- Webservice学习
参考博客1: http://www.cnblogs.com/lzhp/archive/2013/01/13/2858559.html 参考博客2:http://blog.csdn.net/shilei ...
- DLL编写教程
本文对通用的DLL技术做了一个总结,并提供了源代码打包下载,下载地址为: http://www.blogjava.net/Files/wxb_nudt/DLL_SRC.rar DLL的优点 简单的 ...
- Python学习教程
Python语法简洁清晰,特色之一是强制用空白符(white space)作为语句缩进.Python具有丰富和强大的库.它常被昵称为胶水语言,能够把用其他语言制作的各种模块(尤其是C/C++)很轻松地 ...
- morris的用法
參數選項說明: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 ...
- cmd 下telnet 不是内部或外部命令
问题:cmd 下telnet 提示不是内部或外部命令 解决方案:
- 【BZOJ 1031】【JSOI 2007】字符加密Cipher
后缀数组模板题,看了一天的后缀数组啊,我怎么这么弱TwT #include<cstdio> #include<cstring> #include<algorithm> ...
- 让nodeJS支持ES6的词法----babel的安装和使用
要使用Babel, 我们需要nodeJS的环境和npm, 主要安装了nodeJS, npm就默认安装了 , 现在安装nodeJS很简单了, 直接下载安装就好了: 安装es-checker 在使用Bab ...
- 控件（文本类）: TextBox, PasswordBox
介绍背水一战 Windows 10 之 控件(文本类) TextBox PasswordBox 示例1.TextBox 的示例 1Controls/TextControl/TextBoxDemo1.x ...
- 【POJ 1112】Team Them Up!（二分图染色+DP）
Description Your task is to divide a number of persons into two teams, in such a way, that: everyone ...