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

CardsList
  1. Incremental (k, z)-Clustering on Graphs

    Feb 9, 2026Emilio Cruciani, Sebastian Forster, Antonis SkarlatosImage ClusteringMaximum Independent Set