[论文解读] On the Length of Strongly Monotone Descending Chains over $\mathbb{N}^d$

Sylvain Schmitz, Lia Schütze|arXiv (Cornell University)|Oct 4, 2023

Complexity and Algorithms in Graphs参考文献 40被引用 1

一句话总结

本文建立了在 ℕᵈ 上的 d 维向量空间中，下闭集的强单调递减链长度的紧致 n²ᴼ⁽ᵈ⁾ 上界，将其应用于一元编码的向量加法系统（VAS）和可逆仿射网的反向可覆盖性算法。该结果改进了先前的双指数界，并与已知的下界一致，证实了在指数时间假设下，该算法运行时间的最优性。

ABSTRACT

A recent breakthrough by Künnemann, Mazowiecki, Schütze, Sinclair-Banks, and Wegrzycki (ICALP, 2023) bounds the running time for the coverability problem in $d$-dimensional vector addition systems under unary encoding to $n^{2^{O(d)}}$, improving on Rackoff's $n^{2^{O(d\lg d)}}$ upper bound (Theor. Comput. Sci., 1978), and provides conditional matching lower bounds. In this paper, we revisit Lazić and Schmitz' "ideal view" of the backward coverability algorithm (Inform. Comput., 2021) in the light of this breakthrough. We show that the controlled strongly monotone descending chains of downwards-closed sets over $\mathbb{N}^d$ that arise from the dual backward coverability algorithm of Lazić and Schmitz on $d$-dimensional unary vector addition systems also enjoy this tight $n^{2^{O(d)}}$ upper bound on their length, and that this also translates into the same bound on the running time of the backward coverability algorithm. Furthermore, our analysis takes place in a more general setting than that of Lazić and Schmitz, which allows to show the same results and improve on the 2EXPSPACE upper bound derived by Benedikt, Duff, Sharad, and Worrell (LICS, 2017) for the coverability problem in invertible affine nets.

研究动机与目标

• 为一元编码下 d 维向量加法系统（VAS）的可覆盖性问题的上下界之间的复杂度差距提供闭合。
• 将近期关于一元编码 VAS 中最小可覆盖执行长度的 n²ᴼ⁽ᵈ⁾ 上界，扩展至反向可覆盖性算法的运行时间。
• 将分析推广至 VAS 之外，涵盖可逆仿射网，证明相同的复杂度界依然适用。
• 改进此前已知的可逆仿射网中可覆盖性的 2EXPSPACE 上界。

提出的方法

• 利用 Lazić 和 Schmitz 提出的“理想视角”框架，分析 ℕᵈ 上受控的、强单调的下闭集递减链。
• 应用 Künnemann 等人（ICALP 2023）提出的“细向量”概念，将链分解为有界长度的前缀和低维的后缀。
• 通过维度 d 的归纳法，将链的长度界为 n²ᴼ⁽ᵈ⁾，其中 n 为输入大小。
• 通过链元素的多项式时间计算，将链长度界转化为反向可覆盖性算法的运行时间界。
• 通过证明其递减链为 ω-单调，将分析扩展至可逆仿射网，保持 n²ᴼ⁽ᵈ⁾ 界不变。
• 通过结合新上界与已知的难解性结果，证明可逆仿射网的可覆盖性问题是 EXPSPACE-完全的。

实验结果

研究问题

• RQ1 一元编码 VAS 中最小可覆盖执行长度的 n²ᴼ⁽ᵈ⁾ 上界，能否扩展至反向可覆盖性算法的运行时间？
• RQ2 ℕᵈ 中受控的、强单调的下闭集递减链是否也具有与最小执行中相同的 n²ᴼ⁽ᵈ⁾ 长度界？
• RQ3 相同的 n²ᴼ⁽ᵈ⁾ 界是否适用于可逆仿射网的可覆盖性问题，从而超越 VAS 的范围？
• RQ4 能否利用新的链长分析，改进可逆仿射网中可覆盖性的 2EXPSPACE 上界？
• RQ5 在指数时间假设下，n²ᴼ⁽ᵈ⁾ 界对这些问题是否最优？

主要发现

• ℕᵈ 上受控的、强单调的下闭集递减链的长度被界为 n²ᴼ⁽ᵈ⁾，与最小可覆盖执行的紧致界一致。
• d 维一元编码 VAS 的反向可覆盖性算法运行时间为 n²ᴼ⁽ᵈ⁾，优于先前的 n²ᴼ⁽ᵈ lg d⁾ 界。
• 相同的 n²ᴼ⁽ᵈ⁾ 上界适用于可逆仿射网的可覆盖性问题，改进了此前已知的 2EXPSPACE 界。
• 该界在指数时间假设下是最优的，由 Künnemann 等人（2023）的条件性下界结果证实。
• 该分析可扩展至严格递增的仿射网，其同样生成 ω-单调的递减链，且具有相同的 n²ᴼ⁽ᵈ⁾ 长度界。
• 证明了可逆仿射网的可覆盖性问题是 EXPSPACE-完全的，其上界由新的链长分析推导得出。