Skip to main content
SpringerLink
Log in

A polynomial time algorithm for finding a minimum 4-partition of a submodular function

  • Full Length Paper
  • Series A
  • Published:
Mathematical Programming Submit manuscript

Abstract

In this paper, we study the minimum k-partition problem of submodular functions, i.e., given a finite set V and a submodular function \(f:2^V\rightarrow \mathbb {R}\), computing a k-partition \( \{ V_1, \ldots , V_k \}\) of V with minimum \(\sum _{i=1}^k f(V_i)\). The problem is a natural generalization of the minimum k-cut problem in graphs and hypergraphs. It is known that the problem is NP-hard for general k, and solvable in polynomial time for fixed \(k \le 3\). In this paper, we construct the first polynomial-time algorithm for the minimum 4-partition problem.

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

Access this article

Log in via an institution

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

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12

Similar content being viewed by others

References

  1. Beideman, C., Chandrasekaran, K., Wang, W.: Counting and enumerating optimum cut sets for hypergraph \(k\)-partitioning problems for fixed k. In: Bojańczyk, M., Merelli, E., Woodruff, D.P. (eds.) 49th International Colloquium on Automata, Languages, and Programming (ICALP 2022), Leibniz International Proceedings in Informatics (LIPIcs), vol. 229, pp. 16:1–16:18. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl, Germany (2022). https://doi.org/10.4230/LIPIcs.ICALP.2022.16. https://drops.dagstuhl.de/opus/volltexte/2022/16357

  2. Beideman, C., Chandrasekaran, K., Wang, W.: Deterministic enumeration of all minimum \(k\)-cut-sets in hypergraphs for fixed \(k\). In: Proceedings of the 2022 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pp. 2208–2228. Society for Industrial and Applied Mathematics, Philadelphia (2022). https://doi.org/10.1137/1.9781611977073

  3. Beideman, C., Chandrasekaran, K., Xu, C.: Multicriteria cuts and size-constrained \(k\)-cuts in hypergraphs. Math. Program. (2021). https://doi.org/10.1007/s10107-021-01732-0

    Article  MATH  Google Scholar 

  4. Chandrasekaran, K., Chekuri, C.: Min–max partitioning of hypergraphs and symmetric submodular functions. In: Proceedings of the Thirty-Second Annual ACM-SIAM Symposium on Discrete Algorithms, SODA’21, pp. 1026–1038. Society for Industrial and Applied Mathematics, USA (2021)

  5. Chandrasekaran, K., Chekuri, C.: Hypergraph \(k\)-cut for fixed \(k\) in deterministic polynomial time. Math. Oper. Res. (2022). https://doi.org/10.1287/moor.2021.1250

    Article  MathSciNet  MATH  Google Scholar 

  6. Chandrasekaran, K., Xu, C., Yu, X.: Hypergraph \(k\)-cut in randomized polynomial time. Math. Program. 186(1–2), 85–113 (2021). https://doi.org/10.1007/s10107-019-01443-7

    Article  MathSciNet  MATH  Google Scholar 

  7. Chekuri, C., Ene, A.: Approximation algorithms for submodular multiway partition. In: 2011 IEEE 52nd Annual Symposium on Foundations of Computer Science, pp. 807–816. IEEE, Palm Springs, CA, USA (2011). https://doi.org/10.1109/FOCS.2011.34

  8. Chekuri, C., Quanrud, K., Xu, C.: LP Relaxation and tree packing for minimum \(k\)-cut. SIAM J. Discrete Math. 34(2), 1334–1353 (2020). https://doi.org/10.1137/19M1299359

    Article  MathSciNet  MATH  Google Scholar 

  9. Chekuri, C., Xu, C.: Minimum cuts and sparsification in hypergraphs. SIAM J. Comput. 47(6), 2118–2156 (2018). https://doi.org/10.1137/18M1163865

    Article  MathSciNet  MATH  Google Scholar 

  10. Fox, K., Panigrahi, D., Zhang, F.: Minimum cut and minimum \(k\)-cut in hypergraphs via branching contractions. In: Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 881–896. SIAM (2019)

  11. Fukunaga, T.: Computing minimum multiway cuts in hypergraphs. Discrete Optim. 10(4), 371–382 (2013). https://doi.org/10.1016/j.disopt.2013.10.002

    Article  MathSciNet  MATH  Google Scholar 

  12. Gasieniec, L., Jansson, J., Lingas, A., Östlin, A.: On the complexity of constructing evolutionary trees. J. Comb. Optim. 3(2/3), 183–197 (1999). https://doi.org/10.1023/A:1009833626004

    Article  MathSciNet  MATH  Google Scholar 

  13. Goldschmidt, O., Hochbaum, D.S.: A polynomial algorithm for the \(k\)-cut problem for fixed \(k\). Math. Oper. Res. 19, 24–37 (1994). https://doi.org/10.1287/moor.19.1.24

    Article  MathSciNet  MATH  Google Scholar 

  14. Guinez, F., Queyranne, M.: The size-constrained submodular \(k\)-partition problem (2012). https://docs.google.com/viewer?a=v &pid=sites &srcid=ZGVmYXVsdGRvbWFpbnxmbGF2aW9ndWluZXpob21lcGFnZXxneDo0NDVlMThkMDg4ZWRlOGI1. Unpublished manuscript. See also https://smartech.gatech.edu/bitstream/handle/1853/43309/Queyranne.pdf

  15. Gupta, A., Harris, D.G., Lee, E., Li, J.: Optimal bounds for the \(k\)-cut problem. J. ACM (2021). https://doi.org/10.1145/3478018

    Article  MATH  Google Scholar 

  16. Gupta, A., Lee, E., Li, J.: Faster exact and approximate algorithms for k-cut. In: 2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS), pp. 113–123 (2018). https://doi.org/10.1109/FOCS.2018.00020

  17. Hirayama, T., Liu, Y., Makino, K., Shi, K., Xu, C.: A polynomial time algorithm for finding a minimum 4-partition of a submodular function. In: Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pp. 1680–1691. https://doi.org/10.1137/1.9781611977554.ch64

  18. Kamidoi, Y., Yoshida, N., Nagamochi, H.: A deterministic algorithm for finding all minimum \(k\)-way cuts. SIAM J. Comput. 36(5), 1329–1341 (2006). https://doi.org/10.1137/050631616

    Article  MathSciNet  MATH  Google Scholar 

  19. Klimmek, R., Wagner, F.: A simple hypergraph min cut algorithm. Tech. Rep. B 96-02, FU Berlin Fachbereich Mathematik und Informatik (1996)

  20. Lee, Y.T., Sidford, A., Wong, S.C.W.: A faster cutting plane method and its implications for combinatorial and convex optimization. In: 2015 IEEE 56th Annual Symposium on Foundations of Computer Science, pp. 1049–1065 (2015). https://doi.org/10.1109/FOCS.2015.68

  21. Mak, W.K., Wong, D.F.: Fast hypergraph min-cut algorithm for circuit partitioning. Integr. VLSI J. 30(1), 1–11 (2000). https://doi.org/10.1016/S0167-9260(00)00008-0

    Article  MATH  Google Scholar 

  22. Nagamochi, H.: Algorithms for the minimum partitioning problems in graphs. Electron. Commun. Jpn. 90(10), 63–78 (2007). https://doi.org/10.1002/ecjc.20341. (Part III Fundamental Electronic Science)

    Article  Google Scholar 

  23. Nagamochi, H., Ibaraki, T.: Computing edge-connectivity in multigraphs and capacitated graphs. SIAM J. Discrete Math. 5(1), 54–66 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  24. Nagamochi, H., Ibaraki, T.: A fast algorithm for computing minimum 3-way and 4-way cuts. Math. Program. 88(3), 507–520 (2000). https://doi.org/10.1007/PL00011383

    Article  MathSciNet  MATH  Google Scholar 

  25. Nagamochi, H., Katayama, S., Ibaraki, T.: A faster algorithm for computing minimum 5-way and 6-way cuts in graphs. J. Comb. Optim. 4(2), 151–169 (2000). https://doi.org/10.1023/A:1009804919645

    Article  MathSciNet  MATH  Google Scholar 

  26. Okumoto, K., Fukunaga, T., Nagamochi, H.: Divide-and-conquer algorithms for partitioning hypergraphs and submodular systems. In: Dong, Y., Du, D.Z., Ibarra, O. (eds.) Algorithms and Computation, pp. 55–64. Springer, Berlin (2009)

    Chapter  MATH  Google Scholar 

  27. Okumoto, K., Fukunaga, T., Nagamochi, H.: Divide-and-conquer algorithms for partitioning hypergraphs and submodular systems. Algorithmica (2010). https://doi.org/10.1007/s00453-010-9483-0

    Article  MATH  Google Scholar 

  28. Queyranne, M.: Minimizing symmetric submodular functions. Math. Program. 82(1), 3–12 (1998). https://doi.org/10.1007/BF01585863

    Article  MathSciNet  MATH  Google Scholar 

  29. Thorup, M.: Minimum \(k\)-way cuts via deterministic greedy tree packing. In: Proceedings of the 40th Annual ACM Symposium on Theory of Computing, pp. 159–165 (2008). https://doi.org/10.1145/1374376.1374402

  30. Vazirani, V.V., Yannakakis, M.: Suboptimal cuts: Their enumeration, weight and number. In: International Colloquium on Automata, Languages, and Programming, pp. 366–377. Springer (1992)

  31. Xiao, M.: An improved divide-and-conquer algorithm for finding all minimum k-way cuts. In: Hong, S.H., Nagamochi, H., Fukunaga, T. (eds.) Algorithms and Computation, pp. 208–219. Springer, Berlin (2008)

    Chapter  Google Scholar 

  32. Xiao, M.: Finding minimum 3-way cuts in hypergraphs. Inf. Process. Lett. 110(14–15), 554–558 (2010). https://doi.org/10.1016/j.ipl.2010.05.003

    Article  MathSciNet  MATH  Google Scholar 

  33. Yeh, L.P., Wang, B.F., Su, H.H.: Efficient algorithms for the problems of enumerating cuts by non-decreasing weights. Algorithmica 56(3), 297–312 (2010). https://doi.org/10.1007/s00453-009-9284-5

    Article  MathSciNet  MATH  Google Scholar 

  34. Zhao, L., Nagamochi, H., Ibaraki, T.: On generalized greedy splitting algorithms for multiway partition problems. Discrete Appl. Math. 143(1), 130–143 (2004). https://doi.org/10.1016/j.dam.2003.10.007

    Article  MathSciNet  MATH  Google Scholar 

  35. Zhao, L., Nagamochi, H., Ibaraki, T.: Greedy splitting algorithms for approximating multiway partition problems. Math. Program. 102(1), 167–183 (2005). https://doi.org/10.1007/s10107-004-0510-2

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

