Approximation algorithms for the feedback vertex set problem with applications to constraint satisfaction and Bayesian inference

被引:107
作者
Bar-Yehuda, R [1 ]
Geiger, D
Naor, J
Roth, RM
机构
[1] Technion Israel Inst Technol, Dept Comp Sci, IL-32000 Haifa, Israel
[2] SUNY Buffalo, Buffalo, NY 14260 USA
[3] Rutgers State Univ, DIMACS, Piscataway, NJ 08855 USA
关键词
approximation algorithms; vertex feedback set; combinatorial optimization; Bayesian networks; constraint satisfaction;
D O I
10.1137/S0097539796305109
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
A feedback vertex set of an undirected graph is a subset of vertices that intersects with the vertex set of each cycle in the graph. Given an undirected graph G with n vertices and weights on its vertices, polynomial-time algorithms are provided for approximating the problem of finding a feedback vertex set of G with smallest weight. When the weights of all vertices in G are equal, the performance ratio attained by these algorithms is 4 - (2/n). This improves a previous algorithm which achieved an approximation factor of O(root log n) for this case. For general vertex weights, the performance ratio becomes min {2 Delta(2), 4 log(2)n} where Delta denotes the maximum degree in G. For the special case of planar graphs this ratio is reduced to 10. An interesting special case of weighted graphs where a performance ratio of 4 - (2/n) is achieved is the one where a prescribed subset of the vertices, so-called blackout vertices, is not allowed to participate in any feedback vertex set. It is shown how these algorithms can improve the search performance for constraint satisfaction problems. An application in the area of Bayesian inference of graphs with blackout vertices is also presented.
引用
收藏
页码:942 / 959
页数:18
相关论文
共 28 条
[1]  
[Anonymous], 1979, Computers and Intractablity: A Guide to the Theoryof NP-Completeness
[2]  
BAFNA V, 1995, LECT NOTES COMPUTER, V1004, P142
[3]   APPROXIMATION ALGORITHMS FOR NP-COMPLETE PROBLEMS ON PLANAR GRAPHS [J].
BAKER, BS .
JOURNAL OF THE ACM, 1994, 41 (01) :153-180
[4]  
Bar-Yehuda R., 1985, ANN DISCRETE MATH, V25, P27, DOI DOI 10.1016/S0304-0208(08)73101-3
[5]  
BARYEHUDA R, 1994, PROCEEDINGS OF THE FIFTH ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, P344
[6]   Optimization of Pearl's method of conditioning and greedy-like approximation algorithms for the vertex feedback set problem [J].
Becker, A ;
Geiger, D .
ARTIFICIAL INTELLIGENCE, 1996, 83 (01) :167-188
[7]   ENHANCEMENT SCHEMES FOR CONSTRAINT PROCESSING - BACKJUMPING, LEARNING, AND CUTSET DECOMPOSITION [J].
DECHTER, R .
ARTIFICIAL INTELLIGENCE, 1990, 41 (03) :273-312
[8]  
Dechter R., 1988, ARTIF INTELL, P370, DOI DOI 10.1016/0004-3702(87)90002-6
[9]  
DECHTER R, 1987, P 3 IEEE AI APPL ORL
[10]   ON INDEPENDENT CIRCUITS CONTAINED IN A GRAPH [J].
ERDOS, P ;
POSA, L .
CANADIAN JOURNAL OF MATHEMATICS, 1965, 17 (02) :347-&