Minimum Connected Dominating Set and Backbone of a Random Graph

We study the minimum dominating set problem as a representative combinatorial optimization challenge with a global topological constraint. The requirement that the backbone induced by the vertices of a dominating set should be a connected subgraph makes the problem rather nontrivial to investigate by statistical physics methods. Here we convert this global connectivity constraint into a set of local vertex constraints and build a spin glass model with only five coarse-grained vertex states. We derive a set of coarse-grained belief-propagation equations and obtain theoretical predictions on the relative sizes of minimum dominating sets for regular random and Erd\"os-R\'enyi random graph ensembles. We also implement an efficient message-passing algorithm to construct close-to-minimum connected dominating sets and backbone subgraphs for single random graph instances. Our theoretical strategy may also be inspiring for some other global topological constraints.