Abstract
We study the problem of finding the minimum number of edges that, when cut, form a partition of the vertices into k sets of equal size. This is called the k-BALANCED PARTITIONING problem. The problem is known to be inapproximable within any finite factor on general graphs, while little is known about restricted graph classes.
We show that the k-BALANCED PARTITIONING problem remains APX-hard even when restricted to unweighted tree instances with constant maximum degree. If instead the diameter of the tree is constant we prove that the problem is NP-hard to approximate within n c, for any constant c<1.
If vertex sets are allowed to deviate from being equal-sized by a factor of at most 1+ε, we show that solutions can be computed on weighted trees with cut cost no worse than the minimum attainable when requiring equal-sized sets. This result is then extended to general graphs via decompositions into trees and improves the previously best approximation ratio from O(log1.5(n)/ε 2) [Andreev and Räcke in Theory Comput. Syst. 39(6):929–939, 2006] to O(logn). This also settles the open problem of whether an algorithm exists for which the number of edges cut is independent of ε.
Similar content being viewed by others
References
Andreev, K., Räcke, H.: Balanced graph partitioning. Theory Comput. Syst. 39(6), 929–939 (2006)
Arbenz, P., van Lenthe, G., Mennel, U., Müller, R., Sala, M.: Multi-level μ-finite element analysis for human bone structures. In: Proceedings of the 8th Workshop on State-of-the-Art in Scientific and Parallel Computing (PARA), pp. 240–250 (2007)
Arora, S., Rao, S., Vazirani, U.: Expander flows, geometric embeddings and graph partitioning. In: Proceedings of the 26th Annual ACM Symposium on Theory of Computing (STOC), pp. 222–231 (2004)
Bansal, N., Coppersmith, D., Schieber, B.: Minimizing setup and beam-on times in radiation therapy. In: Proceedings of the 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX), pp. 27–38 (2006)
Bhatt, S.N., Leighton, F.T.: A framework for solving VLSI graph layout problems. J. Comput. Syst. Sci. 28(2), 300–343 (1984)
Bodlaender, H., Schuurman, P., Woeginger, G.: Scheduling of pipelined operator graphs. J. Sched. 15, 323–332 (2012)
Delling, D., Goldberg, A., Pajor, T., Werneck, R.: Customizable route planning. Exp. Algorithms 6630, 376–387 (2011)
Díaz, J., Serna, M.J., Torán, J.: Parallel approximation schemes for problems on planar graphs. Acta Inform. 33(4), 387–408 (1996)
Díaz, J., Petit, J., Serna, M.J.: A survey of graph layout problems. ACM Comput. Surv. 34(3), 313–356 (2002)
Even, G., Naor, J.S., Rao, S., Schieber, B.: Fast approximate graph partitioning algorithms. SIAM J. Comput. 28(6), 2187–2214 (1999)
Feldmann, A.E.: Fast balanced partitioning is hard, even on grids and trees. In: Proceedings of the 37th International Symposium on Mathematical Foundations of Computer Science (MFCS) (2012)
Feldmann, A.E.: Balanced partitioning of grids and related graphs: a theoretical study of data distribution in parallel finite element model simulations. PhD thesis, ETH Zurich, April 2012. Diss.-Nr. ETH: 20371
Feldmann, A.E., Foschini, L.: Balanced partitions of trees and applications. In: 29th International Symposium on Theoretical Aspects of Computer Science (STACS), pp. 100–111 (2012)
Feldmann, A.E., Widmayer, P.: An O(n 4) time algorithm to compute the bisection width of solid grid graphs. In: Proceedings of the 19th Annual European Symposium on Algorithms (ESA), pp. 143–154 (2011)
Feldmann, A.E., Das, S., Widmayer, P.: Restricted cuts for bisections in solid grids: a proof via polygons. In: Proceedings of the 37th International Workshop on Graph-Theoretic Concepts in Computer Science (WG), pp. 143–154 (2011)
Feo, T.A., Khellaf, M.: A class of bounded approximation algorithms for graph partitioning. Networks 20(2), 181–195 (1990)
Feo, T., Goldschmidt, O., Khellaf, M.: One-half approximation algorithms for the k-partition problem. Oper. Res. 40, 170–173 (1992)
Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H. Freeman, New York (1979)
Hochbaum, D.S., Shmoys, D.B.: A polynomial approximation scheme for machine scheduling on uniform processors: using the dual approximation approach. SIAM J. Comput. 17(3), 539–551 (1988)
Kirkpatrick, D.G., Hell, P.: On the completeness of a generalized matching problem. In: Proceedings of the 10th Annual ACM Symposium on Theory of Computing (STOC), pp. 240–245 (1978)
Klein, P., Plotkin, S.A., Rao, S.: Excluded minors, network decomposition, and multicommodity flow. In: Proceedings of the 25th Annual ACM Symposium on Theory of Computing (STOC), pp. 682–690 (1993)
Krauthgamer, R., Naor, J., Schwartz, R.: Partitioning graphs into balanced components. In: Proceedings of the 20th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pp. 942–949 (2009)
Kwatra, V., Schödl, A., Essa, I., Turk, G., Bobick, A.: Graphcut textures: image and video synthesis using graph cuts. ACM Trans. Graph. 22(3), 277–286 (2003)
Leighton, T., Rao, S.: Multicommodity max-flow min-cut theorems and their use in designing approximation algorithms. J. ACM 46(6), 787–832 (1999)
Lipton, R.J., Tarjan, R.E.: Applications of a planar separator theorem. SIAM J. Comput. 9, 615–627 (1980)
MacGregor, R.M.: On partitioning a graph: a theoretical and empirical study. PhD thesis, University of California, Berkeley (1978)
Madry, A.: Fast approximation algorithms for cut-based problems in undirected graphs. In: Proceedings of the 51st Annual IEEE Symposium on Foundations of Computer Science (FOCS), pp. 245–254 (2010)
Park, J.K., Phillips, C.A.: Finding minimum-quotient cuts in planar graphs. In: Proceedings of the 25th Annual ACM Symposium on Theory of Computing (STOC), pp. 766–775 (1993)
Petrank, E.: The hardness of approximation: gap location. Comput. Complex. 4(2), 133–157 (1994)
Räcke, H.: Optimal hierarchical decompositions for congestion minimization in networks. In: Proceedings of the 40th Annual ACM Symposium on Theory of Computing (STOC) (2008)
Shi, J., Malik, J.: Normalized cuts and image segmentation. IEEE Trans. Pattern Anal. Mach. Intell. 22(8), 888–905 (2000)
Shmoys, D.B.: Cut problems and their application to divide-and-conquer. In: Hochbaum, D. (ed.) Approximation Algorithms for NP-Hard Problems, pp. 192–235. PWS Publishing, Boston (1996)
Simon, H.D., Teng, S.H.: How good is recursive bisection? SIAM J. Sci. Comput. 18(5), 1436–1445 (1997)
Soumyanath, K., Deogun, J.S.: On the bisection width of partial k-trees. In: Proceedings of the 20th Southeastern Conference on Combinatorics, Graph Theory, and Computing. Congressus Numerantium, vol. 74, pp. 25–37 (1990)
Vazirani, V.V.: Approximation Algorithms. Springer, Berlin (2003)
Williamson, D.P., Shmoys, D.B.: The Design of Approximation Algorithms. Cambridge University Press, Cambridge (2011)
Wu, Z., Leahy, R.: An optimal graph theoretic approach to data clustering: theory and its application to image segmentation. IEEE Trans. Pattern Anal. Mach. Intell. 15(11), 1101–1113 (1993)
Author information
Authors and Affiliations
Corresponding author
Additional information
The first author is supported by the Swiss National Science Foundation under grant 200021_125201/1. The second author is supported by the National Science Foundation grant IIS 0904501. An extended abstract [13] of this article appeared at the 29th International Symposium on Theoretical Aspects of Computer Science (STACS).
Rights and permissions
About this article
Cite this article
Feldmann, A.E., Foschini, L. Balanced Partitions of Trees and Applications. Algorithmica 71, 354–376 (2015). https://doi.org/10.1007/s00453-013-9802-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00453-013-9802-3