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 条
  • [41] On approximating restricted cycle covers
    Manthey, B
    APPROXIMATION AND ONLINE ALGORITHMS, 2006, 3879 : 282 - 295
  • [42] Approximating the Minimum Length of Synchronizing Words Is Hard
    Berlinkov, Mikhail V.
    THEORY OF COMPUTING SYSTEMS, 2014, 54 (02) : 211 - 223
  • [43] A rounding algorithm for approximating minimum Manhattan networks
    Chepoi, V
    Nouioua, K
    Vaxès, Y
    APPROXIMATION, RANDOMIZATION AND COMBINATORIAL OPTIMIZATION: ALGORITHMS AND TECHNIQUES, 2005, 3624 : 40 - 51
  • [44] Hardness of approximating the minimum distance of a linear code
    Micciancio, D
    Dumer, I
    Sudan, M
    2000 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY, PROCEEDINGS, 2000, : 252 - 252
  • [45] Approximating Images Using Minimum Bounding Rectangles
    Sleit, Azzam
    Salah, Imad
    Jabay, Rahmeh
    2008 FIRST INTERNATIONAL CONFERENCE ON THE APPLICATIONS OF DIGITAL INFORMATION AND WEB TECHNOLOGIES, VOLS 1 AND 2, 2008, : 401 - 403
  • [46] Approximating the Minimum Length of Synchronizing Words Is Hard
    Mikhail V. Berlinkov
    Theory of Computing Systems, 2014, 54 : 211 - 223
  • [47] APPROXIMATING MINIMUM COST CONNECTIVITY ORIENTATION AND AUGMENTATION
    Singh, Mohit
    Vegh, Laszlo A.
    SIAM JOURNAL ON COMPUTING, 2018, 47 (01) : 270 - 293
  • [48] APPROXIMATING POLYGONS AND SUBDIVISIONS WITH MINIMUM LINK PATHS
    GUIBAS, LJ
    HERSHBERGER, JE
    SNOEYINK, JS
    MITCHELL, JSB
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 557 : 151 - 162
  • [49] Approximating the Generalized Minimum Manhattan Network Problem
    Das, Aparna
    Fleszar, Krzysztof
    Kobourov, Stephen
    Spoerhase, Joachim
    Veeramoni, Sankar
    Wolff, Alexander
    ALGORITHMICA, 2018, 80 (04) : 1170 - 1190
  • [50] Approximating minimum feedback vertex sets in hypergraphs
    Fujito, T
    THEORETICAL COMPUTER SCIENCE, 2000, 246 (1-2) : 107 - 116