Minimal Perfect Roman Domination

• Minimal Perfect Roman Dominating Functions are a graph theoretical concept defined by assigning only values 0 and 2 to vertices, ensuring a dominating set remains invariant under vertex deletion.
• They enforce a unique structure where every vertex in the dominating set has at least three private neighbors, maintaining stability and minimality across the graph.
• Structural results in trees and extremal bounds provide efficient algorithmic constructions and tight theoretical limits useful for advanced graph theory applications.

A minimal perfect Roman dominating function is a critical concept in the study of domination in graphs, merging the combinatorial structure of minimality and uniqueness with the robustness properties characteristic of Roman domination. This article provides a comprehensive survey of the precise definitions, structural theorems, extremal results, algorithmic implications, and open directions associated with minimal perfect Roman dominating functions, focusing on the class $\mathcal{R}_{UVR}$ as systematically developed in contemporary research.

1. Definitions and Fundamental Concepts

Let $G=(V,E)$ be a finite simple graph. A Roman dominating function (RDF) is a function

$f: V \longrightarrow \{0,1,2\}$

such that every vertex $v$ with $f(v) = 0$ has at least one neighbor $u$ with $f(u) = 2$. The weight of an RDF $f$ is

$w(f) = \sum_{v \in V} f(v) = |V_1^f| + 2|V_2^f|,$

where $V_i^f = \{ v \in V : f(v) = i \}$ for $G=(V,E)$0. The Roman domination number of $G=(V,E)$1, denoted $G=(V,E)$2, is the minimum weight of an RDF on $G=(V,E)$3: $G=(V,E)$4 An RDF of weight $G=(V,E)$5 is called a $G=(V,E)$6–function.

A graph $G=(V,E)$7 belongs to the class $G=(V,E)$8 if the Roman domination number is invariant under the deletion of any vertex: $G=(V,E)$9 Such graphs exhibit a form of "minimal perfection" in Roman domination, as their $f: V \longrightarrow \{0,1,2\}$0–functions possess strong global structural uniqueness and resistance to vertex removal (Samodivkin, 2015).

2. Structural Characterization of the Class $f: V \longrightarrow \{0,1,2\}$1

2.1 Uniqueness and Form of Minimal Roman Functions

Every $f: V \longrightarrow \{0,1,2\}$2 admits a $f: V \longrightarrow \{0,1,2\}$3–function $f: V \longrightarrow \{0,1,2\}$4 with $f: V \longrightarrow \{0,1,2\}$5; that is, only the values $f: V \longrightarrow \{0,1,2\}$6 and $f: V \longrightarrow \{0,1,2\}$7 appear. In this case, $f: V \longrightarrow \{0,1,2\}$8 must be a dominating set (a $f: V \longrightarrow \{0,1,2\}$9–set), and further, every $v$0 must have at least three private neighbors in $v$1: $v$2 Conversely, if a graph $v$3 has a $v$4–function with $v$5 and every $v$6 has at least three private neighbors, then $v$7 (Samodivkin, 2015).

2.2 Trees in $v$8: Explicit Construction

The subclass of trees in $v$9 is characterized in full:

Let $f(v) = 0$0 be a tree with $f(v) = 0$1. The following are equivalent:

• $f(v) = 0$2.
• $f(v) = 0$3 has exactly one $f(v) = 0$4–function $f(v) = 0$5, with $f(v) = 0$6, $f(v) = 0$7 independent, and each $f(v) = 0$8 has exactly three private neighbors.
• $f(v) = 0$9 has a unique $u$0–set $u$1 (dominating set of minimum size), with $u$2 independent, and each $u$3 has three private neighbors.
• $u$4 can be built from a labeled $u$5 (center labeled $u$6, leaves labeled $u$7) by iterated application of four operations (O1–O4), each precisely maintaining the structural property above.

The operations (O1–O4) use elementary attachments of paths and stars and preserve the labeling invariant: the set of $u$8-labeled vertices is always the unique $u$9–set, and this labeling directly prescribes the minimal perfect Roman dominating function (Samodivkin, 2015).

3. Extremal Bounds and Packing Properties

If $f(u) = 2$0 is a connected graph with $f(u) = 2$1 vertices, the Roman domination number satisfies

$f(u) = 2$2

Equality holds if and only if every $f(u) = 2$3–function $f(u) = 2$4 has $f(u) = 2$5 as an efficient dominating set (packing) of degree 2 vertices. In trees, only those constructed using repeated O1 operations (with no $f(u) = 2$6-labels) attain the extremal ratio, and the underlying set $f(u) = 2$7 is a maximal packing of degree-2 vertices (Samodivkin, 2015).

Further, in any $f(u) = 2$8, every minimum Roman function yields $f(u) = 2$9 as an efficient packing, and each $f$0 has at least three private neighbors.

The Roman bondage number $f$1, the minimum number of edges whose deletion increases $f$2, satisfies for all $f$3

$f$4

