Skip to content

泉州一中信息学Blog

信息学奥赛技术分享博客

  • 登录
  • 小学oj
  • 中学oj
  • 测试页面1
  • Toggle search form

南外Day5-图的连通性

Posted on 2023年8月5日 By 陈麒润 南外Day5-图的连通性无评论

今天就不放题目代码了,放模板

low数组立大功

缩点

#include<bits/stdc++.h>
#define MX 100001
using namespace std;
int n,m,x,z,sc,ts,sm,me,su,flag,rd[MX];
int low[MX],dfn[MX],f[MX],col[MX];
int nt[MX],cd[MX],st2[MX],qz[MX];
bool che[MX];
vector<int> vx[MX],vt[MX];
queue<int> q;stack<int> s;
void tarj(int u){
    ts++;che[u]=1;
    dfn[u]=low[u]=ts;
    s.push(u);
    for(auto v:vt[u]){
        if(!dfn[v]){
            tarj(v);
            low[u]=min(low[u],low[v]);
        }else if(che[v]){
            low[u]=min(low[u],dfn[v]);
        }
    }
    if(dfn[u]==low[u]){
        int t;
        do{
            t=s.top();che[t]=0;
            s.pop();col[t]=u;
            if(t==u){break;}
            qz[u]+=qz[t];
        }while(!s.empty());
        st2[sc]=0;
    }
    return;
}
int main(){
    cin.tie(0);cout.tie(0);
    cin>>n>>m;
    for(int i=1;i<=n;i++){cin>>qz[i];}
    for(int i=1;i<=m;i++){
        cin>>x>>z;
        vt[x].push_back(z);
    }
    for(int i=1;i<=n;i++)
    if(!dfn[i])
        tarj(i);
    for(int i=1;i<=n;i++){x=i;
        for(auto y:vt[x]){
            if(col[x]!=col[y]){
                vx[col[x]].push_back(col[y]);
                rd[col[y]]++;
            }
        }
    }
    for(int i=1;i<=n;i++)
        if(!rd[i]){q.push(i);f[i]=qz[i];}
    while(!q.empty()){
        x=q.front();q.pop();
        for(auto y:vx[x]){
            f[y]=max(f[y],f[x]+qz[y]);
            if(!--rd[y]){q.push(y);}
        }
    }
    x=0;
    for(int i=1;i<=n;i++){x=max(x,f[i]);}
    cout<<x;
    return 0;
}

割点

x->y且low[y]>=dfn[x]

#include<bits/stdc++.h>
#define MX 100001
using namespace std;
int n,m,x,z,ts,flag,cnt,ans[MX];
int low[MX],dfn[MX],col[MX];
int nt[MX],cd[MX],st2[MX];
bool che[MX];
vector<int> vx[MX],vt[MX];
queue<int> q;stack<int> s;
void tarj(int u,int rt){
    ts++;dfn[u]=low[u]=ts;
    s.push(u);int cke=(u!=rt);
    for(auto v:vt[u]){
        if(!dfn[v]){
            tarj(v,rt);
            low[u]=min(low[u],low[v]);
            if(low[v]>=dfn[u])//走不回u前面 
                cke++;
        }else{
            low[u]=min(low[u],dfn[v]);
        }
    }
    if(cke>=2){ans[++cnt]=u;}
}
int main(){
    cin.tie(0);cout.tie(0);
    cin>>n>>m;
    for(int i=1;i<=m;i++){
        cin>>x>>z;
        vt[x].push_back(z);
        vt[z].push_back(x);
    }
    for(int i=1;i<=n;i++)
    if(!dfn[i])
        tarj(i,i);
    cout<<cnt<<&#039;\n&#039;;
    sort(ans+1,ans+1+cnt);
    for(int i=1;i<=cnt;i++)
        cout<<ans[i]<<&#039; &#039;;
    return 0;
}

边双连通分量

x->y且low[y]>dfn[x],为割边(需要点特判)

搜索除了割边以外的节点

