Approximating Submodular [math]-Partition via Principal Partition Sequence
Karthekeyan Chandrasekaran,Weihang Wang
DOI: https://doi.org/10.1137/24m1638604
IF: 0.868
2024-12-18
SIAM Journal on Discrete Mathematics
Abstract:SIAM Journal on Discrete Mathematics, Volume 38, Issue 4, Page 3198-3219, December 2024. In submodular [math]-partition, the input is a submodular function [math] (given by an evaluation oracle) along with a positive integer [math], and the goal is to find a partition of the ground set [math] into [math] nonempty parts [math] in order to minimize [math]. Narayanan, Roy, and Patkar [J. Algorithms, 21 (1996), pp. 306–330] designed an algorithm for submodular [math]-partition based on the principal partition sequence and showed that the approximation factor of their algorithm is 2 for the special case of graph cut functions (which was subsequently rediscovered by Ravi and Sinha [European J. Oper. Res., 186 (2008), pp. 77–90]). In this work, we study the approximation factor of their algorithm for three subfamilies of submodular functions—namely monotone, symmetric, and posimodular—and show the following results: (1) The approximation factor of their algorithm for monotone submodular [math]-partition is [math]. This result improves on the 2-factor that was known to be achievable for monotone submodular [math]-partition via other algorithms. Moreover, our upper bound of [math] matches the recently shown lower bound under polynomial number of function evaluation queries [R. Santiago, Proceedings of the International Workshop on Combinatorial Algorithms, IWOCA, 2021, pp. 516–530]. Our upper bound of [math] is also the first improvement beyond 2 for a certain graph partitioning problem that is a special case of monotone submodular [math]-partition. (2) The approximation factor of their algorithm for symmetric submodular [math]-partition is 2. This result generalizes their approximation factor analysis beyond graph cut functions. (3) The approximation factor of their algorithm for posimodular submodular [math]-partition is 2. We also construct an example to show that the approximation factor of their algorithm for arbitrary submodular functions is [math].
mathematics, applied