图算法 割点

OJ链接: P3388 【模板】割点(割顶)


  • 算法流程

初始化:now[cur]=low[cur]=当前索引
循环:对cur结点的所有邻接结点进行遍历
  如果未访问:
    孩子++
    DFS
    用子结点的low[to]更新自己
    割点判断(分为是否根节点)
  如果已访问:并且遍历的后继不是父节点
    用子结点的now[to]更新自己

#include <bits/stdc++.h>

#define I scanf
#define OL puts
#define O printf
#define F(a,b,c) for(a=b;a<c;a++)
#define FF(a,b) for(a=0;a<b;a++)
#define FG(a,b) for(a=b-1;a>=0;a--)
#define LEN 100010
#define MAX 0x06FFFFFF
#define V vector<int>

using namespace std;

struct edge{
    int to,next;
}mp[LEN*2]; //边表 
int head[LEN*2];//顶点u出发的第一条边
int cnt=0;  //边表索引 
void add (int u,int v){
    mp[cnt].to=v;
    mp[cnt].next=head[u];   //指针向前
    head[u]=cnt++;          //边表索引增加 
}

int N,M;
int now[LEN];
int low[LEN];
int flag[LEN];
int Index=0;
int root; 
vector<int> ans;

void dfs(int cur,int father) {
    int child=0,i,j;
    Index++;
    now[cur]=Index;
    low[cur]=Index;
    for(i=head[cur];~i;i=mp[i].next){  //遍历cur的所有结点 
        int to=mp[i].to;
        if(now[to]==0) {    //没有访问过 
            child++;
            dfs(to,cur);
            //递归完了,现在是栈底
            low[cur] =min(low[cur],low[to]);//用子结点的最小时间戳更新自己的最小时间戳
            if(cur!=root && low[to]>=now[cur] ){    //子结点能回溯到的最小时间戳比父节点还大:父节点为割点 
                flag[cur] =1;
            }
            if(cur==root && child>=2){
                flag[cur] =1;       
            }
        }else if(to!=father) {
            low[cur]=min(low[cur],now[to]);//用子结点的最小时间戳更新自己的最小时间戳
        }
    }
}

void init(){
    memset(head,-1,sizeof head);
}

int main(){
//    freopen("P3388-割点.txt","r",stdin);
//    freopen("testdata.in","r",stdin);
    init();
    int i,a,b;
    I("%d%d",&N,&M);
    FF(i,M){
        I("%d%d",&a,&b);
        add(a,b);
        add(b,a);
    }
    for(i=1;i<=N;i++) if(now[i]==0) {
        root=i;
        dfs(i,0);
    }
    for(i=1;i<=N;i++) if(flag[i]) ans.push_back(i);
    int sz=ans.size(); 
    O("%d\n",sz);
    FF(i,sz){

        O("%d",ans[i]);
        if(i!=sz-1) O(" ");
    }
    return 0;
}


### Tarjan算法求解图中的方法 #### 方法介绍 Tarjan算法是一种基于深度优先搜索(DFS)的高效方法,用于解决图论中的多种问题,其中包括寻找无向图中的是指在一个连通图中删除该节及其相连的所有边之后,使得原本连通的部分变得不连通的节。 在Tarjan算法中,通过维护两个数组 `dfn` 和 `low` 来辅助判断某个节是否为: - **`dfn[u]`**: 表示节 `u` 被访问的时间顺序。 - **`low[u]`**: 表示从节 `u` 或其后代出发能回溯到的最早祖先节的时间戳[^3]。 对于根节以外的任意节 `u`,如果存在至少一个子节 `v` 满足条件 `low[v] >= dfn[u]`,则说明删除节 `u` 后无法再通过任何路径到达子树内的某些节,因此 `u` 是[^1]。 另外需要注意的是,当处理根节时,只有在其具有超过一个子树的情况下才被认为是[^4]。 #### 代码实现 以下是使用 C++ 编写的 Tarjan 算法来查找无向图中所有的一个具体例子: ```cpp #include <bits/stdc++.h> using namespace std; const int MAXN = 10005; vector<int> G[MAXN]; bool vis[MAXN]; // 访问标记 int dfn[MAXN], low[MAXN], cnt_time; // 时间戳计数器 bool isCutPoint[MAXN]; // 是否为标志位 int root, childCount; // 当前正在遍历的根节及它的孩子数量统计 void tarjan(int u){ dfn[u] = low[u] = ++cnt_time; vis[u] = true; int children = 0; for(auto v : G[u]){ if(!vis[v]){ // 如果未被访问过,则继续向下探索 children++; tarjan(v); low[u] = min(low[u], low[v]); if(u != root && low[v] >= dfn[u]) isCutPoint[u] = true; if(u == root) childCount = children; } else{ low[u] = min(low[u], dfn[v]); } } } int main(){ ios::sync_with_stdio(false); cin.tie(0); int n,m,u,v; cin>>n>>m; while(m--){ cin >> u >> v; G[u].push_back(v); G[v].push_back(u); } memset(vis,false,sizeof(vis)); memset(isCutPoint,false,sizeof(isCutPoint)); for(int i=1;i<=n;i++){ if(!vis[i]){ root=i; childCount=0; tarjan(i); if(childCount >1) isCutPoint[root]=true; } } vector<int> res; for(int i=1;i<=n;i++) if(isCutPoint[i]) res.push_back(i); cout << "Cut Points are:\n"; for(auto p:res) cout<<p<<" "; } ``` 此程序首先读取输入构建邻接表表示的无向图,接着调用 `tarjan()` 函数执行 DFS 遍历来识别所有的,并最终打印出来这些的结果列表^。 ### 结果解释 上述代码会输出给定无向图中的全部集合。它利用了 Tarjan 的核心思想——即通过比较各顶与其子孙们之间的最低可达时间戳 (`low`) 值同当前顶首次发现时刻(`dfn`)的关系来进行判定操作[^5]。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值