Roman Domination Number in Graph Theory

• Roman domination number is defined as the minimum total weight over all vertex labelings (using 0, 1, and 2) that ensure every unlabeled vertex is adjacent to a vertex labeled 2.
• It refines the classical domination number by modeling strategic resource allocation and offers tight bounds and classifications across various graph families.
• Research explores exact values in paths, cycles, and product graphs, and extends the concept to weighted and k-tuple domination variations with practical implications in network resilience.

A Roman dominating function (RDF) on a graph $G=(V,E)$ is a labeling $f:V\to\{0,1,2\}$ such that every vertex $v$ with $f(v)=0$ is adjacent to at least one vertex $u$ with $f(u)=2$. The Roman domination number $\gamma_R(G)$ is the minimum total weight $\sum_{v\in V}f(v)$ over all RDFs on $G$. This invariant refines the classical domination number by encoding an assignment reminiscent of the strategic allocation of resources under constraints—motivated historically by the “Roman Empire defense” scenario—and admits a sharp interplay with combinatorial graph structure. Roman domination is central in extremal graph theory, product graph analysis, algebraic graph theory, and the study of graph criticality, with explicit parameterizations and classifications in broad graph families.

1. Formal Definition and Fundamental Properties

Let $G=(V,E)$ be a finite simple graph. An RDF is a function $f:V\to\{0,1,2\}$0 such that every vertex $f:V\to\{0,1,2\}$1 with $f:V\to\{0,1,2\}$2 has at least one neighbor $f:V\to\{0,1,2\}$3 with $f:V\to\{0,1,2\}$4. The weight of $f:V\to\{0,1,2\}$5 is $f:V\to\{0,1,2\}$6 where $f:V\to\{0,1,2\}$7. The Roman domination number is defined as

$f:V\to\{0,1,2\}$8

Fundamental inequalities include: $f:V\to\{0,1,2\}$9 where $v$0 is the minimum dominating set size (Martinez et al., 2021, Ramezani et al., 2016, Kazemi, 2014, Wang et al., 2011, Cera et al., 27 Dec 2025, Kumar et al., 2024). For any nontrivial graph $v$1, $v$2. In classic families, the following explicit values hold:

• For $v$3, $v$4 for $v$5.
• For paths $v$6 and cycles $v$7, $v$8 (Kazemi, 2014, Samodivkin, 2017).

In weighted graphs, the weighted Roman domination number $v$9 generalizes to cost functions $f(v)=0$0, with analogous bounds and explicit formulas for standard families (Cera et al., 27 Dec 2025).

2. Characterizations, Bounds, and Structural Results

RDFs induce natural partitions and structural restrictions:

• Any RDF partitions $f(v)=0$1 into $f(v)=0$2.
• In a minimum RDF, the subgraph induced by $f(v)=0$3 has maximum degree at most one, there are no edges from $f(v)=0$4 to $f(v)=0$5, and $f(v)=0$6 forms a vertex cover if the graph has no isolated vertices (Samodivkin, 2017).
• If $f(v)=0$7 is edgeless, $f(v)=0$8.

Criticality is studied through vertex-critical graphs (v-critical): $f(v)=0$9 is v-critical if $u$0 and $u$1 for all $u$2. A similar notion applies to edge-critical graphs and Roman saturated graphs, where adding certain edges or removing vertices/edges consistently impacts $u$3 by exactly one (Martínez-Pérez et al., 2013, Samodivkin, 2017).

3. Exact Values and Extremal Graph Classes

Cycles and Paths

The number is completely classified for paths and cycles: $u$4 On cycles, criticality matches residue classes modulo 3; $u$5 is vertex-critical for $u$6 (Martínez-Pérez et al., 2013).

Roman Domination in Graph Products

For direct (tensor) products $u$7: $u$8 where $u$9 is the packing number, $f(u)=2$0 the total domination number, and $f(u)=2$1 the total Roman domination number (Martinez et al., 2021).

