鏈接:https://vjudge.net/problem/POJ-2942
思路:本來算是一個多個算法的綜合模板題,但是我不熟悉就拿來熟悉模板了,大概就是先用tarjan求出雙連通分量,然后利用二分圖對每個分量染色,并將能成功染色(必定為奇圈)的頂點標記,最后沒標記的點就不能參加會議
代碼:
#include<cstdio>
#include<vector>
#include<queue>
#include<algorithm>
#include<cstring>
using namespace std;
const int maxn = 1001;
vector<int> G[1001],bcc[1001];
int odd[1001],color[1001];
int dfn[1001];
int low[1001];
int iscut[1001];
int bccno[1001];
int ntime;
int n,m,bcc_cnt;
struct edge{
int u,v;
edge(){}
edge(int uu,int vv):u(uu),v(vv){}
};
deque<edge> edges;
//tarjan模板
void tarjan(int u,int f){
int i,j,k;
int child = 0;
//low在這里代表非父邊所能連到的最早的結點的時間(與求強連通分量時候的low數組意思不一樣,一定注意!),dfn表示該結點的開始搜索時間,初始時間dfn等于low
low[u] = dfn[u] = ++ntime;
for(i=0;i<G[u].size();i++){
int v = G[u][i];
if(!dfn[v]){
child++;//統計孩子個數,為1且沒有父節點的話則為割頂
edges.push_back(edge(u,v));
tarjan(v,u);
low[u] = min(low[u],low[v]);//更新最早的時間
if(dfn[u]<=low[v]){
edge tmp;
iscut[u] = 1;
//bcc_cnt用來記錄雙連通分量個數,bcc數組用來記錄其中有哪些頂點
bcc_cnt++;
bcc[bcc_cnt].clear();
do{
tmp = edges.back();
edges.pop_back();
if(bccno[tmp.u]!=bcc_cnt){
bcc[bcc_cnt].push_back(tmp.u);
bccno[tmp.u] = bcc_cnt;
}
if(bccno[tmp.v]!=bcc_cnt){
bcc[bcc_cnt].push_back(tmp.v);
bccno[tmp.v] = bcc_cnt;
}
}while(!(tmp.u==u&&tmp.v == v));
}
}
//如果v能連回之前的結點且不是他自己的父節點
else if(dfn[v]<dfn[u]&&v!=f){
edges.push_back(edge(u,v));
low[u] = min(low[u],dfn[v]);
}
}
if(f<0&&child==1)iscut[u] = 0;//標記為割頂
}
void find_bcc(int n){
memset(dfn,0,sizeof(dfn));
memset(iscut,0,sizeof(iscut));
memset(bccno,0,sizeof(bccno));
ntime = bcc_cnt = 0;
for(int i=0;i<n;i++){
if(!dfn[i])tarjan(i,-1);
}
}
//二分圖利用dfs染色
bool bipartite(int u,int b){
for(int i=0;i<G[u].size();i++){
int v = G[u][i];
if(bccno[v]!=b)continue;
if(color[v]==color[u])return false;
if(!color[v]){
color[v] = 3-color[u];
if(!bipartite(v,b))return false;
}
}
return true;
}
int A[1001][1001];
int main(){
int kase = 0;
while(scanf("%d%d",&n,&m)&&n){
for(int i=0;i<n;i++)G[i].clear();
memset(A,0,sizeof(A));
for(int i=0;i<m;i++){
int u,v;
scanf("%d%d",&u,&v);
u--;
v--;
A[u][v] = A[v][u] = 1;
}
for(int u=0;u<n;u++){
for(int v=u+1;v<n;v++){
if(!A[u][v]){
G[u].push_back(v);
G[v].push_back(u);
}
}
}
find_bcc(n);
memset(odd,0,sizeof(odd));
for(int i=1;i<=bcc_cnt;i++){
memset(color,0,sizeof(color));
for(int j=0;j<bcc[i].size();j++)
bccno[bcc[i][j]] = i;//處理割頂
int u = bcc[i][0];
color[u] = 1;
if(!bipartite(u,i))
for(int j=0;j<bcc[i].size();j++)
odd[bcc[i][j]] = 1;//可以參加會議
}
int ans = n;
for(int i=0;i<n;i++)if(odd[i])ans--;
printf("%d\n",ans);
}
return 0;
}