cs.DSJul 14, 2026

Graph Partitioning with Demands: Generalized Conductance and its Applications

Authors: Michał SzyfelbeinDariusz Dereniowski

Organizations: Gda´nsk University of Technology

Abstract

In this work, we study various graph partitioning problems under a general demand model. In each such task, we are given a graph G=(V,E,c,w)G=(V,E,c,w) with a capacity function c ⁣:ENc\colon E\to \mathbb{N} and a demand function w ⁣:V×VNw\colon V\times V\to \mathbb{N}. Our main focus is the problem of finding a cut (S,Sˉ)(S, \bar{S}) minimizing the quantity

ψw(S)=c(S,Sˉ)w(S,V)w(Sˉ,V).ψ_w( S ) = \frac{c( S, \bar{S} )}{w( S, V )\cdot w( \bar{S}, V )}.

Here, c(S,Sˉ)c( S, \bar{S} ) is the cost of edges between SS and the complement of SS, Sˉ\bar{S}, and w(S,V)=w(S)+w(S,Sˉ)w( S, V )=w( S )+w( S, \bar{S} ) is the sum of the internal demand within SS, w(S)w( S ), and the demand between vertices of SS and Sˉ\bar{S}, w(S,Sˉ)w( S, \bar{S} ). We call ψw(S)ψ_w( S ) the \emph{generalized conductance} of the cut (S,Sˉ)(S, \bar{S}), and the task of minimizing ψw(S)ψ_w( S ) the Generalized Conductance Problem. Our main contribution is an algorithm with an O(logn)\mathcal{O}(\log n)-approximation guarantee for this objective. Our result is achieved via a two-way reduction: first to the well-known Generalized kk-Multicut Problem, and then to a constrained variant of the classic Sparsest-Cut Problem, with an additional upper-bound constraint on the amount of demand that may be cut. Moreover, we show that the above procedure can be used to obtain an O(logn)\mathcal{O}(\log n)-bicriteria approximation for Graph Partitioning with Demands, where the goal is to find a minimum-cost subset of edges CC such that for every component HH of GCG\setminus C, w(H)ρw(V)w( H )\leq ρ\cdot w( V ). This, in turn, yields an O(logn)\mathcal{O}(\log n)-approximation for Hierarchical Clustering with Demands, the problem of finding a hierarchy of cuts that partitions the graph into increasingly refined clusters. For multiplicative demand functions, we improve these guarantees to O(logn)\mathcal{O}(\sqrt{\log n}) and for trees we get an O(1)\mathcal{O}(1)-approximation for all of our objectives.

Explore similar work

Jul 14, 2026cs.DS

Hierarchical F\mathcal{F}-Clustering: Approximation and Hardness of Clustering into Trees and Bounded Diameter Graphs

Consider the following variation on the Hierarchical Clustering problem: Usually, while building a hierarchical clustering, one recursively partitions the data until each cluster becomes a singleton. We relax the halting condition of the recursive process to stop whenever the remaining cluster is a graph belonging to a class F\mathcal{F}. We call this problem Hierarchical F\mathcal{F}-Clustering and we measure the quality of any solution using adapted Dasgupta's clustering objective. We study two natural choices of F\mathcal{F}: trees and graphs of bounded diameter. We present the first polynomial time O(lognloglogn)\mathcal{O}(\log n\cdot\log\log n) and O(logn)\mathcal{O}(\log n)-approximation algorithms for clustering into trees and bounded diameter graphs respectively. Our main technical contribution is a framework for approximating such problems based on linear programming. In fact, we characterize graphs classes F\mathcal{F} for which our approach can be applied and show that it includes both trees and bounded diameter graphs. However, our ideas are not limited to them and might be useful for other structures as well. Broadly speaking, our framework applies whenever the corresponding flat clustering problem, which we call pFp_{\mathcal{F}}-Partitioning, admits a natural ILP formulation together with a rounding procedure with provable approximation guarantees. Intuitively, given a set of vertices called terminals, the problem is to find an edge set whose removal results in satisfying certain vertex-dependent structural predicate for each terminal. We then use these ingredients to build clustering trees with the aforementioned approximation guarantees. To complement these results, we show that both Hierarchical Clustering into trees and into bounded diameter graphs cannot be approximated within any constant factor under the Small Set Expansion Hypothesis.
Michał Szyfelbein, Dariusz Dereniowski
Apr 26, 2026cs.DS