For rooted products $f(u)=2$2, only three possible values: $f(u)=2$3 with precise structural characterizations for each case depending on the change in $f(u)=2$4 upon root removal (Martinez et al., 2021).

Sierpiński Graphs

For the generalized Sierpiński graphs $f(u)=2$5: $f(u)=2$6 with explicit evaluations for paths, cycles, and graphs with a universal vertex, as well as tightness in certain cases (Ramezani et al., 2016).

Generalized Petersen Graphs

For $f(u)=2$7, $f(u)=2$8, based on a repeating structure with block period 7 and local accounting arguments (Wang et al., 2011).

Zero-Divisor Graphs and Total Graphs

For commutative ring zero-divisor graphs $f(u)=2$9:

• If $\gamma_R(G)$0 is a local ring, $\gamma_R(G)$1.
• If $\gamma_R(G)$2, each $\gamma_R(G)$3 a domain, $\gamma_R(G)$4.
• For the total graph $\gamma_R(G)$5, bounds $\gamma_R(G)$6 apply (Kumar et al., 2024).

4. Roman Domination Under Graph Operations and Perturbations

The Roman domination number's behavior under graph modifications is systematized:

• Removal of a vertex $\gamma_R(G)$7 lowers $\gamma_R(G)$8 by 1 if and only if $\gamma_R(G)$9 receives label 1 in some optimum RDF. If in every minimum RDF $\sum_{v\in V}f(v)$0 has label 2, $\sum_{v\in V}f(v)$1 (Samodivkin, 2017).
• Addition of edges, or deletion of edges, yields tight bounds or sharply characterized "critical" and "unchanging" Roman domination classes; forests of stars and double-stars provide prototypical examples for each regime (Samodivkin, 2017).
• Structural Venn diagrams relate all six main classes (vertex-reducing, vertex-unchanging, edge-reducing, etc.) with explicit inclusion and intersection properties.

5. Extensions: Weighted and $\sum_{v\in V}f(v)$2-Tuple Roman Domination

Weighted Roman domination generalizes to graphs with positive vertex weights $\sum_{v\in V}f(v)$3, seeking a minimum total cost $\sum_{v\in V}f(v)$4. For weighted graphs,

$\sum_{v\in V}f(v)$5

where $\sum_{v\in V}f(v)$6 is the (weighted) differential (Cera et al., 27 Dec 2025). Exact values are given for $\sum_{v\in V}f(v)$7, $\sum_{v\in V}f(v)$8, and cycles.

The Roman $\sum_{v\in V}f(v)$9-tuple domination number $G$0 requires each 0-labeled vertex to have at least $G$1 neighbors with label 2, interpolating between classical and more redundant domination scenarios. For $G$2, one recovers the classical Roman domination number (Kazemi, 2014).

6. Applications, Algorithmic Complexity, and Open Problems

• Roman domination is NP-hard to compute even in unweighted graphs; the weighted problem retains this complexity (Cera et al., 27 Dec 2025).
• Explicit constructions and block or recursive methods yield tight values in highly symmetric or product graphs (Wang et al., 2011, Ramezani et al., 2016, Martinez et al., 2021).
• Classification problems include determining all graphs with a given Roman domination number, all trees that are $G$3-excellent (for each vertex, there exists a minimum RDF avoiding label 0 at that vertex) (Samodivkin, 2016), and understanding Roman criticality (the effect of specific edge or vertex changes) (Martínez-Pérez et al., 2013).
• For product graphs, a complete classification of which of the three values for $G$4 occurs, in terms of the so-called "Roman-criticality" of vertices/roots, is an open direction (Martinez et al., 2021).

Roman domination parameters provide a powerful lens for probing redundancy, resilience, and allocation strategies in combinatorial, algebraic, and algorithmic settings, with a mature set of extremal results and open links to more general $G$5-domination and weighted invariants.