Skip to main content
Log in

Balanced Partitions of Trees and Applications

  • Published:
Algorithmica Aims and scope Submit manuscript

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 ε.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8

Similar content being viewed by others

Notes

  1. We thank an anonymous reviewer for pointing out this folklore result.

  2. We thank Nikhil Bansal for pointing out the connection between the reductions in [18] and the results by Petrank [29].

References

  1. Andreev, K., Räcke, H.: Balanced graph partitioning. Theory Comput. Syst. 39(6), 929–939 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  2. 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)

    Chapter  Google Scholar 

  3. 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)

    Google Scholar 

  4. 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)

    Chapter  Google Scholar 

  5. Bhatt, S.N., Leighton, F.T.: A framework for solving VLSI graph layout problems. J. Comput. Syst. Sci. 28(2), 300–343 (1984)

    Article  MATH  MathSciNet  Google Scholar 

  6. Bodlaender, H., Schuurman, P., Woeginger, G.: Scheduling of pipelined operator graphs. J. Sched. 15, 323–332 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  7. Delling, D., Goldberg, A., Pajor, T., Werneck, R.: Customizable route planning. Exp. Algorithms 6630, 376–387 (2011)

    Article  Google Scholar 

  8. Díaz, J., Serna, M.J., Torán, J.: Parallel approximation schemes for problems on planar graphs. Acta Inform. 33(4), 387–408 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  9. Díaz, J., Petit, J., Serna, M.J.: A survey of graph layout problems. ACM Comput. Surv. 34(3), 313–356 (2002)

    Article  Google Scholar 

  10. Even, G., Naor, J.S., Rao, S., Schieber, B.: Fast approximate graph partitioning algorithms. SIAM J. Comput. 28(6), 2187–2214 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  11. 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)

    Google Scholar 

  12. 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

  13. 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)

    Google Scholar 

  14. 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)

    Google Scholar 

  15. 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)

    Chapter  Google Scholar 

  16. Feo, T.A., Khellaf, M.: A class of bounded approximation algorithms for graph partitioning. Networks 20(2), 181–195 (1990)

    Article  MATH  MathSciNet  Google Scholar 

  17. Feo, T., Goldschmidt, O., Khellaf, M.: One-half approximation algorithms for the k-partition problem. Oper. Res. 40, 170–173 (1992)

    Article  Google Scholar 

  18. Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H. Freeman, New York (1979)

    MATH  Google Scholar 

  19. 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)

    Article  MATH  MathSciNet  Google Scholar 

  20. 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)

    Chapter  Google Scholar 

  21. 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)

    Google Scholar 

  22. 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)

    Chapter  Google Scholar 

  23. 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)

    Article  Google Scholar 

  24. Leighton, T., Rao, S.: Multicommodity max-flow min-cut theorems and their use in designing approximation algorithms. J. ACM 46(6), 787–832 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  25. Lipton, R.J., Tarjan, R.E.: Applications of a planar separator theorem. SIAM J. Comput. 9, 615–627 (1980)

    Article  MATH  MathSciNet  Google Scholar 

  26. MacGregor, R.M.: On partitioning a graph: a theoretical and empirical study. PhD thesis, University of California, Berkeley (1978)

  27. 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)

    Google Scholar 

  28. 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)

    Google Scholar 

  29. Petrank, E.: The hardness of approximation: gap location. Comput. Complex. 4(2), 133–157 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  30. 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)

    Google Scholar 

  31. Shi, J., Malik, J.: Normalized cuts and image segmentation. IEEE Trans. Pattern Anal. Mach. Intell. 22(8), 888–905 (2000)

    Article  Google Scholar 

  32. 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)

    Google Scholar 

  33. Simon, H.D., Teng, S.H.: How good is recursive bisection? SIAM J. Sci. Comput. 18(5), 1436–1445 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  34. 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)

    Google Scholar 

  35. Vazirani, V.V.: Approximation Algorithms. Springer, Berlin (2003)

    Book  Google Scholar 

  36. Williamson, D.P., Shmoys, D.B.: The Design of Approximation Algorithms. Cambridge University Press, Cambridge (2011)

    Book  MATH  Google Scholar 

  37. 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)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Andreas Emil Feldmann.

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

Reprints 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

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00453-013-9802-3

Keywords

Navigation