#include<bits/stdc++.h>
#define MX 4000001
#define MP make_pair
#define GP pair<int,int>
using namespace std;
int n,m,x,z,ts,flag,cnt,ans;
int low[MX],dfn[MX],col[MX];
int nt[MX],cd[MX],st2[MX];
bool che[MX],ceg[MX];
vector<int> va[MX];
vector<GP> vt[MX];
queue<int> q;stack<int> s;
void tarj(int u,int rt){
    ts++;s.push(u);
    dfn[u]=low[u]=ts;
    for(auto edge:vt[u]){
        int v=edge.first,id=edge.second;
        if(!dfn[v]){
            tarj(v,id);
            if(dfn[u]<low[v]){ceg[id]=ceg[id^1]=1;}
            low[u]=min(low[u],low[v]);
        }else if(id!=(rt^1)){
            low[u]=min(low[u],dfn[v]);
        }
    }
}
void dfs(int u,int nw){
    col[u]=nw;va[nw].push_back(u);
    for(auto edge:vt[u]){
        int v=edge.first,id=edge.second;
        if(ceg[id] || col[v]) continue;
        dfs(v,nw);
    }
}
int main(){
    cin.tie(0);cout.tie(0);
    cin>>n>>m;
    for(int i=1;i<=m;i++){
        cin>>x>>z;
        vt[x].push_back(MP(z,i*2));
        vt[z].push_back(MP(x,i*2+1));
    }
    for(int i=1;i<=n;i++)
    if(!dfn[i])
        tarj(i,0);
    for(int i=1;i<=n;i++)
    if(!col[i]) dfs(i,++ans);
    cout<<ans<<&#039;\n&#039;;
    for(int i=1;i<=ans;i++){
        cout<<va[i].size()<<&#039; &#039;;
        for(auto v:va[i]){cout<<v<<&#039; &#039;;}
        cout<<&#039;\n&#039;;
    }
    return 0;
}

点双连通分量

和割点差不多,注意割点不能弹栈

#include<bits/stdc++.h>
#define MX 4000001
#define MP make_pair
#define GP pair<int,int>
using namespace std;
int n,m,x,z,ts,flag,cnt,ans,bgc;
int low[MX],dfn[MX],col[MX];
int nt[MX],cd[MX],st2[MX],brg[MX][2];
bool che[MX],ceg[MX];
vector<int> va[MX],vt[MX];
queue<int> q;stack<int> s;
void tarj(int u,int rt){
    ts++;s.push(u);
    dfn[u]=low[u]=ts;
    if(u==rt && !vt[u].size()){
        va[++ans].push_back(u);
        return;
    }
    for(auto v:vt[u]){
        if(!dfn[v]){
            tarj(v,rt);
            if(low[v]>=dfn[u]){
                ans++;int t;
                do{
                    t=s.top();s.pop();
                    va[ans].push_back(t);
                    if(t==v) break;
                }while(!s.empty());
                va[ans].push_back(u);
            }
            low[u]=min(low[u],low[v]);
        }else{low[u]=min(low[u],dfn[v]);}
    }
}
int main(){
    cin.tie(0);cout.tie(0);
    cin>>n>>m;
    for(int i=1;i<=m;i++){
        cin>>x>>z;if(x==z) continue;
        vt[x].push_back(z);
        vt[z].push_back(x);
    }
    for(int i=1;i<=n;i++)
    if(!dfn[i])
        tarj(i,i);
    cout<<ans<<&#039;\n&#039;;
    for(int i=1;i<=ans;i++){
        cout<<va[i].size()<<&#039; &#039;;
        for(auto v:va[i]){cout<<v<<&#039; &#039;;}
        cout<<&#039;\n&#039;;
    }
    return 0;
}

圆方树

把所有的点双/边双(看实际情况)用一个方点连为一个菊花图,然后就构成了一个圆点和方点相邻的树

例题 P4320

#include<bits/stdc++.h>
#define MX 1000001
#define MP make_pair
#define GP pair<int,int>
using namespace std;
int n,m,x,z,ts,flag,cnt,ans,bgc,Jmp=25;
int low[MX],dfn[MX],col[MX],dep[MX],f[MX][30];
int nt[MX],gd[MX],st2[MX],brg[MX][2];
bool che[MX],ceg[MX];
vector<int> va[MX],vt[MX];
queue<int> q;stack<int> s;
void dfs(int u);void cst();int LCA(int x,int y);
void tarj(int u,int rt){
    ts++;dfn[u]=low[u]=ts;
    s.push(u);
    for(auto v:vt[u]){
        if(!dfn[v]){
            tarj(v,rt);
            low[u]=min(low[u],low[v]);
            if(low[v]>=dfn[u]){
                ans++;int t;
                do{
                    t=s.top();s.pop();
                    va[t].push_back(ans);
                    va[ans].push_back(t);
                    //cout<<t<<&#039; &#039;<<ans<<&#039;\n&#039;;
                    if(t==v) break;
                }while(!s.empty());
                //cout<<u<<&#039; &#039;<<ans<<&#039;\n&#039;;
                va[u].push_back(ans);
                va[ans].push_back(u);
            }
        }else{low[u]=min(low[u],dfn[v]);}
    }
}
int main(){
    cin.tie(0);cout.tie(0);
    cin>>n>>m;ans=n;
    for(int i=1;i<=m;i++){
        cin>>x>>z;if(x==z) continue;
        brg[i][0]=x;brg[i][1]=z;
        vt[x].push_back(z);
        vt[z].push_back(x);
    }
    //cout<<&#039;\n&#039;;
    for(int i=1;i<=n;i++)
    if(!dfn[i])
        tarj(i,i);
    n=ans;
    dfs(1);cst();
    cin>>m;
    for(int i=1;i<=m;i++){
        cin>>x>>z;
        if(!x){return 0;}
        int lca=LCA(x,z);//cout<<lca<<&#039;-&#039;;
        cout<<(dep[x]+dep[z]-dep[lca]*2)/2+1<<&#039;\n&#039;;
    }
    return 0;
}
void dfs(int u){
    for(auto v:va[u]){
        if(f[u][0]==v){continue;}
        dep[v]=dep[u]+1;
        f[v][0]=u;dfs(v);
    }
}
void cst(){
    for(int i=1;i<=Jmp;i++)
    for(int j=1;j<=n;j++)
        f[j][i]=f[f[j][i-1]][i-1];
}
int LCA(int x,int y){
    if(dep[x]>dep[y]){swap(x,y);}
    for(int i=Jmp;i+1;i--)
    if(dep[f[y][i]]>=dep[x])
        y=f[y][i];
    if(x==y){return x;}
    for(int i=Jmp;i+1;i--)
    if(f[x][i]!=f[y][i])
        x=f[x][i],y=f[y][i];
    return f[x][0];
}
训练日志

文章导航

Previous Post: NFLS-DAY 5
Next Post: 南外 Day 5

发表回复 取消回复

要发表评论,您必须先登录。

2025年 6月
一 二 三 四 五 六 日
 1
2345678
9101112131415
16171819202122
23242526272829
30  
« 2月    

2024常州 Class Classic OI Problems Contest cqr的长乐集训2023 CZYZ LOC New Game NOI NOIP Password Protected PM_PK Preview Problems Retrospect Selfmade Qusetion STL The end Training Uneasy Problem 蒟蒻 通报

  • 训练日志
  • 链表
  • 入门
  • 模拟
  • dfs序
  • 并查集
  • spfa
  • 最小割
  • 矩阵树定理
  • 仙人掌
  • BSGS
  • 凸包
  • 回文自动机
  • 递推与动归
  • 堆
  • 莫队算法
  • ST表
  • Treap
  • 树套树
  • 可持久化线段树
  • 初赛
  • 搜索
  • 贪心
  • 深度优先搜索
  • 欧拉图
  • dijkstra
  • 费用流
  • 哈夫曼树
  • kruskual
  • 置换
  • 旋转卡壳
  • KMP
  • 区间动归
  • STL
  • 链表
  • 可并堆
  • sply
  • 主席树
  • 可持久化字典树
  • 算法
  • 动态规划
  • 构造
  • 广度优先搜索
  • 最短路
  • floyd
  • 最大流
  • 虚树
  • prim
  • 筛法
  • 半平面交
  • 字典树
  • 背包动归
  • 基础数据结构
  • 分块
  • 线段树
  • 替罪羊树
  • K-DTree
  • 图论
  • 二分法
  • 迭代搜索
  • 拓扑排序
  • 有上下界网络流
  • 生成树
  • 快速幂
  • 后缀数组
  • 树形动归
  • 哈希表
  • 中级数据结构
  • 平衡树
  • 可持久化数据结构
  • 数据结构
  • 三分法
  • 启发式搜索
  • 图的连通
  • 点分治
  • 博弈论
  • AC自动机
  • 状压动归
  • 单调栈
  • 树状数组
  • 高级数据结构
  • OI资料
  • 数学
  • 高精度
  • 差分约束
  • 树上倍增
  • 素数测试
  • 后缀自动机
  • 数位动归
  • 单调队列
  • 新闻
  • 几何
  • 随机化
  • 二分图染色
  • 树链剖分
  • 欧拉函数
  • manacher
  • 斜率优化
  • 离线处理
  • 信息学奥赛学长风采
  • 字符串
  • 二分图匹配
  • prufer编码
  • 卡特兰数
  • 密码学
  • 决策单调
  • 赛后总结
  • 其他
  • 2-SAT
  • 最近公共祖先
  • 矩阵乘法
  • 记忆化搜索
  • 网络流
  • Link cut tree
  • 排列组合
  • 树
  • 高斯消元
  • 乘法逆元
  • 容斥原理
  • 调和级数
  • 概率与期望
  • 模线性方程组
  • 莫比乌斯反演
  • 快速傅里叶变换
  • 扩展欧几里德
  • 最大公约数与最小公倍数

近期文章

  • DP杂题
  • 2025年2月13日模拟赛
  • HLOJ-TEST ROUND 4-T1/T2(构造)- 3
  • HLOJ-TEST ROUND 4-T1/T2(构造)- 2
  • HLOJ-TEST ROUND 4-T1/T2(构造)- 1

近期评论

归档

  • 2025年2月
  • 2025年1月
  • 2024年11月
  • 2024年10月
  • 2024年9月
  • 2024年8月
  • 2024年7月
  • 2024年3月
  • 2024年2月
  • 2024年1月
  • 2023年12月
  • 2023年11月
  • 2023年10月
  • 2023年9月
  • 2023年8月
  • 2023年7月
  • 2023年3月
  • 2023年2月
  • 2023年1月
  • 2022年12月

Copyright © 2025 泉州一中信息学Blog.

Powered by PressBook WordPress theme