因为Tarjan算法依赖dfn[u]与low[u]的精确同步更新及栈中节点状态的严格维护，初始化遗漏、入栈/标记不同步、low更新误用（如用low[v]而非dfn[v]）、邻接点分类判断错误等，均会导致SCC被错误拆分或合并，使输出数量偏多或出现孤立点假分量。
为什么直接套用Tarjan模板容易得到错误的SCC数量？
因为 tarjan() 函数内部依赖两个关键状态：节点的发现时间 dfn[u] 和能回溯到的最早祖先时间 low[u]。如果初始化不全（比如漏设 dfn[u] = low[u] = ++idx），或在递归前未将节点入栈、未标记在栈中，low[u] 就可能被错误更新，导致一个强连通分量被拆成多个，或不同SCC被合并。常见错误现象是输出的SCC个数偏多，且某些“分量”只含孤立点——其实只是 low 值没正确传递。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 每个节点首次访问时必须同时设置
dfn[u] = low[u] = ++idx，不能分开赋值 - 入栈后立即设
in_stk[u] = true，出栈时同步置false，否则后续判断low[u] == dfn[u]时可能误弹非当前分量节点 - 对邻接点
v的处理要区分三种情况：!dfn[v]（未访问，递归）、in_stk[v]（在栈中，更新low[u] = min(low[u], dfn[v])）、其余情况（已出栈，忽略）
如何用vector>建图并避免索引越界？
C++中用 vector<vector>> g(n)</vector> 建有向图最常用，但容易在读边时写成 g[u].push_back(v+1)（错把输入的1-indexed当0-indexed用），或忘记预分配 g 大小导致 g[u] 访问越界。更隐蔽的问题是：若图含自环（u == v），tarjan() 中对 v 的判断仍走 in_stk[v] 分支，这是正确的；但若建图时因去重逻辑误删了自环，会导致本该自成SCC的点被遗漏。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 输入边后统一转为0-indexed：
int u, v; cin >> u >> v; u--; v--; g[u].push_back(v); - 初始化
g时明确指定大小：vector<vector>> g(n);</vector>，不要依赖后续push_back动态扩容来隐式定义节点数 - 不主动过滤自环或重边——Tarjan算法本身对它们天然鲁棒；去重要放在建图后、调用
tarjan()前单独做（如用set<pair>></pair>）
stack 和 vector 用作栈有什么实际区别？
用 stack<int></int> 看似语义清晰，但会带来两个麻烦：一是无法遍历栈内元素（需要取SCC时得先弹出再存临时容器，易错）；二是无法通过下标快速判断某节点是否在栈中（得额外维护 in_stk[] 数组，而 stack 本身不提供 find）。反观用 vector<int> stk</int> 模拟栈，stk.back() 等价于 top()，stk.pop_back() 等价于 pop()，且可直接用 stk.size() 判空，还能配合 in_stk[u] 数组高效查询。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 统一用
vector<int> stk</int>模拟栈，初始化为空：vector<int> stk;</int> - 入栈：
stk.push_back(u); in_stk[u] = true; - 出栈并收集SCC：
while (stk.back() != u) { int x = stk.back(); stk.pop_back(); in_stk[x] = false; scc.back().push_back(x); } scc.back().push_back(stk.back()); stk.pop_back(); in_stk[u] = false;
遇到大图（n=1e5）时DFS爆栈怎么办？
Tarjan本质是DFS，递归深度可达 n。在Windows或部分OJ默认栈空间下（如8MB），n=1e5 时递归极易触发 stack overflow 或运行时异常（如Windows报 0xC00000FD）。这不是算法问题，而是系统栈限制。此时强行开大栈（如GCC的 -Wl,--stack=268435456）不具移植性，且部分在线评测平台禁止改链接参数。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 改用手动栈模拟DFS：用
vector<pair int>></pair>存(u, next_edge_index)，每次取顶点并推进其第next_edge_index条邻边，避免函数调用栈增长 - 若坚持递归，至少把所有数组（
dfn,low,in_stk,g）声明为全局或类成员，避免递归函数参数传递大量引用增加栈帧 - 对极端稀疏图（
m ），可考虑Kosaraju算法——它用两次BFS/DFS，第二次DFS顺序可控，更容易手动展开
真正卡住的往往不是算法逻辑，而是建图时索引偏移没对齐、栈状态和 in_stk 不同步、或者大图下忘了切手动栈——这些地方一错，输出就完全不可信。
