TY - JOUR

T1 - Multicriteria cuts and size-constrained k-cuts in hypergraphs

AU - Beideman, Calvin

AU - Chandrasekaran, Karthekeyan

AU - Xu, Chao

N1 - Funding Information:
A preliminary version of this work appeared in the 24th International Conference on Randomization and Computation (RANDOM, 2020). This version contains complete proofs. Karthekeyan and Calvin were supported in part by NSF CCF-1907937 and CCF-1814613.
Publisher Copyright:
© 2021, Springer-Verlag GmbH Germany, part of Springer Nature and Mathematical Optimization Society.

PY - 2021

Y1 - 2021

N2 - We address counting and optimization variants of multicriteria global min-cut and size-constrained min-k-cut in hypergraphs. 1.For an r-rank n-vertex hypergraph endowed with t hyperedge-cost functions, we show that the number of multiobjective min-cuts is O(r2 trn3t-1). In particular, this shows that the number of parametric min-cuts in constant rank hypergraphs for a constant number of criteria is strongly polynomial, thus resolving an open question by Aissi et al. (Math Program 154(1–2):3–28, 2015). In addition, we give randomized algorithms to enumerate all multiobjective min-cuts and all pareto-optimal cuts in strongly polynomial-time.2.We also address node-budgeted multiobjective min-cuts: For an n-vertex hypergraph endowed with t vertex-weight functions, we show that the number of node-budgeted multiobjective min-cuts is O(r2 rnt+2) , where r is the rank of the hypergraph, and the number of node-budgeted b-multiobjective min-cuts for a fixed budget-vector b∈R≥0t is O(n2).3.We show that min-k-cut in hypergraphs subject to constant lower bounds on part sizes is solvable in polynomial-time for constant k, thus resolving an open problem posed by Guinez and Queyranne (Unpublished manuscript. See also , 2012). Our technique also shows that the number of optimal solutions is polynomial. All of our results build on the random contraction approach of Karger (Proceedings of the 4th annual ACM-SIAM symposium on discrete algorithms, SODA, pp 21–30, 1993). Our techniques illustrate the versatility of the random contraction approach to address counting and algorithmic problems concerning multiobjective min-cuts and size-constrained k-cuts in hypergraphs.

AB - We address counting and optimization variants of multicriteria global min-cut and size-constrained min-k-cut in hypergraphs. 1.For an r-rank n-vertex hypergraph endowed with t hyperedge-cost functions, we show that the number of multiobjective min-cuts is O(r2 trn3t-1). In particular, this shows that the number of parametric min-cuts in constant rank hypergraphs for a constant number of criteria is strongly polynomial, thus resolving an open question by Aissi et al. (Math Program 154(1–2):3–28, 2015). In addition, we give randomized algorithms to enumerate all multiobjective min-cuts and all pareto-optimal cuts in strongly polynomial-time.2.We also address node-budgeted multiobjective min-cuts: For an n-vertex hypergraph endowed with t vertex-weight functions, we show that the number of node-budgeted multiobjective min-cuts is O(r2 rnt+2) , where r is the rank of the hypergraph, and the number of node-budgeted b-multiobjective min-cuts for a fixed budget-vector b∈R≥0t is O(n2).3.We show that min-k-cut in hypergraphs subject to constant lower bounds on part sizes is solvable in polynomial-time for constant k, thus resolving an open problem posed by Guinez and Queyranne (Unpublished manuscript. See also , 2012). Our technique also shows that the number of optimal solutions is polynomial. All of our results build on the random contraction approach of Karger (Proceedings of the 4th annual ACM-SIAM symposium on discrete algorithms, SODA, pp 21–30, 1993). Our techniques illustrate the versatility of the random contraction approach to address counting and algorithmic problems concerning multiobjective min-cuts and size-constrained k-cuts in hypergraphs.

KW - Hypergraph k-cuts

KW - Min cuts

KW - Multiobjective optimization

UR - http://www.scopus.com/inward/record.url?scp=85120182279&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85120182279&partnerID=8YFLogxK

U2 - 10.1007/s10107-021-01732-0

DO - 10.1007/s10107-021-01732-0

M3 - Article

AN - SCOPUS:85120182279

JO - Mathematical Programming

JF - Mathematical Programming

SN - 0025-5610

ER -