poj 2723 2-sat
来源:互联网 发布:2010江苏高考数学知乎 编辑:程序博客网 时间:2024/06/07 22:01
其实可以二分的,听说直接输入一扇门的信息,做一次SCC也能爆过,就直接暴力了,呵呵~
每个门有两把锁,这就有了一种关系,假设两把锁是a,b,那么不开a就一定要开b,不开b就一定要开a,即b'->a,a'->b;
另外还有n对矛盾关系,用了a钥匙就不能用b钥匙,a->b',b->a'
然后,强连通求解
#include<stdio.h>#include<string.h>#include<vector>#include<algorithm>using namespace std;const int MAX = 10010;vector<int> edge[MAX];int st[MAX];int dfn[MAX],low[MAX];int top,btype,tdfn;//btype:连通块的个数int belong[MAX];//点属于哪个连通块bool ins[MAX];void dfs(int s){int i,t;dfn[s]=low[s]=++tdfn;ins[s]=true;st[++top]=s;for(i=0;i<edge[s].size();i++){t=edge[s][i];if(!dfn[t]){dfs(t);if(low[t]<low[s]) low[s]=low[t];}else if(ins[t] && dfn[t]<low[s]) low[s]=dfn[t];}if(dfn[s]==low[s]){btype++;do{t=st[top--];ins[t]=false;belong[t]=btype;}while(t!=s);}}void SCC(int n){int i;top=btype=tdfn=0;memset(ins,false,sizeof(ins));memset(dfn,0,sizeof(dfn));for(i=1;i<=n;i++)if(!dfn[i])dfs(i);}int main(){ int i,j,k;int n,m;int a,b;while(scanf("%d%d",&n,&m),(n||m)){for(i=0;i<=4*n;i++)edge[i].clear();for(i=0;i<n;i++){scanf("%d%d",&a,&b);a++,b++;edge[a].push_back(b+2*n);edge[b].push_back(a+2*n);}int ans=0;bool flag=true;for(i=0;i<m;i++){scanf("%d%d",&a,&b);a++,b++;if(flag){edge[a+2*n].push_back(b);edge[b+2*n].push_back(a); SCC(4*n);for(j=1;j<=2*n;j++){if(belong[j]==belong[j+2*n]){flag=false;break;}}if(flag)ans++;}else continue;}printf("%d\n",ans); }return 0;}
- poj 2723 2-sat
- poj 2723 2-sat
- poj 2723 2-SAT
- poj 2723 2-SAT
- poj 2723【2-SAT+二分】
- POJ-2723(2-SAT)
- POJ 2723 二分+ 2-sat 判定
- poj 2723(2-sat+二分答案)
- POJ 2723 Get Luffy Out(2-SAT)
- POJ 2723 2-SAT 第一题
- poj 2723 Get Luffy Out 2sat
- hdu 1816,poj 2723 (2—SAT)
- poj 2723 二分+2-sat判定
- 2-sat->poj 2723 Get Luffy Out
- POJ 2723 Get Luffy Out(2-SAT)
- poj 2723 Get Luffy Out 2-SAT
- poj 2723 Get Luffy Out 2-sat
- POJ 2723 - Get Luffy Out(2-SAT)
- hdu 1824 2-sat
- hdu 1203 01背包
- hdu 2955 Robberies 01背包
- hdu 3033 分组背包 每组至少选一个
- hdu 1712 分组背包 每组至多取一个背包
- poj 2723 2-sat
- poj 2536 二分匹配
- poj 2537 DP
- 关于分组背包
- hdu 3535 终极版解题报告
- zstu 1032 拆分物品 再01背包
- poj 1384 完全背包
- poj 1252 完全背包
- poj 3468 A Simple Problem with Integers