This Article Full Text (PDF) References Alert me when this article is cited Alert me if a correction is posted Services Email this article to a friend Similar articles in this journal Alert me to new issues of the journal Download to citation manager Citing Articles Citing Articles via Google Scholar Google Scholar Articles by Karger, D. R. Articles by Young, N. E. Search for Related Content

Rounding Algorithms for a Geometric Embedding of Minimum Multiway Cut

Building 32-G592, 32 Vassar Street, MIT Computer Science and Artificial Intelligence Laboratory, The Stata Center, Cambridge, Massachusetts 02139
Department of Computer Science, Brown University, Providence, Rhode Island 02912
Department of Industrial Engineering and Operations Research, Columbia University, New York, New York 10027
AT&T Labs–Research, Shannon Laboratory, 180 Park Avenue, Florham Park, New Jersey 07932
Department of Computer Science, University of California, Riverside, Riverside, California 92521
karger{at}mit.edu
klein{at}cs.brown.edu
cliff{at}ieor.columbia.edu
mthorup{at}research.att.com
neal{at}cs.ucr.edu

Given an undirected graph with edge costs and a subset of k3 nodes called terminals, a multiway, or k-way, cut is a subset of the edges whose removal disconnects each terminal from the others. The multiway cut problem is to find a minimum-cost multiway cut. This problem is Max-SNP hard. Recently, Calinescu et al. (Calinescu, G., H. Karloff, Y. Rabani. 2000. An improved approximation algorithm for Multiway Cut. J. Comput. System Sci. 60(3) 564–574) gave a novel geometric relaxation of the problem and a rounding scheme that produced a (3/2–1/k)-approximation algorithm.

In this paper, we study their geometric relaxation. In particular, we study the worst-case ratio between the value of the relaxation and the value of the minimum multicut (the so-called integrality gap of the relaxation). For k=3, we show the integrality gap is 12/11, giving tight upper and lower bounds. That is, we exhibit a family of graphs with integrality gaps arbitrarily close to 12/11 and give an algorithm that finds a cut of value 12/11 times the relaxation value. Our lower bound shows that this is the best possible performance guarantee for any algorithm based purely on the value of the relaxation. Our upper bound meets the lower bound and improves the factor of 7/6 shown by Calinescu et al.

For all k, we show that there exists a rounding scheme with performance ratio equal to the integrality gap, and we give explicit constructions of polynomial-time rounding schemes that lead to improved upper bounds. For k=4 and 5, our best upper bounds are based on computer-constructed rounding schemes (with computer proofs of correctness). For general k we give an algorithm with performance ratio 1.3438–_k.

Our results were discovered with the help of computational experiments that we also describe here.

Key Words: multiway cut; approximation algorithm
History: Received: August 16, 2001; revision received: March 14, 2003;