Approximating minimum feedback sets and multicuts in directed graphs

被引:191
作者
Even, G
Naor, J
Schieber, B
Sudan, M
机构
[1] TECHNION ISRAEL INST TECHNOL, DEPT COMP SCI, IL-32000 HAIFA, ISRAEL
[2] IBM CORP, THOMAS J WATSON RES CTR, YORKTOWN HTS, NY 10598 USA
关键词
feedback vertex set; feedback edge set; multicuts;
D O I
10.1007/PL00009191
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
This paper deals with approximating feedback sets in directed graphs. We consider two related problems: the weighted feedback vertex set (FVS) problem, and the weighted feedback edge set (FES) problem. In the FVS (resp. FES) problem, one is given a directed graph with weights (each of which is at least one) on the vertices (resp, edges), and is asked to find a subset of vertices (resp. edges) with minimum total weight that intersects every directed cycle in the graph. These problems are among the classical NP-hard problems and have many applications. We also consider a generalization of these problems: SUBSET-FVS and SUBSET-FES, in which the feedback set has to intersect only a subset of the directed cycles in the graph. This subset consists of all the cycles that go through a distinguished input subset of vertices and edges, denoted by X. This generalization is also NP-hard even when \X\ = 2. We present approximation algorithms for the SUBSET-FVS and SUBSET-FES problems. The first algorithm we present achieves an approximation factor of O(log(2)\X\). The second algorithm achieves an approximation factor of O (min(log tau* log log tau*, log n log log n)}, where tau* is the value of the optimum fractional solution of the problem at hand, and n is the number of vertices in the graph. We also define a multicut problem in a special type of directed networks which we call circular networks, and show that the SUBSET-FES and SUBSET-FVS problems are equivalent to this multicut problem. Another contribution of our paper is a combinatorial algorithm that computes a (1 + epsilon) approximation to the fractional optimal feedback vertex set. Computing the approximate solution is much simpler and more efficient than general linear programming methods. All of our algorithms use this approximate solution.
引用
收藏
页码:151 / 174
页数:24
相关论文
共 23 条
[1]  
Abramovici M, 1990, DIGITAL SYSTEMS TEST
[2]  
Even G, 1995, AN S FDN CO, P62, DOI 10.1109/SFCS.1995.492463
[3]  
FRANK A, 1976, C INT CNRS, V260, P157
[4]   Approximate max-flow min-(multi)cut theorems and their applications [J].
Garg, N ;
Vazirani, VV ;
Yannakakis, M .
SIAM JOURNAL ON COMPUTING, 1996, 25 (02) :235-251
[5]  
GOEMANS MX, 1996, P 5 MPS C INT PROGR, P147
[6]  
GUPTA R, 1989, 19TH P INT S FAULT T, P118
[7]   MULTI-COMMODITY NETWORK FLOWS [J].
HU, TC .
OPERATIONS RESEARCH, 1963, 11 (03) :344-360
[8]  
Karp R. M., 1972, PROC IEEE 50 ANN S F, P85, DOI DOI 10.1007/978-1-4684-2001-2_9
[9]   AN APPROXIMATE MAX-FLOW MIN-CUT RELATION FOR UNDIRECTED MULTICOMMODITY FLOW, WITH APPLICATIONS [J].
KLEIN, P ;
RAO, S ;
AGRAWAL, A ;
RAVI, R .
COMBINATORICA, 1995, 15 (02) :187-202
[10]  
KLEIN P, 1990, 22ND P ANN ACM S THE, P310