---
title: Finite Dominating Set (FDS) in Graphs & Networks
url: https://www.emergentmind.com/topics/finite-dominating-set-fds
type: topic
---

# Finite Dominating Set (FDS) in Graphs & Networks

Finite Dominating Set (FDS) denotes two closely related constructions centered on domination. In finite graph theory, a dominating set \(D\subseteq V\) is a subset of vertices such that every vertex is either in \(D\) or adjacent to a vertex in \(D\); in the context of finite triangulations on surfaces, an FDS is simply a dominating set of the finite embedded graph whose size is bounded in terms of the number of vertices [1808.09809; 1006.1879]. In continuous network location, the term has a more specialized meaning: an FDS is a finite set of candidate points that dominates an infinite continuum of feasible locations in the sense that every feasible location is replaceable by some candidate covering a superset of routes, so an optimal solution is preserved within a finite candidate set [2509.11441]. Across these usages, the unifying idea is finite reduction of a coverage relation.

## 1. Formal definitions and core variants

Let \(G=(V,E)\) be a simple undirected graph. A subset \(D\subseteq V\) is a dominating set if, for every vertex \(i\in V\), either \(i\in D\) or there exists \(j\in D\) such that \(\{i,j\}\in E\). If \(N(i)=\{i\}\cup\{j\mid (i,j)\in E\}\) denotes the closed neighborhood, the condition is equivalently
\[
\forall i\in V:\quad \sum_{k\in N(i)} x_k \ge 1,
\]
where \(x_k=1\) iff \(k\in D\) [1808.09809].

The unweighted optimization problem is the Minimum Dominating Set (MDS) problem:
\[
\gamma(G)=\min\{|D|:D\subseteq V \text{ dominates } G\}.
\]
The weighted variant assigns a weight \(w_i\ge 0\) to each vertex and seeks a dominating set of minimum total weight, yielding the Minimum-Weight Dominating Set (MWDS) problem [1808.09809]. In the 0–1 formulation of MDS, one minimizes \(\sum_{i=1}^n x_i\) subject to
\[
x_i + \sum_{j:(i,j)\in E} x_j \ge 1,\quad i=1,\dots,n,\qquad x_i\in\{0,1\},
\]
with the weighted objective replacing \(\sum_i x_i\) by \(\sum_i w_i x_i\) in MWDS [2208.02593; 1808.09809].

In finite triangulations on surfaces, the term FDS is used in the literal sense: a finite dominating set is a dominating set of a finite embedded graph whose size is studied asymptotically in \(n\), the number of vertices [1006.1879]. In continuous location models, by contrast, the feasible region is infinite. For a network point \(x\), let \(T(x)\) be the set of routes covered by \(x\), and let
\[
F(x)=\sum_{U_t\in T(x)} f(U_t)
\]
be its covered flow. A finite set \(\mathcal D\) of candidate points is a dominating set if for every feasible location \(x\) there exists \(w\in\mathcal D\) with \(T(x)\subseteq T(w)\); an FDS is such a dominating set that is finite and guaranteed to contain an optimal solution [2509.11441].

## 2. Complexity and mathematical formulations

The classical Dominating Set problem is NP-hard, and the MDS decision problem is NP-complete by reduction from Set Cover. Its weighted analogue, MWDS, is also NP-hard. No polynomial-time exact algorithm is known, and even moderate-density graphs yield large covering matrices that challenge off-the-shelf solvers [1808.09809; 2208.02593].

The standard covering formulations are direct. For MWDS, with binary variables \(x_i\in\{0,1\}\),
\[
\min\; \sum_{i\in V} w_i x_i
\]
subject to
\[
\sum_{k\in N(i)} x_k \ge 1,\quad \forall i\in V,
\qquad
x_i\in\{0,1\},\quad \forall i\in V.
\]
The matheuristic study of MWDS explicitly notes that it does not add extra linear inequalities beyond this standard covering model, but instead intensifies search by fixing many \(x_i\) to zero in reduced subproblems [1808.09809].

