[论文解读] On the Transience of Linear Max-Plus Dynamical Systems

Bernadette Charron-Bost, Matthias Függer+1 more|arXiv (Cornell University)|Nov 20, 2011

Cellular Automata and Applications参考文献 15被引用 7

一句话总结

本文提出了两种新颖的图论方法——探索性路径构建与重复性路径构建，用于分析线性最大-加法动力系统中的瞬态行为。通过利用一种类似于Brauer定理的新型数论引理，作者推导出针对树等关键图族的更紧致的上界，其瞬态时间与系统规模呈线性关系，显著优于以往的二次或指数级上界，从而实现了对全反转算法等系统性能的更精确预测。

ABSTRACT

We study the transients of linear max-plus dynamical systems. For that, we consider for each irreducible max-plus matrix A, the weighted graph G(A) such that A is the adjacency matrix of G(A). Based on a novel graph-theoretic counterpart to the number-theoretic Brauer's theorem, we propose two new methods for the construction of arbitrarily long paths in G(A) with maximal weight. That leads to two new upper bounds on the transient of a linear max-plus system which both improve on the bounds previously given by Even and Rajsbaum (STOC 1990, Theory of Computing Systems 1997), by Bouillard and Gaujal (Research Report 2000), and by Soto y Koelemeijer (PhD Thesis 2003), and are, in general, incomparable with Hartmann and Arguelles' bound (Mathematics of Operations Research 1999). With our approach, we also show how to improve the latter bound by a factor of two. A significant benefit of our bounds is that each of them turns out to be linear in the size of the system in various classes of linear max-plus system whereas the bounds previously given are all at least quadratic. Our second result concerns the relationship between matrix and system transients: We prove that the transient of an NxN matrix A is, up to some constant, equal to the transient of an A-linear system with an initial vector whose norm is quadratic in N. Finally, we study the applicability of our results to the well-known Full Reversal algorithm whose behavior can be described as a min-plus linear system.

研究动机与目标

• 改进线性最大-加法动力系统中瞬态时间的上界，特别是针对树等结构化图类。
• 开发新方法，用于在最大-加法系统图的关键子图中构建任意长的闭合路径。
• 建立与系统规模呈线性关系的更紧致、更具可分析性的上界，与以往的二次或指数级上界形成对比。
• 阐明最大-加法代数中矩阵瞬态与系统瞬态之间的关系。
• 将新上界应用于路由和调度场景中全反转算法的分析。

提出的方法

• 引入一种新颖的图论方法，作为Brauer定理的图论对应物，以在最大-加法矩阵关联图的关键子图中构建长加权闭合路径。
• 提出“探索方法”以遍历关键子图的所有强连通分量，以及“重复方法”以反复遍历单条闭合路径。
• 定义新的图论参数，如探索惩罚和关键上界，以细化瞬态分析。
• 利用数论引理控制路径长度与权重，实现对瞬态的精确估计。
• 通过矩阵求逆与符号反转，将全反转算法转化为最大-加法线性系统，从而将上界应用于最小-加法系统。
• 利用关键子图的结构与路径权重累积，推导出瞬态持续时间的上界。

实验结果

研究问题

• RQ1 能否通过图论路径构造技术，推导出线性最大-加法系统瞬态的更紧致上界？
• RQ2 与现有上界（特别是Hartmann和Arguelles的上界）相比，新上界在紧致性与系统规模依赖性方面表现如何？
• RQ3 矩阵的瞬态能否与对应线性系统在二次范数初始向量下的瞬态相关联？
• RQ4 当建模为最大-加法系统时，全反转算法在路由与调度中的瞬态行为如何？
• RQ5 在树等重要情形下，新上界能否实现线性瞬态复杂度，而此前的上界为二次或更差？

主要发现

• 探索方法与重复方法的上界均优于Even与Rajsbaum以及Soto y Koelemeijer的上界，且与Hartmann和Arguelles的上界不可比较。
• 对于树状结构系统，瞬态时间以N为变量呈线性有界，具体为≤ 2(N−1)，优于以往的二次上界。
• 通过作者的方法论优化，Hartmann与Arguelles的上界被改进了两倍。
• 在树上的全反转路由情形中，瞬态时间最多为2(N−1)，以新证明方式确认了已知结果，并实现了更紧致的分析。
• 对于树上的全反转调度，瞬态时间被限制在6(N−3)以内，该结果与N呈线性关系——此前未知，且显著优于Malka与Rajsbaum的O(N⁴)上界。
• N×N矩阵A的瞬态时间，最多相差一个常数因子，等于对应A-线性系统在二次范数初始向量下的瞬态时间。