图论分支-Tarjan初步-割点和割边

割点：删掉它之后(删掉所有跟它相连的边)，图必然会分裂成两个或两个以上的子图。
割边(桥)：删掉一条边后，图必然会分裂成两个或两个以上的子图，又称桥。

void Tarjan(int x){
    low[x]=dfn[x]=++t;//记录时间戳，当然low值一开始也要与dfn值相同 
    for(int i=head[x];i;i=edge[i].next){//链式前向星 
        int y=edge[i].to;
        if(!dfn[y]){//如果没有访问过 
            Tarjan(y);//搜索查询 
            low[x]=min(low[x],low[y]);//母树继承子树的最小low值 
            if(low[y]>=dfn[x]){//发现的规律 
                flag++;//这个是因为我们的root也有可能是割点，但是它的条件有点苛刻 
                if(flag>1||x!=root) cut[x]=1;//如果子树分支大于1，那么无论他是什么都是割点了 
            }
        }else low[x]=min(low[x],dfn[y]);//返祖边，其连接的点继承最小返祖边连接点的dfn值
    }
}

#include<bits/stdc++.h>
using namespace std;
int n,m,head[100007],cent=1,low[100007],dfn[100007],t,cnt;
struct node{
    int next,to;
}edge[700007];
struct prin{
    int u,v;
}ans[100007];//记录答案 

void add(int u,int v){
    edge[++cent]=(node){head[u],v};head[u]=cent;
}

bool operator <(prin a,prin b){
    if(a.u!=b.u) return a.u<b.u;
    else return a.v<b.v;
}//重载运算符 ，sort要用 

void Tarjan(int x,int fa){//fa定义的是我们走的上一条边 
    low[x]=dfn[x]=++t;
    for(int i=head[x];i;i=edge[i].next){
        int y=edge[i].to;
        if(!dfn[y]){
            Tarjan(y,i);
            low[x]=min(low[x],low[y]);
            if(low[y]>dfn[x]) {
                ans[++cnt]=x<y?(prin){x,y}:(prin){y,x};//如果结果成立，那么就可以记录这条边的两个点 
            } //这里用到了格式转换，prin的定义在上面 
        }else if((i^1)!=fa){//由于双向建边，需要cent=1，然后用^来验边，或者将fa定义成上一个点 
            low[x]=min(low[x],dfn[y]);//
        }
    }
    return ;
}

int main(){
    freopen("danger.in","r",stdin);
    freopen("danger.out","w",stdout);
    scanf("%d%d",&n,&m);
    for(int i=1,a,b;i<=m;i++){
        scanf("%d%d",&a,&b);
        if(a==b) continue;//去除自环 
        add(a,b),add(b,a);
    }
    for(int i=1;i<=n;i++){
        if(!dfn[i]) Tarjan(i,0);//不连通时Tarjan，一般都是这样写 
    } 
    sort(ans+1,ans+cnt+1);//题目要求 
    for(int i=1;i<=cnt;i++){
        printf("%d %d\n",ans[i].u,ans[i].v);//输出答案 
    }
    return 0;
}

#include<bits/stdc++.h>
using namespace std;
int n,a,b,head[100007],cent,root,fin,low[100007],dfn[100007];
int t,cut[100007];
struct node{
    int next,to;
}edge[3000007];

void add(int u,int v){
    edge[++cent]=(node){head[u],v};head[u]=cent;
}

bool Tarjan(int x){
    low[x]=dfn[x]=++t;
    bool f1=(x==fin);// fin是b点，f1是标记 ，检验有没有b点 
    for(int i=head[x];i;i=edge[i].next){
        int y=edge[i].to;
        if(!dfn[y]){
            bool z=Tarjan(y);f1|=z;//回溯标记 
            low[x]=min(low[x],low[y]);
            if(low[y]>=dfn[x]&&x!=root&&x!=fin&&z){//这里割点一定不是root 
                cut[x]=1;
            }
        }else{
            low[x]=min(low[x],dfn[y]);
        }
    }
    return f1;//回溯标记 
}

int main(){
//    freopen("dfnIn.in","r",stdin);
//    freopen("dfnin.out","w",stdout);
    scanf("%d",&n);
    while(scanf("%d%d",&a,&b)&&(a!=0&&b!=0)){
        if(a==b) continue;
        add(a,b),add(b,a);
    }
    scanf("%d%d",&root,&fin);
    Tarjan(root);
    for(int i=1;i<=n;i++){
        if(cut[i]&&low[fin]>=dfn[i]){//检验 
            printf("%d",i);//输出 
            return 0;
        }
    }
    printf("No solution");
}