[論文レビュー] 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

ひとこと要約

本稿では、線形max-plus動的システムにおける一時的挙動を分析するための2つの新しいグラフ理論的技法——探索的経路構築法と反復的経路構築法——を導入する。著者らは、ブラウアーの定理に類似した新しい数論的補題を活用し、木構造などの主要なグラフ族に対して、システムの一次的挙動の上限を、従来の2次または指数的上限に比べて、システムサイズに線形に比例するよりタイトな上限に改善した。これにより、フルリバーサルアルゴリズムなどのシステムにおける性能予測がより厳密に行えるようになった。

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.

研究の動機と目的

• 線形max-plus動的システムにおける一時的挙動の上限を改善すること、特に木構造などの構造的グラフクラスに対して。
• max-plusシステムのグラフの臨界部分グラフ内に任意に長い閉路を構築するための新手法を開発すること。
• システムサイズに線形に比例する、よりタイトで解析可能な上限を確立すること。これは、従来の2次または指数的上限とは対照的である。
• 行列の一時的挙動とmax-plus代数におけるシステムの一時的挙動との関係を明確にすること。
• 新規の上限を用いて、ルーティングおよびスケジューリングの文脈におけるフルリバーサルアルゴリズムを分析すること。

提案手法

• max-plus行列の関連グラフの臨界部分グラフ内に長さと重みが長い閉路を構築できるように、ブラウアーの定理のグラフ理論的類似形を導入する。
• 臨界部分グラフのすべての強連結成分を訪問する「探索的手法」と、1つの閉路を繰り返し走破する「反復的手法」を提案する。
• 探索ペナルティや臨界上限といった新しいグラフパラメータを定義し、一時的挙動の分析を精緻化する。
• 数論的補題を用いて経路の長さと重みを制御し、正確な一時的挙動推定を可能にする。
• 行列の逆行列と符号反転を用いてフルリバーサルアルゴリズムをmax-plus線形システムに変換することで、min-plusシステムへの応用を実現する。
• 臨界部分グラフの構造と経路重みの累積を用いて、一時的期間の上限を導出する。

実験結果

リサーチクエスチョン

• RQ1 グラフ理論的経路構築技法を用いて、線形max-plusシステムの一時的挙動のよりタイトな上限を導出可能か？
• RQ2 本稿の上限は、ヘールトマンとアルゲウエスの上限と比較して、タイトさとシステムサイズ依存性の点でどのように異なるか？
• RQ3 行列の一時的挙動は、2次ノルムの初期ベクトルを持つ対応する線形システムの一時的挙動と関係づけられるか？
• RQ4 ルーティングおよびスケジューリングにおいて、max-plusシステムとしてモデル化されたフルリバーサルアルゴリズムの一時的挙動はいかなるものか？
• RQ5 本稿の上限は、従来の2次またはそれ以上の上限であった木構造のような重要なケースにおいて、線形の一時的複雑度を達成できるか？

主な発見

• 探索的および反復的上限は、イーヴンとラウズバウム、ソト・イ・コエルマイエールの上限よりもタイトであり、ヘールトマンとアルゲウエスの上限とは比較不能である。
• 木構造のシステムでは、一時的挙動がNに線形に比例し、具体的には≤ 2(N−1)で抑えられ、従来の2次上限に比べて改善された。
• 著者らの手法的精緻化により、ヘールトマンとアルゲウエスの上限は2倍の改善が達成された。
• 木構造上のフルリバーサルルーティングにおいて、一時的挙動は最大で2(N−1)であり、既知の結果を新たな証明とより厳密な解析で再確認した。
• 木構造上のフルリバーサルスケジューリングでは、一時的挙動が6(N−3)で抑えられ、これはNに線形に比例する——これは従来未知であり、マルカとラウズバウムのO(N⁴)の上限に比べて顕著な改善である。
• N×N行列Aの一次的挙動は、定数倍の差を除き、Nの2次ノルムの初期ベクトルを持つA線形システムの一時的挙動と等しい。