---
title: Min-Forced Vertices in Graphs
url: https://www.emergentmind.com/topics/min-forced-vertices
type: topic
---

# Min-Forced Vertices in Graphs

“Min-forced vertices” is not a single invariant but a family of closely related notions concerning elements that are either unavoidable in every minimum solution or are counted by a minimum forcing process. In one line of work, the term refers explicitly to vertices that belong to every minimum locating-dominating code [2509.01473]. In another, the corresponding notion appears under different names, such as basis forced vertices for metric bases [2103.08911]. In zero forcing and total forcing on graphs, the same viewpoint becomes a minimization problem over initially colored vertex sets [1702.06496]. In perfect matching theory and related optimization problems, the analogous objects are usually edges rather than vertices: a forcing set is a minimum subset that uniquely determines a perfect matching, a shortest path, or a minimum spanning tree [2011.10172], [2509.24309]. The subject therefore spans propagation processes, uniqueness certificates, extremal graph structure, and computational complexity.

## 1. Terminological scope and core formulations

The common backbone is a forcing principle: a small partial specification determines a unique global object. In the general formulation used for shortest paths and minimum spanning trees, if \(E\) is a ground set and \(\Pi \subseteq 2^E\) is a family of feasible solutions, then \(S \subseteq E\) is a forcing set for \(X \in \Pi\) when \(X\) is the unique solution containing \(S\); dually, \(S\) is anti-forcing when \(X\) is the unique solution disjoint from \(S\) [2509.24309]. This definition subsumes several older graph-theoretic forcing notions.

A second, more vertex-centric usage concerns unavoidable vertices in minimum structures. A basis forced vertex is a vertex contained in every metric basis of a graph [2103.08911]. A min-forced vertex, in the locating-dominating setting, is a vertex that belongs to every minimum locating-dominating code [2509.01473]. These are not propagation parameters but “core” vertices of all optimum solutions.

A third usage, explicitly identified with the “min-forced vertices” viewpoint in trees, treats forcing as a dynamic coloring process. A forcing set is an initial colored vertex set from which repeated applications of the rule “a colored vertex with exactly one non-colored neighbor forces that neighbor” eventually color the whole graph; a total forcing set adds the condition that the induced subgraph on the initial set has no isolated vertices [1702.06496]. Here the problem is not whether a specific vertex is unavoidable, but how few initial vertices suffice.

| Setting | Object being forced | Minimum notion |
|---|---|---|
| Zero forcing / total forcing | Initially colored vertices | \(F(G)\), \(F_t(G)\) [1702.06496] |
| Perfect matchings | Edges of a matching | \(f(G,M)\), \(f(G)\), \(F(G)\) [2011.10172] |
| Metric dimension | Vertices in resolving sets | Basis forced vertices [2103.08911] |
| Locating-dominating codes | Vertices in LD-codes | Min-forced vertices [2509.01473] |
| Shortest paths / MSTs | Edges in optimal solutions | Minimum forcing / anti-forcing sets [2509.24309] |
| 1D origami | Creases with fixed MV labels | Minimum forcing sets [1703.06373] |

This variety matters conceptually. Some papers study the size of a minimum forcing set; others study which vertices belong to all minimum sets. The shared theme is uniqueness under partial information, but the formal invariants differ.

## 2. Propagation-based forcing on vertices: zero forcing and total forcing

For trees, the most direct “minimum initially forced vertices” formulation is total forcing. A dynamic coloring starts from an initial set \(S\), and whenever a colored vertex has exactly one non-colored neighbor, it forces that neighbor to become colored. The forcing number \(F(G)\) is the minimum size of a forcing set. The total forcing number \(F_t(G)\) is the minimum size of a forcing set whose induced subgraph has no isolated vertices [1702.06496].

The tree case is sharply structured. If \(T\) is a tree of order \(n \ge 3\) with maximum degree \(\Delta\), then
\[
F_t(T) \le \frac{1}{\Delta}\bigl((\Delta-1)n+1\bigr),
\]
with equality exactly for a family \(\mathcal{T}_\Delta\) built from star-like underlying subtrees whose centers are independent and are strong support vertices [1702.06496]. If \(n_1\) is the number of leaves of a non-trivial tree, then
\[
F_t(T) \ge n_1,
\]
with equality exactly for a recursively defined family \(\mathcal{F}\) obtained from \(P_2\) by five operations \(\mathcal{O}_1,\dots,\mathcal{O}_5\) [1702.06496].

A decisive structural consequence is that total forcing is strictly more demanding than ordinary forcing on non-trivial trees:
\[
F_t(T) \ge F(T)+1,
\]
with equality exactly for trees in a family \(\mathcal{H}\), namely paths and trees whose trimmed form is a star [1702.06496]. The gap can be arbitrarily large: for every integer \(k \ge 1\), there exists a tree \(T\) with
\[
F_t(T)=F(T)+k.
\]

