Tarjan强连通分量

ACM模版

Tarjan强连通分量

/*
 *  Tarjan 强连通分量
 *  INIT: vec[]为邻接表; stop, cnt, scnt置0; pre[]置-1;
 *  CALL: for(i=0;i<n;++i)if(-1==pre[i])tarjan(i,n);
 */
const int V = 10010;

int stop, cnt, scnt;
int id[V], pre[V], low[V], s[V];
vector<int> vec[V];

void tarjan(int v, int n)   //  vertex: 0 ~ n-1
{
    int t, minc = low[v] = pre[v] = cnt++;
    vector<int>::iterator pv;
    s[stop++] = v;
    for (pv = vec[v].begin(); pv != vec[v].end(); ++pv)
    {
        if (-1 == pre[*pv])
        {
            tarjan(*pv, n);
        }
        if (low[*pv] < minc)
        {
            minc = low[*pv];
        }
    }
    if (minc < low[v])
    {
        low[v] = minc;
        return ;
    }
    do
    {
        id[t = s[--stop]] = scnt;
        low[t] = n;
    }
    while (t != v);
    ++scnt;         // 强连通分量的个数
    return ;
}
内附详细安装教程,亲测搭建无问题。 一、乐步交易流程----购买乐步糖果 方法一:在卖方市场选择合适的卖家或者用手机号定向查询特定卖家 步骤一:点击首页下方【交易中心】。 步骤二:点击【卖单列表】,选择合适的卖家或者用手机号搜索特定卖家,确定卖家之后点击该卖家后方的【购买】。 步骤三:点击之后,系统会显示该卖家的收款信息。按照系统显示的收款信息付款,(付款备注交易订单号)付款完成之后上传凭证,等待卖家确认收款并且支付糖果。 方法二:挂单买入糖果 步骤一:点击首页下方【交易中心】。 步骤二:点击【买单列表】--【发布买单】,填写购买糖果单价、数量、交易密码,点击【确定】,买单发布,等待匹配成交。 二、乐步交易流程----出售乐步糖果 方法一:在买方市场选择合适的买家或者用手机号定向查询特定买家 步骤一:点击首页下方【交易中心】。 步骤二:点击【买单列表】,选择合适的买家或者用手机号搜索特定买家,确定买家之后点击该买家后方的【出售】。 步骤三:点击之后,系统会提示买家付款,买家按照系统提示的账号给卖家付款(付款备注交易订单号),付款完成之后上传凭证,等待卖家确定并且支付糖果。 方法二:挂单卖出糖果 步骤一:点击首页下方【交易中心】。 步骤二:点击【卖单列表】--【发布卖单】,填写出售糖果单价、数量、验证码、交易密码,点击【确定】,卖单发布,等待匹配成交。
<think>好的,我现在需要给用户介绍C++中的Tarjan强连通分量算法。首先,我得回忆一下Tarjan算法的基本概念和步骤,确保自己理解正确。 Tarjan算法是由Robert Tarjan提出的,用于寻找有向图中的强连通分量(SCC)。强连通分量指的是图中最大的子图,其中任意两个顶点都可以互相到达。这个算法使用深度优先搜索(DFS)来遍历图,并通过维护一个栈和一些辅助数组来跟踪节点的访问状态。 接下来,我应该分步骤详细说明算法的实现过程。首先,每个节点都有一个索引(index)和低链接值(lowlink)。索引表示节点被访问的顺序,低链接值是该节点能回溯到的最早访问的节点的索引。当某个节点的低链接值等于其索引时,说明找到了一个强连通分量,需要将栈中的节点弹出,直到当前节点为止,这些节点组成一个SCC。 然后,我需要考虑如何在C++中实现这个算法。通常会用邻接表来表示图结构,使用栈来保存当前路径上的节点,以及两个数组来存储索引和低链接值。还需要一个布尔数组来记录节点是否在栈中,以避免重复处理。 可能会遇到的问题包括如何初始化这些数组,如何处理未访问的节点,以及在DFS过程中如何更新低链接值。例如,当访问一个已经在栈中的节点时,需要比较当前节点的低链接值和目标节点的索引,取较小值来更新当前的低链接值。 此外,需要注意递归DFS的实现细节,比如递归终止条件,以及何时将节点弹出栈并记录SCC。代码示例需要清晰,变量命名要合理,确保用户能够理解每一步的作用。 最后,我应该测试一下这个算法,比如使用一个简单的有向图来验证输出是否正确。例如,对于包含四个节点的图,边为0→1,1→2,2→0,1→3,算法应该输出两个SCC:{0,1,2}和{3}。 在编写代码示例时,要注意注释和格式,帮助用户理解关键步骤。同时,要提醒用户关于时间复杂度的部分,Tarjan算法的时间复杂度是O(V+E),适合处理较大的图结构。 总结下来,我需要结构清晰地介绍算法原理、步骤,并提供可运行的C++代码示例,确保用户能够理解并实现该算法。同时,要检查是否有遗漏的关键点,比如栈的使用和低链接值的更新逻辑,确保解释准确无误。</think>以下是关于Tarjan强连通分量算法的逐步说明和C++实现: **算法核心思想** 1. 通过DFS遍历图时维护一个栈 2. 使用两个关键数组: - $index[]$ 记录访问顺序 - $lowLink[]$ 记录能回溯到的最早节点 3. 当$lowLink[u] == index[u]$时,栈顶到当前节点的元素构成一个SCC **算法步骤** 1. 初始化全局计数器和标记数组 2. 对未访问的节点进行DFS 3. 每次DFS时: - 设置当前节点的index和lowLink - 将节点压入栈并标记在栈中 4. 遍历邻接节点: - 如果未访问,递归访问并更新lowLink - 如果已在栈中,更新lowLink值 5. 发现根节点时弹出栈中元素构成SCC **C++实现代码** ```cpp #include <vector> #include <stack> #include <algorithm> using namespace std; vector<vector<int>> sccTarjan(vector<vector<int>>& graph) { int n = graph.size(), index = 0; vector<int> indexMap(n, -1), lowLink(n, -1); vector<bool> onStack(n, false); stack<int> st; vector<vector<int>> scc; auto dfs = [&](auto self, int u) -> void { indexMap[u] = lowLink[u] = index++; st.push(u); onStack[u] = true; for(int v : graph[u]) { if(indexMap[v] == -1) { // 未访问 self(self, v); lowLink[u] = min(lowLink[u], lowLink[v]); } else if(onStack[v]) { // 已在栈中 lowLink[u] = min(lowLink[u], indexMap[v]); } } if(lowLink[u] == indexMap[u]) { // 发现SCC vector<int> component; while(true) { int v = st.top(); st.pop(); onStack[v] = false; component.push_back(v); if(v == u) break; } scc.push_back(component); } }; for(int i = 0; i < n; ++i) { if(indexMap[i] == -1) { dfs(dfs, i); } } return scc; } ``` **算法特征** - 时间复杂度:$O(V + E)$(线性时间) - 空间复杂度:$O(V)$(栈和辅助数组) - 特点:单次DFS即可找出所有SCC **使用示例** ```cpp // 构造图:0→1→2→0,1→3 vector<vector<int>> graph = { {1}, // 0 {2,3}, // 1 {0}, // 2 {} // 3 }; auto components = sccTarjan(graph); // 输出结果:[[3], [0,1,2]] ``` **应用场景** 1. 编译器中的代码优化 2. 电子电路分析 3. 社交网络社群发现 4. 代码依赖分析 5. 强连通性检测 关键理解点:$lowLink[u]$的更新策略既包含前向边的更新(递归返回时),也包含横向边的更新(遇到栈中节点时),这保证了能正确识别环路结构。当某个节点的lowLink等于其index值时,说明找到了环路的根节点。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值