Parameterized and geometric complexity refine this basic picture. For one-dimensional geometric intersection graphs induced by translates of a fixed pattern \(Q\), \(Q\)-Intersection Dominating Set is polynomially solvable when \(Q\) contains at least one interval, and also when \(Q\) is a point-pattern with all distance ratios rational. If \(Q\) is a point-pattern with at least one irrational distance ratio, the problem is NP-complete but FPT parameterized by the solution size. In two and higher dimensions, Dominating Set is in W[1] for intersection graphs of constant-complexity semi-algebraic sets, while W[1]-hardness already holds for translates of any fixed simple polygon in \(\mathbb R^2\), and W[2]-hardness holds when convex polygons are part of the input [1709.05182].

This landscape shows that “finite domination” does not correspond to a single algorithmic regime. The same domination predicate supports exact covering formulations, NP-hard optimization, FPT results in restricted geometric settings, and W-hierarchy hardness in higher-dimensional intersection models.

## 3. Structural bounds in finite triangulations on surfaces

For triangulations, FDS theory is primarily extremal. A dominating set \(D\) in a finite triangulation is studied through upper bounds on \(|D|\) relative to \(n\). The strongest results in the cited material concern triangulations whose degrees are mostly \(6\). There exists an absolute constant \(c_1\) such that every \(n\)-vertex plane triangulation \(G\) with maximum degree \(\Delta(G)\le 6\) admits a dominating set \(D\) with
\[
|D| \le n/6 + c_1,
\]
and in fact \(c_1=1.05\times 10^7\). More generally, for any fixed surface \(S\), nonnegative integer \(t\), and \(\epsilon>0\), there exists
\[
c_2=c_2(S,t,\epsilon)=O((g^3+g\,t^2)/\epsilon)
\]
such that every \(n\)-vertex triangulation on \(S\) having at most \(t\) vertices of degree \(\ne 6\) has a dominating set \(D\) with
\[
|D| \le (1/6+\epsilon)\,n + c_2.
\]
The final outcome is described as the first uniform \(1/6\)-density bound, up to lower-order additive constants, on domination in triangulations of arbitrary surfaces under the hypothesis that only \(t\) vertices deviate from degree \(6\); in the plane \(\Delta\le 6\) case, the \(1/6\) asymptotic is best possible [1006.1879].

The proof machinery is geometric and topological. On orientable surfaces \(S_g\), every \(n\)-vertex triangulation has a non-contractible cycle of length at most \(\sqrt{2n}\); on non-orientable surfaces \(N_g\), the bound becomes \(2\sqrt n\). Cutting along such a cycle and capping the holes produces triangulations on surfaces of strictly smaller genus, while increasing the number of vertices by exactly \(|C|+O(1)\). This supports an inductive genus-reduction scheme [1006.1879].

A second ingredient maps planar triangulated disks with all interior degrees equal to \(6\) onto the infinite \(6\)-regular triangular grid \(G_\infty\). Pulling back the natural “every-seventh-vertex” pattern in \(G_\infty\) yields a dominating set of density \(1/7\). Cylinder substructures then sharpen the density. A \((w,\ell)\)-cylinder can dominate its interior by \(\lceil \ell/7\rceil\cdot (w+2)\) vertices in the usual grid pattern, and when \(3\le w\le 12\), any \((w,\ell)\)-cylinder contains a dominating set for its interior of size at most \((w(\ell+1))/6 + O(1)\), which is the step that “wins the density \(1/6\)” once the width is bounded [1006.1879].

These results place FDS in triangulations at the intersection of domination theory, discharging-style arguments, and surface topology. They also separate the finite-surface setting from general graphs: the geometry of the embedding directly controls dominating density.

## 4. Algorithmic methods for finite dominating sets

The algorithmic literature represented here spans matheuristics, population metaheuristics, approximation algorithms, and output-sensitive enumeration. For MWDS, the hybrid tabu-search/mathematical-programming method HTS-DS interleaves tabu search on the full graph with periodic reduced MIP solves. It uses the penalized objective
\[
f(S)=W(S)+\alpha\,w^{\max} N^d(S),
\]
where \(W(S)=\sum_{i\in S} w_i\), \(N^d(S)\) is the number of non-dominated vertices, and \(\alpha\) is periodically ramped from \(\alpha^{\min}\) to \(\alpha^{\max}\) and reset to perform strategic oscillation. The full-graph search employs ADD, DEL, and restricted SWAP moves, a tabu list with aspiration, node elimination of redundant vertices, and perturbation every \(I_{\text{pert}}\) iterations. Reduced MIP subproblems keep free all vertices in the current best solution together with the most frequently used vertices in prior tabu-search solutions, and are solved for up to \(T_{\max}=1\) s. On 1,060 benchmark instances, HTS-DS matches all known optima on SMPI T1, improves or matches all known best-known solutions on LPI T1, has average CPU times \(3.6\) s on SMPI and \(10.1\) s on LPI, and is reported faster than prior metaheuristics by a factor \(2\)–\(10\); ablation experiments show measurable degradation without the reduced MIP, without SWAP, without perturbation, or under altered tabu-tenure or penalty-phase lengths [1808.09809].