The main mechanisms behind these bounds are trimming invariance, subdivision invariance, and the behavior of strong support vertices. Every total forcing set in an isolate-free graph contains every strong support vertex and all except possibly one leaf neighbor of each strong support vertex [1702.06496]. In this sense, leaves and support structure act as local forcing bottlenecks. For the min-forced-vertices interpretation, this means that the smallest admissible initial set is controlled simultaneously by leaf count, maximum degree, and the requirement that the initial set itself be isolate-free.

## 3. Edge-based forcing in perfect matching theory

In perfect matching theory, the basic object is a forcing set of edges. For a graph \(G\) with a perfect matching \(M\), a subset \(S \subseteq M\) is forcing if no other perfect matching of \(G\) contains all edges of \(S\). The forcing number \(f(G,M)\) is the minimum size of such a subset; the minimum and maximum forcing numbers of the graph are
\[
f(G)=\min_M f(G,M), \qquad F(G)=\max_M f(G,M).
\]
For a graph of order \(2n\) with a perfect matching, one always has
\[
0 \le f(G)\le F(G)\le n-1
\]
[2011.10172], [2106.09209].

Che and Chen asked for a characterization of graphs with \(f(G)=n-1\). This was completely solved by showing that \(f(G)=n-1\) holds exactly for complete multipartite graphs whose partite sets all have size at most \(n\), and for graphs obtained from \(K_{n,n}\) by adding arbitrary edges within the same partite set [2011.10172]. In the bipartite case, the earlier Che–Chen characterization is recovered: \(f(G)=n-1\) if and only if \(G \cong K_{n,n}\) [2011.10172], [2106.09209].

The extremal \(f(G)=n-1\) phenomenon is driven by alternating cycles. A key criterion states that a perfect matching \(M\) satisfies \(f(G,M)=n-1\) if and only if for any two distinct edges \(e_i,e_j \in M\), the induced subgraph on their four endpoints contains an \(M\)-alternating cycle [2011.10172]. This is the rigid end of the spectrum: every pair of matching edges lies inside a local alternating configuration, so one must fix almost all of the matching to eliminate ambiguity.

Subsequent work sharpened the extremal picture. For graphs of order \(2n\) with \(f(G)=k\), one has
\[
e(G)\le n^2+2nk-k^2-k,
\]
with equality exactly for graphs of the form \(\hat H_{n-k,0}\vee K_{2k}\); for bipartite graphs,
\[
e(G)\le \frac{(n-k)(n+k+1)}{2}+nk,
\]
with equality exactly for \(H_{n,k}\) [2106.09209]. These formulas generalize the classical unique-perfect-matching bounds of Hetyei and Lovász–Plummer from \(f(G)=0\) to arbitrary \(k\).

At the opposite end, Liu and Zhang’s conjecture on maximum forcing number was confirmed:
\[
e(G)\ge \frac{n^2}{n-F(G)}, \qquad \text{equivalently} \qquad F(G)\le n-\frac{n^2}{e(G)}
\]
[2512.22761]. In bipartite graphs with \(F(G)=n-2\), the possible minimum forcing numbers form an interval:
\[
\left[\left\lceil\frac{n}{2}\right\rceil-1,\; n-2\right]
\]
[2512.22761]. The forcing spectrum is therefore both rigid and surprisingly continuous in extremal regimes.

A specialized chemical application appears in fullerene graphs. Except for a unique fullerene \(F_{24}\) with minimum forcing number \(2\), every fullerene has minimum forcing number at least \(3\), and all fullerenes with minimum forcing number \(3\) are characterized by a patch-based construction using generalized patches, distance-arrays, and operations \(O_1,\dots,O_7\) [1812.03750]. In particular, nanotube fullerenes of type \((4,2)\) satisfy \(f(F)=3\).

## 4. Forcing beyond matchings: origami, shortest paths, and minimum spanning trees

The forcing paradigm extends well beyond graph matchings. In one-dimensional origami, a forcing set is a subset of creases whose mountain-valley labels determine the entire foldable assignment. For a fixed foldable one-dimensional MV pattern, a linear-time algorithm constructs a minimum forcing set via a crimp forest that encodes all crimpable sequences and their dependencies [1703.06373]. The minimum size equals \(m+e\), where \(m\) is the number of monocrimps in an exhaustive crimp sequence and \(e\) is the number of end creases [1703.06373].

For shortest \(s\)-\(t\) paths and minimum spanning trees, forcing and anti-forcing were studied in a general optimization framework. For shortest paths, minimum forcing is tractable: the decision problem can be solved in time \(O(nm)\) after reduction to the DAG of shortest-path edges [2509.24309]. Minimum anti-forcing for shortest paths is NP-complete even for undirected unweighted graphs, although it is polynomial-time solvable for a fixed shortest path and for bounded-treewidth graphs [2509.24309]. For minimum spanning trees, both forcing and anti-forcing are polynomial-time solvable; in fact the paper gives \(O(m\log n)\) algorithms via a matroidal viewpoint and duality between forcing and anti-forcing [2509.24309].