Chao would like to thank Chandra Chekuri and Karthekeyan Chandrasekaran for early discussions.

Funding

This work was partially supported by JST ERATO Grant Number JPMJER2301 and Japan Society for the Promotion of Science (JSPS) KAK420 ENHI Grant Numbers JP19K22841, JP20H00609, and JP20H05967.

Author information

Authors and Affiliations

  1. Toshiba Digital Solutions Corporation, Kawasaki, Japan

    Tsuyoshi Hirayama

  2. University of Electronic Science and Technology of China, Chengdu, China

    Yuhao Liu, Ke Shi & Chao Xu

  3. Kyoto University, Kyoto, Japan

    Kazuhisa Makino

Authors
  1. Tsuyoshi Hirayama
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yuhao Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Kazuhisa Makino
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Ke Shi
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Chao Xu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Chao Xu.

Ethics declarations

Conflict of interest

The authors have no competing interests to declare that are relevant to the content of this article.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Authors are ordered alphabetically. This work was partially supported by JST ERATO Grant Number JPMJER2301 and JSPS KAKENHI Grant Numbers JP19K22841, JP20H00609, and JP20H05967. An earlier version of this paper appeared in SODA 2023 [17]. This version introduces have a more general algorithm for \((1,\ell )\)-size 3-partition, and a graph example at the end.

Rights and permissions

Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Hirayama, T., Liu, Y., Makino, K. et al. A polynomial time algorithm for finding a minimum 4-partition of a submodular function. Math. Program. (2023). https://doi.org/10.1007/s10107-023-02029-0

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s10107-023-02029-0

Keywords

Mathematics Subject Classification

Search

Navigation