New transience bounds for max-plus linear systems

被引:3
作者
Charron-Bost, Bernadette [1 ]
Fugger, Matthias [2 ]
Nowak, Thomas [3 ]
机构
[1] Ecole Polytech, CNRS, LIX, F-91128 Palaiseau, France
[2] TU Wien, ECS Grp, A-1040 Vienna, Austria
[3] Ecole Polytech, LIX, F-91128 Palaiseau, France
基金
奥地利科学基金会;
关键词
Transience bounds; Max-plus systems; Cyclic scheduling; Network synchronizers; Link-reversal algorithms; PERFORMANCE EVALUATION;
D O I
10.1016/j.dam.2016.11.003
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
Linear max-plus systems describe the behavior of a large variety of complex systems. It is known that these systems show a periodic behavior after an initial transient phase. Assessment of the length of this transient phase provides important information on complexity measures of such systems, and so is crucial in system design. We identify relevant parameters in a graph representation of these systems and propose a modular strategy to derive new upper bounds on the length of the transient phase. By that we are the first to give asymptotically tight and potentially subquadratic transience bounds. We use our bounds to derive new complexity results, in particular in distributed computing. (C) 2016 Elsevier B.V. All rights reserved.
引用
收藏
页码:83 / 99
页数:17
相关论文
共 29 条
[1]  
[Anonymous], 1950, MATH Z
[2]  
Attiya H, 2010, LECT NOTES COMPUT SC, V6366, P405
[3]   COMPLEXITY OF NETWORK SYNCHRONIZATION [J].
AWERBUCH, B .
JOURNAL OF THE ACM, 1985, 32 (04) :804-823
[4]   CONCURRENCY IN HEAVILY LOADED NEIGHBORHOOD-CONSTRAINED SYSTEMS [J].
BARBOSA, VC ;
GAFNI, E .
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1989, 11 (04) :562-584
[5]  
Bouillard A., 2000, 4096 INRIA
[6]   Analysis of link reversal routing algorithms [J].
Busch, C ;
Tirthapura, S .
SIAM JOURNAL ON COMPUTING, 2005, 35 (02) :305-326
[7]  
CHANDY KM, 1984, ACM T PROGR LANG SYS, V6, P632, DOI 10.1145/1780.1804
[8]   Time Complexity of Link Reversal Routing [J].
Charron-Bost, Bernadette ;
Fuegger, Matthias ;
Welch, Jennifer L. ;
Widder, Josef .
ACM TRANSACTIONS ON ALGORITHMS, 2015, 11 (03)
[9]   LINK REVERSAL ROUTING WITH BINARY LINK LABELS: WORK COMPLEXITY [J].
Charron-Bost, Bernadette ;
Gaillard, Antoine ;
Welch, Jennifer L. ;
Widder, Josef .
SIAM JOURNAL ON COMPUTING, 2013, 42 (02) :634-661
[10]   ALGEBRAIC TOOLS FOR THE PERFORMANCE EVALUATION OF DISCRETE EVENT SYSTEMS [J].
COHEN, G ;
MOLLER, P ;
QUADRAT, JP ;
VIOT, M .
PROCEEDINGS OF THE IEEE, 1989, 77 (01) :39-58