For unweighted MDS, HCSA-MDS combines Cuckoo Search’s global exploration through Lévy flights with one-point crossover and local intensification via filtering and repair. Candidate solutions are binary vectors \(x\in\{0,1\}^n\), initialized as feasible solutions by a greedy heuristic. Filtering removes selected vertices when domination is preserved or fitness does not decrease; repair restores feasibility by adding the uncovered vertex of maximum degree, or its best neighbor, until all vertices are covered. After tuning, the reported parameters are \(N=50\), \(\text{MaxGen}=500\), \(P_a=0.25\), \(\alpha=1\), and \(\lambda=3/2\). On 42 random geometric graphs, HCSA-MDS improves the best-known solution in 32 cases and matches it in 10; on 21 synthetic graphs with known optima, it reaches the optimum in \(100\%\) of runs except two instances, where the success rate is \(90\%\). A Friedman plus Holm-adjusted Wilcoxon analysis reports statistical superiority in best, average, and worst solutions at \(p<0.05\) [2208.02593].

Approximation methods appear in wireless-network settings. In disk-containment graphs with positive weights, an LP relaxation is “blown up” into a heavy fractional multiset and then sparsified through \(t=\lceil\log^* n\rceil\) rounds of randomized uniform sampling; with high probability, this yields a dominating set of total weight \(O(\log^* n)\times \mathrm{OPT}\) in expected polynomial time. In directed communication graphs, a strongly dominating set can be approximated within \((2+\epsilon)\) by combining a \((1+\epsilon/2)\)-approximate forward dominating set with a \((1+\epsilon/2)\)-approximate backward dominating set [1208.5738].

Enumeration addresses a different algorithmic question: output every dominating set, including non-minimal ones, exactly once. For \(k\)-degenerate graphs, the reverse-search algorithm EDS-D enumerates all dominating sets in \(O(k)\) time per solution using \(O(n+m)\) space. For graphs of girth at least \(9\), EDS-G improves this to \(O(1)\) amortized time per solution with the same space bound by exploiting the locally tree-like structure of high-girth neighborhoods [1802.07863].

## 5. Finite dominating sets in continuous refueling-station location

A distinct FDS concept arises in the refueling station location problem for dedicated fleet routes on a general network. The network is a simple, connected, undirected graph \(G=(V,E)\); routes are directed closed walks
\[
H=\{U_1,\dots,U_h\},
\]
with route length
\[
\ell(U_t)=\sum_{(i,j)\in U_t}\ell(i,j),
\]
and only routes satisfying \(\ell(U_t)\le R\) and \(f(U_t)>0\) are retained, because only these can be covered by a single station. Candidate station locations are all points on vertices and edge interiors, so the feasible set is infinite [2509.11441].

Coverage is governed by a driving range \(R\) and a one-way deviation limit \(D\). For a point \(x\) relative to a route \(U_t\), let \(v_d(x)\) be the first vertex on the deviation route from \(U_t\) to \(x\), let \(v_b(x)\) be the last vertex upon rejoining \(U_t\), and define
\[
\ell'(U_t(v_b(x),v_d(x)))=
\begin{cases}
\ell(U_t),&\text{if }v_b(x)=v_d(x),\\
\ell(U_t(v_b(x),v_d(x))),&\text{otherwise}.
\end{cases}
\]
Then \(x\) covers \(U_t\) iff
\[
\ell(v_d(x),x)+\ell(x,v_b(x))+\ell'(U_t(v_b(x),v_d(x)))\le R
\tag{6}
\]
and
\[
\ell(v_d(x),x)\le D.
\tag{7}
\]
These are the two coverage constraints used to define the covered-routes set \(T(x)\) [2509.11441].

