🧭 图类型
有向图版本 A：测试在 G≤μ 中，根节点 s 是否可以到达所有节点。
🔧 输入模式
有向图随机生成时，会先保证从根节点 A 出发有一条可达全部节点的骨架边。
✨ 算法流程
播放控制
1 / 1
边列表
按权重降序
Kruskal 最大生成森林
初始化
当前阈值
—
已选边数
0
目标边数
0
图例
已选择边 / 枢轴边
当前 G≤μ 测试边
S0 / S[j-1] 保留边
区间外非测试边
节点状态
未标记
已标记
处理完
有向图模式下，箭头方向决定遍历方向；判定为“从根节点 s 在 G≤μ 中可达所有节点”。
分裂步骤文本
无向图
λ_min
—
λ_max
—
枢轴 μ
—
判定
—
S0边
0
当前候选权值集合 C
S0 / S[j-1] 保留边
结果边集
连通分量 / 可达状态