These results show that forcing complexity is highly problem-dependent. For perfect matchings, minimum forcing is NP-hard in general [2509.24309]; for shortest paths, forcing is easy but anti-forcing is hard [2509.24309]; for minimum spanning trees, both are tractable [2509.24309]. A plausible implication is that “min-forced” phenomena depend less on solution size alone than on the exchange structure of the underlying feasible family.

## 5. Vertices contained in every minimum solution

The most literal vertex-based form of the topic appears in locating-dominating codes. A min-forced vertex is a vertex that belongs to every minimum locating-dominating code [2509.01473]. If \(G\) is a connected nontrivial graph of order \(n\), and \(k\) denotes the number of min-forced vertices, then
\[
k \le \frac{2}{3}\bigl(n-\gamma^{LD}(G)\bigr),
\]
which implies
\[
k \le \frac{2}{5}n.
\]
Both bounds are attained [2509.01473]. The proof uses a color graph attached to a minimum locating-dominating code and shows that each min-forced codeword must contribute at least two edges of its color in the non-codeword part of that graph; cactus bounds then limit how many such colors can coexist [2509.01473].

The same paper gives a local characterization: a vertex \(v\) is min-forced if and only if \(v\) is isolated, or \(\gamma^{LD}(G-v)>\gamma^{LD}(G)\), or \(\gamma^{LD}(G-v)=\gamma^{LD}(G)\) and no minimum locating-dominating code of \(G-v\) both dominates and uniquely identifies \(v\) when viewed back in \(G\) [2509.01473]. It also proves that deciding whether a given vertex is min-forced is co-NP-hard [2509.01473].

An analogous notion for metric dimension is the basis forced vertex: a vertex contained in every metric basis [2103.08911]. Here the structure is different. No cut-vertex of a finite graph is basis forced, and trees have no basis forced vertices [2103.08911]. If a graph has \(n\) vertices and \(k>0\) basis forced vertices, then
\[
k \le n-\dim(G)-1, \qquad k \le \frac{n}{2}-1
\]
[2103.08911]. Moreover, if \(G\) is connected with \(n>6\) and has at least one basis forced vertex, then
\[
|E(G)| \le \frac{n(n-1)}{2}-4
\]
[2103.08911]. Thus basis forced vertices are rare in both sparse and dense regimes.

Paths illustrate how these notions can bifurcate. For locating-dominating codes, the number \(C(n)\) of minimum locating-dominating codes in \(P_n\) is given explicitly, and \(C(5m)=1\), so paths of order divisible by \(5\) have a unique minimum locating-dominating code [2509.01473]. By contrast, for metric bases, paths do not exhibit basis forced vertices in the nontrivial cases summarized in the paper [2103.08911].

## 6. Minimal versus minimum, excluded vertices, and algorithmic boundaries

A nearby but distinct theme concerns vertices that belong to no minimal solution. In zero forcing, a graph is well-forced if all minimal zero forcing sets are minimum size [2312.14298]. For trees, this property is completely characterized: a tree is well-forced if and only if repeated star removals end in a forest each of whose components is \(K_2\) [2312.14298]. The same paper characterizes irrelevant vertices in trees: a vertex belongs to no minimal zero forcing set if and only if it is a \(B\)-vertex, obtained by iteratively removing vertices with double pendants and their pseudoleaves [2312.14298]. This is the “forced-out” counterpart of min-forcedness.

Minimal feedback vertex sets bring another angle. Max Min FVS asks whether there exists a minimal feedback vertex set of size at least \(k\) [2302.09604]. Minimality is expressed by private cycles: a feedback vertex set \(S\) is minimal if and only if for every \(s\in S\), the graph \(G[(V(G)\setminus S)\cup\{s\}]\) contains a cycle [2302.09604]. The problem admits a treewidth dynamic program running in time
\[
\mathrm{tw}^{O(\mathrm{tw})}n^{O(1)}
\]
and a branching algorithm running in time
\[
9.34^k n^{O(1)}
\]
[2302.09604]. At the same time, ETH-based lower bounds rule out \(\mathrm{vc}^{o(\mathrm{vc})}n^{O(1)}\) and therefore \(\mathrm{tw}^{o(\mathrm{tw})}n^{O(1)}\) algorithms unless ETH fails [2302.09604]. The paper also uses explicit force gadgets to ensure that certain vertices cannot appear in any sufficiently large minimal feedback vertex set [2302.09604]. This suggests a parameterized route to vertex-forcedness questions for large minimal FVSs, even though the paper itself studies existence rather than unavoidable membership.

Across these settings, two recurrent boundaries appear. First, local gadgetry often enforces or forbids membership in minimum structures. Second, recognition is usually hard: min-forced vertices for locating-dominating codes are co-NP-hard to detect [2509.01473], basis forced vertices for metric bases are co-NP-hard to detect and void vertices are NP-hard to detect [2103.08911]. The broad picture is therefore structural rather than purely algorithmic: min-forced vertices encode indispensable roles in optimal solutions, but those roles are typically global, sparse, and computationally delicate.

Source: https://www.emergentmind.com/topics/min-forced-vertices