The exact FDS is constructed by the Edge-Scanning (ES) algorithm. For each route \(U_t\) and edge \((a,b)\), if \((a,b)\in U_t\), then every point on the segment \(\mathrm C(a,b)\) covers \(U_t\), so the recorded endpoints are \(\{a,b\}\). If \((a,b)\notin U_t\), route coverage on that edge is represented by up to two reachable subsegments, one from each endpoint \(q\in\{a,b\}\), with residual
\[
\beta^{(q)}=\min\{D-\ell(v_d(q),q),\, B^{(q)}\}.
\]
Each route-edge pair contributes at most four endpoints. The union \(EP\) of all such endpoints is the key finite set. The Dominance theorem states that for every point \(x\) in the continuous network there exists an endpoint \(w\in EP\) with \(T(x)\subseteq T(w)\); the Finiteness theorem states that \(|EP|\le 4he<\infty\). The overall ES complexity is
\[
O\bigl(h\,e\,(n^2+h)\bigr).
\]
After grouping identical route-coverage sets \(T(w)\), one obtains a reduced candidate set \(C\subseteq EP\) and solves the set-covering MIP
\[
\min \sum_{w\in C} x_w
\]
subject to
\[
\sum_{w\in C} a_{w,t}x_w \ge 1,\quad t=1,\dots,h,\qquad x_w\in\{0,1\}.
\]
This finite model is exact for the original continuous problem [2509.11441].

The reported numerical results illustrate the reduction. On the Sioux Falls network, with \(n=27\), \(e=40\), \(h=5\), \(R=100\), and \(D=4\), ES produces \(|EP|=67\) endpoints and grouping reduces this to \(|C|=15\); the discrete-vertex approach needs \(3\) stations, whereas the FDS approach needs \(2\), with CPU time approximately \(0.02\) s. On the San Antonio network, with \(n=32\), \(e=52\), \(h=6\), and the same \(R\) and \(D\), ES gives \(|EP|=77\), grouping gives about \(20\) candidates, the discrete approach again needs \(3\) stations, and the FDS approach needs \(2\), with solve time approximately \(0.02\) s. Sensitivity experiments show, for example, that on Sioux Falls, \(D=11\) and \(R=100\) produce \(|EP|=101\) and allow one station to cover all five routes [2509.11441].

## 6. Related notions, terminology, and applications

Dominating sets and MWDS arise in social network analysis and influence propagation, wireless ad-hoc and sensor networks, coding theory, data mining, protein–protein interaction networks, and machine-learning, including feature selection and network controllability. In fleet operations, the FDS construction for refueling stations addresses dedicated public-transportation and distribution routes under deviation-permitted refueling [1808.09809; 2509.11441].

A recurrent terminological issue is that similar abbreviations denote different objects. In the finite-surface literature, an FDS is simply a dominating set of a finite graph whose size is bounded in terms of \(n\) [1006.1879]. In continuous network location, an FDS is a finite candidate set that dominates an infinite continuum of feasible locations [2509.11441]. In “Fair Domination in Graphs,” however, an FD-set means a fair dominating set: for some integer \(k\ge 1\), a dominating set \(D\subseteq V\) such that every vertex outside \(D\) has exactly \(k\) neighbors in \(D\),
\[
\forall v\in V\setminus D\qquad |N(v)\cap D|=k.
\]
The fair domination number is
\[
\mathrm{fd}(G)=\min\{|D|: D\subseteq V,\; D \text{ is an FD-set}\}.
\]
Every FD-set is a dominating set, so \(\gamma(G)\le \mathrm{fd}(G)\). For connected graphs of order \(n\ge 3\) with no isolated vertex, \(\mathrm{fd}(G)\le n-2\), and there is an infinite family achieving equality. For maximal outerplanar graphs, \(\mathrm{fd}(G)<17n/19\). For a tree \(T\) of order \(n\ge 2\), \(\mathrm{fd}(T)\le n/2\), with equality iff \(T\) is the corona of a tree [1109.1150].

This distinction matters conceptually. A dominating set need not be fair, and an FDS in the continuous-location sense need not itself be minimum; its role is to contain an optimal solution to a larger infinite problem. The literature therefore uses the same domination vocabulary for three separate purposes: finite extremal bounds in embedded graphs, optimization over finite or weighted graph instances, and exact finite reduction of continuous candidate spaces.

Source: https://www.emergentmind.com/topics/finite-dominating-set-fds