[논문 리뷰] On the Transience of Linear Max-Plus Dynamical Systems

Bernadette Charron-Bost, Matthias Függer외 1명|arXiv (Cornell University)|2011. 11. 20.

Cellular Automata and Applications참고 문헌 15인용 수 7

한 줄 요약

이 논문은 선형 max-plus 동적 시스템에서 일시적인 행동을 분석하기 위해 두 가지 새로운 그래프 이론적 방법—탐색적 경로 구축과 반복적 경로 구축—을 제안한다. 브라우어 정리와 유사한 새로운 수론적 보조정리(lemma)를 활용하여, 나무와 같은 주요 그래프 가족의 경우 시스템 크기와 선형적인 상한을 도출함으로써 기존의 이차 또는 지수적 상한에 비해 훨씬 더 날카운 상한을 확보한다. 이는 풀 리버설 알고리즘과 같은 시스템의 성능 예측을 더욱 정밀하게 가능하게 한다.

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 시스템 그래프의 임계 부분그래프에서 임의로 긴 닫힌 경로를 구축하기 위한 새로운 방법을 개발한다.
• 기존의 이차 또는 지수적 상한과 대비하여 시스템 크기와 선형적인 더 날카운 상한을 확립하고 분석 가능하게 한다.
• 행렬의 일시적 행동과 max-plus 대수에서 시스템의 일시적 행동 간의 관계를 명확히 한다.
• 새로운 상한을 활용하여 라우팅 및 스케줄링 맥락에서 풀 리버설 알고리즘을 분석한다.

제안 방법

• max-plus 행렬의 관련 그래프의 임계 부분그래프에서 긴 가중 닫힌 경로를 구축할 수 있도록, 브라우어 정리의 그래프 이론적 대응을 새롭게 도입한다.
• 임계 부분그래프의 모든 강한 연결 성분을 방문하는 데 사용되는 '탐색 방법'과, 한 개의 닫힌 경로를 반복적으로 순환하는 데 사용되는 '반복 방법'을 제안한다.
• 탐색 비용과 임계 상한과 같은 새로운 그래프 매개변수를 정의하여 일시적 행동 분석을 정교화한다.
• 수론적 보조정리를 사용하여 경로 길이와 가중치를 제어하고, 정밀한 일시적 행동 추정을 가능하게 한다.
• 행렬 역행렬과 부호 반전을 통해 풀 리버설 알고리즘을 max-plus 선형 시스템으로 변환함으로써, min-plus 시스템에 상한을 적용한다.
• 임계 부분그래프의 구조와 경로 가중치 누적의 특성을 이용하여 일시적 지속 시간에 대한 상한을 유도한다.

실험 결과

연구 질문

• RQ1 그래프 이론적 경로 구축 기법을 활용하여 선형 max-plus 시스템의 일시적 행동에 대해 더 날카운 상한을 도출할 수 있는가?
• RQ2 특히 하트만과 아르구엘레스의 상한과 비교할 때, 새로운 상한은 시스템 크기 의존성과 날카움 측면에서 어떻게 다른가?
• RQ3 행렬의 일시적 행동은 이차 벡터 노름을 갖는 대응 선형 시스템의 일시적 행동과 관련이 있는가?
• RQ4 라우팅 및 스케줄링 맥락에서 max-plus 시스템으로 모델링된 풀 리버설 알고리즘의 일시적 행동은 어떠한가?
• RQ5 나무와 같은 중요한 경우에서 기존의 이차 또는 악화된 상한에 비해 새로운 상한이 선형 일시적 복잡도를 도출할 수 있는가?

주요 결과

• 탐색적 방법과 반복적 방법의 상한은 이븐과 라이즈버그, 소토 이 코엘레메이저의 상한보다 날카롭고, 하트만과 아르구엘레스의 상한과는 비교 불가능하다.
• 나무 구조 시스템의 경우 일시적 행동은 N에 대해 선형적으로 상한이 주어지며, 구체적으로 ≤ 2(N−1)로 제한된다. 이는 이전의 이차 상한보다 향상된 결과이다.
• 저자들의 방법적 개선을 통해 하트만과 아르구엘레스의 상한은 두 배로 향상되었다.
• 나무에서의 풀 리버설 라우팅의 경우 일시적 행동은 최대 2(N−1)이며, 이는 기존의 알려진 결과를 새로운 증명과 더 날카운 분석으로 확인한 것이다.
• 나무에서의 풀 리버설 스케줄링의 경우 일시적 행동은 6(N−3) 이하로 상한이 주어지며, 이는 N에 대해 선형적이다—이는 이전까지 알려지지 않은 결과이며, 말카와 라이즈버그의 O(N⁴) 상한에 비해 상당한 향상이다.
• N×N 행렬 A의 일시적 행동은 상수 배수의 오차를 제외하면, 이차 벡터 노름을 갖는 A-선형 시스템의 일시적 행동과 동일하다.