18.1.17割點
阿新 • • 發佈:2018-01-17
數組 open == -s gpo 可能 urn pre 表示
原題鏈接:https://www.luogu.org/problemnew/show/3388
割點的tarjan算法:
選定一個節點為根節點,遍歷整個圖,形成一棵樹
根節點若有兩個子樹,則其一定是割點。
對於不是根節點的節點,維護兩個數組dfn與low
dfs[u]表示節點u第幾個被訪問,low[u]表示節點u最早能回溯到的邊
對於邊(u, v),如果low[v]>=dfn[u],此時u就是割點。
邊(u,v),如果v未訪問過,dfs之後,更新:low[u]=min(low[u],low[v]);
訪問過,無需dfs,一定有dfn[v]<dfn[u],更新:low[u]=min(low[u], dfn[v])。
值得一提的是,luogu的割點模板題圖可能不連通,而且最後還要按順序輸出,所以,記錄好根節點與非根節點,然後最後sort一下。
#include<cstdio> #include<algorithm> using namespace std; void read(int &y) { y=0;char x=getchar(); while(x<‘0‘||x>‘9‘) x=getchar(); while(x>=‘0‘&&x<=‘9‘) { y=y*10+x-‘0‘; x=getchar(); } } int n,m,x,y,cnt,tot,ans; struct edge { int u,v; }e[200005]; int head[100005],va[100005]; int dfn[100005],low[100005],q[100005]; int fa[100005],vis[100005],rot[100005]; void add(int u,int v) { e[++cnt].u=head[u]; e[cnt].v=v; head[u]=cnt; } void dfs(int u) { dfn[u]=low[u]=++tot; vis[u]++;for(int i=head[u];i;i=e[i].u) { int v=e[i].v; if(vis[v]==0) { rot[u]++; fa[v]=u; dfs(v); low[u]=min(low[u],low[v]); if((vis[u]==2&&rot[u]>1)||(vis[u]==1&&low[v]>=dfn[u])) { if(va[u]) continue; va[u]=1; q[++ans]=u; } } else if(v!=fa[u]) low[u]=min(low[u],dfn[v]); } } int main() { // freopen("testdata.in","r",stdin); read(n);read(m); for(int i=1;i<=m;i++) { read(x);read(y); add(x,y);add(y,x); } for(int i=1;i<=n;i++) { if(vis[i]==0) { vis[i]++; dfs(i); } } printf("%d\n",ans); sort(q+1,q+ans+1); for(int i=1;i<=ans;i++) printf("%d ",q[i]); return 0; }
18.1.17割點