给定一个带权有向图 $G$，$(t,g,\mu)$‑DAG 覆盖是一组 $g$ 个支配 DAG $D_1,\dots,D_g$，满足对任意顶点对 $(u,v)$，$\min_i d_{D_i}(u,v) \le t\cdot d_{G}(u,v)$，且非原图边的总数满足 $| (\cup_i D_i) \setminus G | \le \mu$。此前，Assadi、Hoppenworth 与 Wein [STOC 25] 以及 Filtser [SODA 26] 研究了普通有向图的 DAG 覆盖。本文首次引入 Steiner DAG 覆盖，允许 DAG 中出现 Steiner 点，从而在平面有向图和低树宽有向图上取得更紧的上界。具体结果如下：
- 任意树宽为 $tw$ 的有向图存在一个 $(1,2,\tilde{O}(n\cdot tw))$‑Steiner DAG 覆盖。
- 对于平面有向图，能够构造出 $(1+\varepsilon,2,\tilde{O}_{\varepsilon}(n))$‑Steiner DAG 覆盖，$\varepsilon>0$ 为任意常数。
- 与此形成鲜明对比的是，若不允许 Steiner 点，则即使在树宽为 $1$（即树）的图上，也无法在伸缩因子 $t<2$ 的情况下保持非平凡的覆盖规模，给出了相应的下界。
这些结果表明，引入 Steiner 点可以显著降低覆盖的边数和伸缩因子，尤其在结构化图（如平面图、低树宽图）上表现突出。
博主点评：本文通过引入 Steiner 点，突破了传统 DAG 覆盖的瓶颈，为平面图和低树宽图的距离近似提供了更高效的结构工具，理论意义与潜在应用都值得关注。