-
Minimum Connected Dominating Set and Backbone of a Random Graph
Authors:
Yusupjan Habibulla,
Hai-Jun Zhou
Abstract:
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 loc…
▽ More
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ös-Rényi 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.
△ Less
Submitted 24 October, 2023;
originally announced October 2023.
-
Statistical Mechanics of the L-Distance Minimal Dominating Set problem
Authors:
Yusupjan Habibulla
Abstract:
Statistical mechanics is widely applied to solve hard optimization problem, the optimal strategy related to ground state energy that depends on low temperature. Common thermodynamic process is expected to approach the ground state energy if the temperature is lowered appropriately, but this belief is not always justified when the network contains more long loops in low temperature. Previously we a…
▽ More
Statistical mechanics is widely applied to solve hard optimization problem, the optimal strategy related to ground state energy that depends on low temperature. Common thermodynamic process is expected to approach the ground state energy if the temperature is lowered appropriately, but this belief is not always justified when the network contains more long loops in low temperature. Previously we always implement the canonical equilibrium process to predict the low-energy, but it doesn't work in L-distance (L>1) minimal dominating set problem, because the thermodynamical process can not guarantee to find the stable state of the system at the low temperature. Here, we employ energy-clamping strategy of cavity method ( micro canonical equilibrium process ) to predict low-energy and discover that the microcanonical process still find the stable state of given system at low temperature where canonical process work out. We develop Belief Propagation Decimation (BPD) and Greedy algorithm to calculate the L-distance ($2<L<7$) minimal dominating set, we find that the BPD algorithm results outperform the Greedy algorithm. We have witnessed the emergence of negative $β$ with different mean energy on different L-distance. The free energy has a discontinuous phase transition at $β= 0$. We predict the ground state energy by microcanonical cavity method, overcoming the limitation of canonical cavity method.
△ Less
Submitted 16 August, 2020;
originally announced August 2020.
-
Statistical Mechanics of the Directed 2-distance Minimal Dominating Set problem
Authors:
Yusupjan Habibulla
Abstract:
The directed L-distance minimal dominating set (MDS) problem has wide practical applications in the fields of computer science and communication networks. Here, we study this problem from the perspective of purely theoretical interest. We only give results for an Erd$\acute{o}$s R$\acute{e}$nyi (ER) random graph and regular random graph, but this work can be extended to any type of networks. We de…
▽ More
The directed L-distance minimal dominating set (MDS) problem has wide practical applications in the fields of computer science and communication networks. Here, we study this problem from the perspective of purely theoretical interest. We only give results for an Erd$\acute{o}$s R$\acute{e}$nyi (ER) random graph and regular random graph, but this work can be extended to any type of networks. We develop spin glass theory to study the directed 2-distance MDS problem. First, we find that the belief propagation algorithm does not converge when the inverse temperature exceeds a threshold on either an ER random network or regular random network. Second, the entropy density of replica symmetric theory has a transition point at a finite inverse temperature on a regular random graph when the node degree exceeds 4 and on an ER random graph when the node degree exceeds 6.6; there is no entropy transition point (or $β=\infty$) in other circumstances. Third, the results of the replica symmetry (RS) theory are in perfect agreement with those of belief propagation (BP) algorithm while the results of the belief propagation decimation (BPD) algorithm are better than those of the greedy heuristic algorithm.
△ Less
Submitted 9 April, 2020; v1 submitted 18 November, 2019;
originally announced November 2019.
-
The Directed Dominating Set problem studied by cavity method: Warning propagation and population dynamics
Authors:
Yusupjan Habibulla
Abstract:
The minimal dominating set for a digraph(directed graph)is a prototypical hard combinatorial optimization problem. In a previous paper, we studied this problem using the cavity method. Although we found a solution for a given graph that gives very good estimate of the minimal dominating size, we further developed the one step replica symmetry breaking theory to determine the ground state energy of…
▽ More
The minimal dominating set for a digraph(directed graph)is a prototypical hard combinatorial optimization problem. In a previous paper, we studied this problem using the cavity method. Although we found a solution for a given graph that gives very good estimate of the minimal dominating size, we further developed the one step replica symmetry breaking theory to determine the ground state energy of the undirected minimal dominating set problem. The solution space for the undirected minimal dominating set problem exhibits both condensation transition and cluster transition on regular random graphs. We also developed the zero temperature survey propagation algorithm on undirected Erdős-Rényi graphs to find the ground state energy. In this paper we continue to develop the one step replica symmetry breaking theory to find the ground state energy for the directed minimal dominating set problem. We find the following. (1)The warning propagation equation can not converge when the connectivity is greater than the core percolation threshold value of 3.704. Positive edges have two types warning, but the negative edges have one. (2)We determine the ground state energy and the transition point of the Erdős-Rényi random graph. (3)The survey propagation decimation algorithm has good results comparable with the belief propagation decimation algorithm.
Keywords: directed minimal dominating set , replica symmetry breaking, Erdős-Rényi graph, warning propagation, survey propagation decimation.
△ Less
Submitted 16 November, 2019;
originally announced November 2019.
-
Two-distance minimal dominating set problem studied by statistical mechanics and simulated annealing
Authors:
Yusupjan Habibulla,
Shao-meng Qin
Abstract:
The L-distance (especially the 2-distance) minimal dominating set (MDS) problem is widely considered in various dominating set problems. Recently, we studied the regular dominating set problem using the cavity method and developed two algorithms (belief propagation decimation and survey propagation decimation) to estimate the solution of a given graph, resulting in very good estimations of the min…
▽ More
The L-distance (especially the 2-distance) minimal dominating set (MDS) problem is widely considered in various dominating set problems. Recently, we studied the regular dominating set problem using the cavity method and developed two algorithms (belief propagation decimation and survey propagation decimation) to estimate the solution of a given graph, resulting in very good estimations of the minimal dominating size. This paper describes the development of spin glass theory to study the 2-distance MDS problem. First, we show that the belief propagation equation does not converge when the inverse temperature $β$ is greater than a certain threshold value on both regular and Erdos--Renyi random networks. Second, we find that the entropy density is equal to zero at finite inverse temperature on regular random graphs when the node degree is from 3--9, and on Erdos--Renyi random networks when the node degree is from 4.2--10.4; the entropy density is positive in all other cases. This result is proved using a dynamical simulated annealing process. Third, the results of replica symmetry theory are shown to be in agreement with those of the belief propagation algorithm, and the results of the belief propagation decimation algorithm are found to be better than those of the greedy heuristic algorithm.
△ Less
Submitted 10 October, 2020; v1 submitted 16 October, 2019;
originally announced October 2019.
-
Minimal Dominating Set problem studied by simulated annealing and cavity method: Analytics and population dynamics
Authors:
Yusupjan Habibulla
Abstract:
The minimal dominating Set (MDS) problem is a prototypical hard combinatorial optimization problem. Two years ago we studied this problem by cavity method. Although we get the solution of a given graph, which gives very good estimation of minimal dominating size, but we don't know whether we get the ground state solution and how many solutions exist in the ground state. For this purpose, last year…
▽ More
The minimal dominating Set (MDS) problem is a prototypical hard combinatorial optimization problem. Two years ago we studied this problem by cavity method. Although we get the solution of a given graph, which gives very good estimation of minimal dominating size, but we don't know whether we get the ground state solution and how many solutions exist in the ground state. For this purpose, last year we continue to develop the one step replica symmetry breaking (RSB) theory to find the ground state energy of the MDS problem. Finally we find that 1) The MDS problem solution space has both condensation transition and cluster transition on regular Random (RR) graph and we prove this by simulated annealing dynamical process. 2) We developed zero temperature Survey Propagation (SP) algorithm on ER graph to estimate the ground state energy and to get Survey Propagation Decimation (SPD) algorithm with good results same as BPD algorithm.
△ Less
Submitted 4 June, 2017;
originally announced June 2017.
-
The Directed Dominating Set Problem: Generalized Leaf Removal and Belief Propagation
Authors:
Yusupjan Habibulla,
Jin-Hua Zhao,
Hai-Jun Zhou
Abstract:
A minimum dominating set for a digraph (directed graph) is a smallest set of vertices such that each vertex either belongs to this set or has at least one parent vertex in this set. We solve this hard combinatorial optimization problem approximately by a local algorithm of generalized leaf removal and by a message-passing algorithm of belief propagation. These algorithms can construct near-optimal…
▽ More
A minimum dominating set for a digraph (directed graph) is a smallest set of vertices such that each vertex either belongs to this set or has at least one parent vertex in this set. We solve this hard combinatorial optimization problem approximately by a local algorithm of generalized leaf removal and by a message-passing algorithm of belief propagation. These algorithms can construct near-optimal dominating sets or even exact minimum dominating sets for random digraphs and also for real-world digraph instances. We further develop a core percolation theory and a replica-symmetric spin glass theory for this problem. Our algorithmic and theoretical results may facilitate applications of dominating sets to various network problems involving directed interactions.
△ Less
Submitted 13 May, 2015;
originally announced May 2015.
-
Statistical Mechanics of the Minimum Dominating Set Problem
Authors:
Jin-Hua Zhao,
Yusupjan Habibulla,
Hai-Jun Zhou
Abstract:
The minimum dominating set problem has wide applications in network science and related fields. It consists of assembling a node set of global minimum size such that any node of the network is either in this set or is adjacent to at least one node of this set. Although this is a difficult optimization problem in general, we show it can be exactly solved by a generalized leaf-removal process if the…
▽ More
The minimum dominating set problem has wide applications in network science and related fields. It consists of assembling a node set of global minimum size such that any node of the network is either in this set or is adjacent to at least one node of this set. Although this is a difficult optimization problem in general, we show it can be exactly solved by a generalized leaf-removal process if the network contains no core. If the network has an extensive core, we estimate the size of minimum dominating sets by a mean-field theory and implement a belief-propagation algorithm to obtain near-optimal solutions. Our algorithms also perform well on real-world network instances.
△ Less
Submitted 5 February, 2015; v1 submitted 16 October, 2014;
originally announced October 2014.
-
CCCP Algorithms to Minimize the Bethe free energy of 3-SAT Problem
Authors:
Yusupjan Habibulla
Abstract:
The k-sat problem is a prototypical constraint satisfaction problem. There are many algorithms to study k-sat problem, BP algorithm is famous one of them. But BP algorithm does not converge when $α$(constraint density)is bigger than some threshold value. In this paper we use CCCP (Concave Convex Procedure) algorithm to study 3-sat problem and we get better results than BP algorithm that CCCP algor…
▽ More
The k-sat problem is a prototypical constraint satisfaction problem. There are many algorithms to study k-sat problem, BP algorithm is famous one of them. But BP algorithm does not converge when $α$(constraint density)is bigger than some threshold value. In this paper we use CCCP (Concave Convex Procedure) algorithm to study 3-sat problem and we get better results than BP algorithm that CCCP algorithm still converges when BP algorithm does not converge. Our work almost builds on recent results by Yuille \cite{Yuille2002} who apply the CCCP algorithm to Bethe and Kikuchi free energies and obtained two algorithms on 2D and 3D spin glasses. Our implementation of CCCP algorithm on 3-sat problem is some different from his implementation and we have some different views about CCCP algorithm's some properties. Some difference of these maybe because of CCCP algorithm have different properties and implementation process on different problem and some others of these are related to the CCCP algorithm itself. Our work indicates that CCCP algorithm has more learning and inference applications.
△ Less
Submitted 16 June, 2014; v1 submitted 16 June, 2014;
originally announced June 2014.
