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 条
  • [1] Approximating the minimum cycle mean
    Chatterjee, Krishnendu
    Henzinger, Monika
    Krinninger, Sebastian
    Loitzenbauer, Veronika
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (119): : 136 - 149
  • [2] A PARALLEL ALGORITHM FOR APPROXIMATING THE MINIMUM CYCLE COVER
    KLEIN, P
    STEIN, C
    ALGORITHMICA, 1993, 9 (01) : 23 - 31
  • [3] A note on finding minimum mean cycle
    Chaturvedi, Mmanu
    McConnell, Ross M.
    INFORMATION PROCESSING LETTERS, 2017, 127 : 21 - 22
  • [4] CHARACTERIZATION OF MINIMUM CYCLE MEAN IN A DIGRAPH
    KARP, RM
    DISCRETE MATHEMATICS, 1978, 23 (03) : 309 - 311
  • [5] On approximating mean waiting times in polling models with half of the mean cycle time
    Fuhrmann, S
    TELETRAFFIC CONTRIBUTIONS FOR THE INFORMATION AGE, 1997, 2 : 265 - 273
  • [6] Approximating minimum cocolorings
    Fomin, FV
    Kratsch, D
    Novelli, JC
    INFORMATION PROCESSING LETTERS, 2002, 84 (05) : 285 - 290
  • [7] About the minimum mean cycle-canceling algorithm
    Gauthier, Jean Bertrand
    Desrosiers, Jacques
    Luebbecke, Marco E.
    DISCRETE APPLIED MATHEMATICS, 2015, 196 : 115 - 134
  • [8] The minimum mean cycle-canceling algorithm for linear programs
    Gauthier, Jean Bertrand
    Desrosiers, Jacques
    EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2022, 298 (01) : 36 - 44
  • [10] NEW SCALING ALGORITHMS FOR THE ASSIGNMENT AND MINIMUM MEAN CYCLE PROBLEMS
    ORLIN, JB
    AHUJA, RK
    MATHEMATICAL PROGRAMMING, 1992, 54 (01) : 41 - 56