Bock 最小有向生成树算法的温和教程与结构化重表述
计算与语言
2026-03-31 v1
摘要
本文提供了 Bock 1971 年 Algol 过程构造最小有向生成树的温和教程与结构化重表述。我们的目标是使原始算法对现代读者可读且可复现，同时突出其作为非投影图依赖解析的精确解码器的相关性。我们以 Bock 的符号重新表述最小树形图目标，并提供对原始十节点示例的完整逐行执行追踪，扩展了源论文中从初始化到终止的部分追踪。然后我们引入了一种结构化重表述，明确呈现了过程的阶段结构、维护的状态和控制流，同时保留了原始方法的逻辑。作为进一步说明，我们提供了一个来自 {jurafsky-martin-2026-book} 的改编示例，用于依赖解析，展示了如何通过标准仿射变换将最大权重树形图问题归约为 Bock 的最小代价表述，并在相同状态变量下进行追踪。
引用
@article{arxiv.2603.27530,
title = {A gentle tutorial and a structured reformulation of Bock's algorithm for minimum directed spanning trees},
author = {Yuxi Wang and Jungyeul Park},
journal= {arXiv preprint arXiv:2603.27530},
year = {2026}
}