Elysia Tools
导航
Development
输入边列表（a b / a -> b，可带权重）或邻接表（a: b c）：Tarjan 1972 迭代算法与 Kosaraju 双通道互相验证地分解强连通分量；输出关节点与桥、缩点 DAG 及其 Kahn 拓扑序、环检测报告（含环上节点数与自环），以及深度受限的 BFS/DFS 遍历深度表。
详情
Tarjan SCC 用显式栈的迭代实现（disc/low 数组，出栈收集分量）；Kosaraju 先按完成时间迭代排序、再在反图上收集，两算法结果必须逐分量一致（算法互证）。桥与关节点在无向视图上以 low-link 判定：low[v] > disc[u] ⟹ 桥；根节点子树数 ≥ 2 或 low[v] ≥ disc[u] ⟹ 关节点。缩点图取各分量代表节点建 DAG，Kahn 入度法给出拓扑序；原图存在完整拓扑序当且仅当无环（环上节点数按「SCC 尺寸 > 1 ∪ 自环」统计）。BFS 分层推进、DFS 显式栈记录发现深度，均受 maxDepth 限制。复杂度均为 O(V+E)。
执行
填写表单、运行工具，并在同一页面查看结果。
案例
相关内容
工具使用指南
本工具提供专业的图结构分解与分析功能，支持通过边列表或邻接表输入有向图与无向图。系统采用 Tarjan 迭代算法与 Kosaraju 算法双通道互证分解强连通分量（SCC），基于 Low-Link 算法精确识别割点（关节点）与桥，并自动生成缩点 DAG、Kahn 拓扑排序、环检测报告以及指定深度的 BFS/DFS 遍历路径。
背景
项目组重构单体系统为微服务时，服务间出现了复杂的相互调用，导致无法确定部署与启动顺序。
问题
需要快速找出系统中的所有循环调用环，并将强连通模块抽象为缩点以获取正确的依赖执行顺序。
如何使用
在图输入框中粘贴服务调用边列表，勾选“有向图”，设置起点服务并运行分解。
graphInput: "a -> b\nb -> c\nc -> a\nc -> d\nd -> c\ne -> a\nf -> e\nf -> g\ng -> f"
directed: true
startNode: "a"
maxDepth: 2结果
成功分解出 3 个强连通分量（包含 {a,b,c,d} 与 {f,g} 两个环），输出缩点 DAG 拓扑排序为 2→1→0，并标出 6 个处于循环依赖中的节点。
背景
维护一套机房骨干网络拓扑，需要评估关键交换机或物理光缆断开对整体网络连通性的影响。
问题
快速定位网络拓扑中的割接瓶颈（关节点）与不可替代的唯一通信信道（桥）。
如何使用
输入网络连接列表，取消勾选“有向图”，指定主核心交换机作为起点并限制遍历深度。
graphInput: "a b\nb c\nc d\nd e"
directed: false
startNode: "a"
maxDepth: 3结果
清晰识别出 b、c、d 为关节点，4 条连接全部为桥，并生成从节点 a 出发深度不超过 3 的可达路径表。
支持每行一条的边列表（如 `a -> b`、`a b`，可带权重）以及邻接表格式（如 `a: b c`）。
两者分别采用单遍栈遍历与正反图双遍遍历，工具通过双通道互相验证，确保强连通分量分解结果的准确性。
原图若有环则无法直接全排序，工具会将强连通分量缩点生成无环有向图（DAG），并给出缩点图的 Kahn 拓扑排序。
关节点（割点）与桥的连通性分析均基于图的无向视图进行 Low-Link 深度优先搜索判定。
该参数用于限制从指定起点出发的 BFS 与 DFS 搜索层级，防止在大图遍历时产生过深输出。