Approximating the minimum cycle mean

被引:4
|
作者
Chatterjee, Krishnendu [1 ]
Henzinger, Monika [2 ]
Krinninger, Sebastian [2 ]
Loitzenbauer, Veronika [2 ]
Raskin, Michael A. [3 ,4 ]
机构
[1] IST Austria, A-3400 Klosterneuburg, Austria
[2] Univ Vienna, Fac Comp Sci, A-1090 Vienna, Austria
[3] Independent Univ Moscow, Moscow 115162, Russia
[4] Moscow Inst Phys & Technol, Dolgoprudnyi 141700, Russia
基金
俄罗斯基础研究基金会; 奥地利科学基金会;
关键词
Quantitative verification; Graph algorithm; Mean-payoff objective; Approximation algorithm; PARAMETRIC SHORTEST-PATH; SCALING ALGORITHMS; MAXIMUM; GAMES;
D O I
10.1016/j.tcs.2014.06.031
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We consider directed graphs where each edge is labeled with an integer weight and study the fundamental algorithmic question of computing the value of a cycle with minimum mean weight. Our contributions are twofold: (1) First we show that the algorithmic question is reducible to the problem of a logarithmic number of min-plus matrix multiplications of n x n-matrices, where n is the number of vertices of the graph. (2) Second, when the weights are nonnegative, we present the first (1 + is an element of)-approximation algorithm for the problem and the running time of our algorithm is (O) over tilde (n(omega) log(3) (nW/is an element of)/is an element of),(1) where O(n(omega)) is the time required for the classic n x n-matrix multiplication and W is the maximum value of the weights. With an additional O(log(nW/is an element of)) factor in space a cycle with approximately optimal weight can be computed within the same time bound. (C) 2014 Elsevier B.V. All rights reserved.
引用
收藏
页码:104 / 116
页数:13
相关论文
共 50 条