HAOI2006 受歡迎的牛

首先對於乙個強聯通分量內的所有牛來說，他們彼此都認為對方受歡迎，且對於這個強聯通分量內的牛a來說，假設它認為不在這個強連通分量內的一頭牛b是受歡迎的，那麼這個強聯通分量內的所有牛都認為牛b受歡迎。

我們用tarjan演算法求一遍scc，把乙個scc縮成乙個點，並新增連線不同scc的邊，注意這條邊是一條反向邊，本來的邊由a->b，我們要新增的這條邊由scc[b]->scc[a]，這樣做是為了方便之後的dfs，最後得到乙個dag。

接下來我們在這個dag上從所有入度為0的scc開始dfs，並記錄dfs過程中訪問到的scc個數記為cnt，如果dfs結束後cnt==scc_cnt，代表所有scc都認為這個scc是受歡迎的，則所有牛都認為這個scc內的牛是受歡迎的，累計牛的個數進答案即可。

我們只需要從入度為0的scc開始dfs，是因為假設有一條邊scc_a->scc_b，代表scc_b認為scc_a是受歡迎的，又因為圖是dag，所以scc_a一定不認為scc_b是受歡迎的，那麼scc_b一定無法達到被所有牛認為是受歡迎的條件，所以我們證明了入度不為0的scc一定不會是解。

// q.c
#include#include#include#include#include#includeusing namespace std;
const int m=10000+10;
int n,m,ans,cnt1,cnt2,dc,scc_cnt,scc[m],h1[m],h2[m],w[m],pre[m],low[m],in[m],out[m];
bool vis[m];
stacks;
struct edge 
}ed1[m*5],ed2[m*5];
void add_edge(int a,int b,bool flag) 
void dfs1(int u)  else if(!scc[p.v]) 
low[u]=min(low[u],low[p.v]);
}	if(low[u]==pre[u]) 	}}
void dfs2(int u,int &d) 
int main() 
for(int i=1;i<=n;i++) 
if(!pre[i]) dfs1(i);
for(int i=1;i<=n;i++) w[scc[i]]++;
for(int i=1;i<=cnt1;i++) 
for(int i=1;i<=scc_cnt;i++)
if(!in[i]) 
printf("%d\n",ans);
return 0;
}

HAOI2006 受歡迎的牛

HAOI2006 受歡迎的牛

HAOI2006 受歡迎的牛

HAOI2006 受歡迎的牛

相關推薦