Marthe Bonamy · Cyril Gavoille · Avinandan Das · Jukka Suomela · Timothé Picavet · Alexandra Wesolek

Meta-theorems for cuttable distributed problems

PODC 2026 · 45th ACM Symposium on Principles of Distributed Computing, Egham, United Kingdom, July 2026

authors’ version

Abstract

We prove that given any $\alpha$-approximation LOCAL algorithm for Minimum Dominating Set (MDS) on planar graphs, we can construct an $f(g)$-round $(3\alpha + 1)$-approximation LOCAL algorithm for MDS on graphs embeddable in a given Euler genus-$g$ surface. Heydt et al. [European Journal of Combinatorics (2025)] gave an algorithm with $\alpha = 11 + \varepsilon$, from which we derive a $(34 + \varepsilon)$-approximation algorithm for graphs of genus $g$, therefore improving upon the current state of the art of $24g + O(1)$ due to Amiri et al. [ACM Transactions on Algorithms (2019)]. It also improves the approximation ratio of $91 + \varepsilon$ due to Czygrinow et al. [Theoretical Computer Science (2019)] in the particular case of orientable surfaces.

We generalize this result into two directions: (1) by considering other graph problems studied in distributed computing such as Minimum $k$-Tuple Dominating Set, for which constant-round approximation algorithms were known for planar graphs, but not for graphs of bounded genus; and (2) by considering graph classes beyond bounded genus graphs, called locally nice, and relying on the asymptotic dimension of the class. We prove these results by a series of meta-theorems about cuttable minimization problems with constant-round approximation LOCAL algorithms. Roughly speaking, in cuttable problems, one can systematically extract small subgraphs whose solutions are in proportion to the global solution restricted to the neighbourhood of the subgraph.

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author’s copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.