还记得集训的时候看见个题是2-SAT问题以为是2-SAT就是二分图匹配- -傻逼到家了
2-SAT问题就是给出一些布尔变量和一些需要满足的条件(如 x1为真或者x3为假),目标是给每个变量赋值,使每个条件得到满足。
思路很简单,把每个变量都分成真和假的两个点,条件就是这个图的边,注意,把第i个点分成2*i和2*i+1这两个点,那么访问其中一个点x时只要访问x^1就是真值相反的点,很方便。图上的边可以表示蕴含,就是说 这个点的这个真值成立可以推导出下一个点的某个真值指派。 如 x(真)->y(假) x为真的点和y为假的点之间连一条有向边。
图构造好了之后只要假设起点的真值然后沿着有向边走,走到一个点就标记一个点,出现矛盾(x和x^1都被标记)说明假设不成立,其实也就是模拟了我们的思维过程,记得小时候玩数独,二选一的情况下有时就假设一个答案然后推矛盾。
构造出来的图不一定连通,不同的连通分量之间是独立的,只要判断每一个连通分量是不是可以满足就可以,一个细节就是假设为真,然后不成立,再判断为假能否满足时要把这个连通分量的标记初始化。
uva 1146 now or later
VS确实太智能了- -重定义了一个time还照样编译了,交上去CE到死
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<iostream>
#include<algorithm>
#include<vector>
#include<cmath>
using namespace std;
vector<int> G[5000];
typedef struct
{
int n,l;
}Time;
Time t[5000];
bool p[5000];
int n,ans,route[5000],cnt=0;
void es_graph()
{
for(int i=0;i<=n-1;i++)
for(int j=i+1;j<=n-1;j++)
{
if(ans>abs(t[i].n-t[j].n))
{
G[2*i].push_back(2*j+1);
G[2*j].push_back(2*i+1);
}
if(ans>abs(t[i].l-t[j].l))
{
G[2*i+1].push_back(2*j);
G[2*j+1].push_back(2*i);
}
if(ans>abs(t[i].n-t[j].l))
{
G[2*i].push_back(2*j);
G[2*j+1].push_back(2*i+1);
}
if(ans>abs(t[i].l-t[j].n))
{
G[2*i+1].push_back(2*j+1);
G[2*j].push_back(2*i);
}
}
return;
}
bool dfs(int x)
{
if(p[x]) return true;
if(p[x^1]) return false;
p[x]=true;
route[cnt++]=x;
for(vector<int>::iterator it=G[x].begin();it!=G[x].end();it++)
{
if(!dfs(*it)) return false;
}
return true;
}
void reset_mark()
{
cnt--;
while(cnt>=0)
{
p[route[cnt--]]=false;
}
cnt=0;
return;
}
void input()
{
for(int i=0;i<=n-1;i++)
{
cin>>t[i].n>>t[i].l;
}
return;
}
void init()
{
memset(p,0,sizeof(p));
for(int i=0;i<=2*n-1;i++)
{
G[i].clear();
}
return;
}
bool Two_Sat()
{
init();
es_graph();
for(int i=0;i<=n-1;i++)
{
cnt=0;
if(p[2*i]||p[2*i+1]) continue;
if(!dfs(2*i))
{
reset_mark();
if(!dfs(2*i+1)) return false;
}
}
return true;
}
bool judge(int x)
{
ans=x;
return Two_Sat();
}
int binary_search(int l,int r)
{
if(r-l<=1)
{
if(judge(r)) return r;
return l;
}
int m=(l+r)/2;
if(judge(m)) return binary_search(m,r);
return binary_search(l,m-1);
}
int main()
{
while(cin>>n)
{
cnt=0;
init();
input();
cout<<binary_search(0,100000005)<<endl;
}
return 0;
}