A Unified Approach to Minimizing Symmetric Submodular Functions

2026-05-02

AI Summary

This work addresses the lack of a unified ordering framework for symmetric submodular function minimization. It introduces a one-parameter family of α-orderings that, for the first time, unifies maximum adjacency ordering (α = −1) and minimum degree ordering (α = 1) under a common perspective. The study characterizes the range of α values that yield effective contractible pairs. Building upon this framework and leveraging contractible pair theory together with function contraction techniques, the authors design a combinatorial algorithm that computes a nontrivial minimizer using only O(n³) oracle calls. This approach not only reproduces existing results but also achieves a methodological generalization and unification.

Abstract

Symmetric submodular function minimization admits purely combinatorial algorithms using special orderings of the ground set. Extending the minimum-cut algorithm of Nagamochi and Ibaraki (1992), Queyranne (1998) showed that the maximum adjacency ordering yields a pendent pair, which can be used to find a nontrivial minimizer. Nagamochi (2010) later introduced the minimum degree ordering, which yields a flat pair and leads to the identification of extreme sets. Despite the apparent similarity between these two algorithms, their connection remained unclear. In this paper, we introduce yet another ordering called minimum capacity ordering, and extend it to a one-parameter family of orderings, called $α$-orderings, that unifies these two previously known orderings. We prove a general inequality for $α$-orderings, and our framework recovers the known pendent-pair and flat-pair results as special cases, corresponding to $α= -1$ and $α= 1$, respectively. For each $α\in [-1, 1]$, the last two elements of an $α$-ordering form a contractible pair, i.e., a pair whose contraction preserves the existence of a nontrivial minimizer, which leads to a contraction algorithm that finds a nontrivial minimizer of a symmetric submodular function in $O(n^3)$ oracle calls, where $n$ is the cardinality of the ground set. In addition, we discuss the ranges of $α$ that ensure $α$-ordering to obtain these special pairs.

Problem

• symmetric submodular function
• minimization
• combinatorial algorithms
• orderings
• contractible pair

Innovation

• symmetric submodular function minimization
• α-ordering
• contractible pair
• unified framework
• combinatorial algorithm