where $f$5 is the minimum degree of $f$6. This bound is tight, as removing all edges incident to a vertex of minimum degree guarantees an increase in $f$7 (Samodivkin, 2015).

4. Relationships with Criticality, Uniqueness, and Minimality

The notion of minimal perfect Roman domination in $f$8 is directly related to the unchanging Roman domination class under vertex deletion, distinguishing it within the broader landscape of criticality in domination invariants (Samodivkin, 2017). While $f$9-criticality in other settings refers to decreasing the domination number under removal of any $w(f) = \sum_{v \in V} f(v) = |V_1^f| + 2|V_2^f|,$0 vertices, $w(f) = \sum_{v \in V} f(v) = |V_1^f| + 2|V_2^f|,$1 captures the opposite: absolute invariance under all single-vertex deletions.

A minimal perfect Roman dominating function on $w(f) = \sum_{v \in V} f(v) = |V_1^f| + 2|V_2^f|,$2 is unique, and this minimality is tied to the property that no vertex can simultaneously serve as a $w(f) = \sum_{v \in V} f(v) = |V_1^f| + 2|V_2^f|,$3- or $w(f) = \sum_{v \in V} f(v) = |V_1^f| + 2|V_2^f|,$4-label, except precisely as dictated by the rigid $w(f) = \sum_{v \in V} f(v) = |V_1^f| + 2|V_2^f|,$5–set construction (Samodivkin, 2015). In contrast, in the class $w(f) = \sum_{v \in V} f(v) = |V_1^f| + 2|V_2^f|,$6 (the changing class), removal of any vertex strictly decreases $w(f) = \sum_{v \in V} f(v) = |V_1^f| + 2|V_2^f|,$7.

Minimal perfect Roman dominating functions thus form the extreme point of uniqueness and stability in the Roman domination spectrum, directly associating them with highly symmetric and rigid graph structures.

5. Algorithmic and Combinatorial Consequences

The explicit labeling scheme for trees—along with the structural characterization—enables algorithmic construction of all minimal perfect Roman dominating functions in $w(f) = \sum_{v \in V} f(v) = |V_1^f| + 2|V_2^f|,$8-trees and yields fast (linear time) recognition algorithms for such trees.

For any $w(f) = \sum_{v \in V} f(v) = |V_1^f| + 2|V_2^f|,$9-tree, the Roman bondage number is exactly one, since the removal of any edge connecting two $V_i^f = \{ v \in V : f(v) = i \}$0-labeled vertices under the unique $V_i^f = \{ v \in V : f(v) = i \}$1–function produces another $V_i^f = \{ v \in V : f(v) = i \}$2-tree (Samodivkin, 2015).

When considering the behavior under products and Mycieleskian constructions, related studies further clarify that $V_i^f = \{ v \in V : f(v) = i \}$3-type graphs correspond to those "special Roman" graphs in which the structure of the minimal dominating function is preserved under certain graph operations (Kazemi, 2011). The efficient packing property of $V_i^f = \{ v \in V : f(v) = i \}$4 is also critical in bounding and calculating Roman domination parameters under products (Martinez et al., 2021).

6. Illustrative Examples and Extremal Cases

A canonical example in $V_i^f = \{ v \in V : f(v) = i \}$5 is $V_i^f = \{ v \in V : f(v) = i \}$6, the 6-cycle. Its minimal perfect Roman dominating function assigns the value $V_i^f = \{ v \in V : f(v) = i \}$7 to two antipodal vertices (and $V_i^f = \{ v \in V : f(v) = i \}$8 to the rest), and this minimal function persists with the same weight after any single vertex removal. In contrast, $V_i^f = \{ v \in V : f(v) = i \}$9 (the path of three vertices) does not belong to $G=(V,E)$00, as its Roman domination number decreases under vertex deletion (Samodivkin, 2015).

Among trees, those constructed with repeated O1 operations, i.e., chains of $G=(V,E)$01 attachments, yield extremal $G=(V,E)$02 ratios, and their unique minimal perfect Roman dominating function is explicitly determined by the construction.

7. Open Problems and Research Directions

Current open questions regarding minimal perfect Roman dominating functions include:

• Complete classification of unicyclic graphs in $G=(V,E)$03.
• Determination of the maximal size of an $G=(V,E)$04-vertex $G=(V,E)$05 with a given Roman domination number $G=(V,E)$06.
• Refinement of the upper $G=(V,E)$07 bound in the presence of additional degree constraints.

A plausible implication is that further exploration of the interplay between efficient packing, degree constraints, and domination invariants in minimal perfect Roman domination may yield new extremal families outside of the current constructive classes.

---

References

• "Roman domination in graphs: the class $G=(V,E)$08" (Samodivkin, 2015)
• "Roman domination: changing, unchanging, $G=(V,E)$09-graphs" (Samodivkin, 2017)
• "Roman domination and Mycieleki's structure in graphs" (Kazemi, 2011)
• "Roman domination in direct product graphs and rooted product graphs" (Martinez et al., 2021)