Characterizing Admissible Objective Functions for Hierarchical Clustering

Hierarchical clustering is a fundamental task in data analysis, but classical methods have long lacked a principled objective function. Dasgupta [STOC 2016] took an important step toward addressing this gap by proposing a well-motivated objective function for cluster trees. Cohen-Addad et al. [J. ACM 2019] subsequently introduced the notion of admissibility: an objective function is admissible if, whenever the input similarity matrix admits generating trees, its minimizers are precisely those generating trees. They also gave a necessary and sufficient condition for admissibility within a family of objective functions based on aggregate intercluster similarity. We refer to this family as sum-type objective functions. However, apart from Dasgupta's original objective function, no explicit admissible objective functions in this family were provided. In this paper, we study admissible objective functions for hierarchical clustering in two directions. For sum-type objective functions, we give a complete characterization when the scaling function is a symmetric polynomial of degree at most two, and we derive sufficient conditions for degree-three polynomials. We also show that the recursive sparsest cut algorithm achieves an O(φ)(φ)-approximation ratio for the admissible objective functions covered by our characterization, where φφ is the approximation factor of the sparsest cut subroutine. We then introduce max-type objective functions, where cluster interaction is measured by maximum, rather than aggregate, intercluster similarity. For this class, we characterize which objective functions are admissible for arbitrary symmetric scaling functions and give a complete characterization when the scaling function is a symmetric polynomial of degree at most two.
Ryuki Tsukuba, Kazutoshi Ando
Feb 9, 2026cs.DS

Incremental (k, z)-Clustering on Graphs

Given a weighted undirected graph, a number of clusters kk, and an exponent zz, the goal in the (k,z)(k, z)-clustering problem on graphs is to select kk vertices as centers that minimize the sum of the distances raised to the power zz of each vertex to its closest center. In the dynamic setting, the graph is subject to adversarial edge updates, and the goal is to maintain explicitly an exact (k,z)(k, z)-clustering solution in the induced shortest-path metric. While efficient dynamic kk-center approximation algorithms on graphs exist [Cruciani et al. SODA 2024], to the best of our knowledge, no prior work provides similar results for the dynamic (k,z)(k,z)-clustering problem. As the main result of this paper, we develop a randomized incremental (k,z)(k, z)-clustering algorithm that maintains with high probability a constant-factor approximation in a graph undergoing edge insertions with a total update time of O~(km1+o(1)+k1+1λm)\tilde O(k m^{1+o(1)}+ k^{1+\frac{1}λ} m), where λ1λ\geq 1 is an arbitrary fixed constant. Our incremental algorithm consists of two stages. In the first stage, we maintain a constant-factor bicriteria approximate solution of size O~(k)\tilde{O}(k) with a total update time of m1+o(1)m^{1+o(1)} over all adversarial edge insertions. This first stage is an intricate adaptation of the bicriteria approximation algorithm by Mettu and Plaxton [Machine Learning 2004] to incremental graphs. One of our key technical results is that the radii in their algorithm can be assumed to be non-decreasing while the approximation ratio remains constant, a property that may be of independent interest. In the second stage, we maintain a constant-factor approximate (k,z)(k,z)-clustering solution on a dynamic weighted instance induced by the bicriteria approximate solution. For this subproblem, we employ a dynamic spanner algorithm together with a static (k,z)(k,z)-clustering algorithm.
Emilio Cruciani, Sebastian Forster, Antonis Skarlatos