Roman Dominating Function (RDF)

• RDF is a combinatorial labeling on graphs where every vertex labeled 0 must have a neighbor labeled 2, establishing the Roman domination number by minimizing the total weight.
• It captures key structural properties and bounds, displaying sensitivity to vertex and edge modifications, and connects to graph products, reconfiguration, and complexity analysis.
• Algorithmic approaches, including FPT, distributed, and game-theoretic methods, are employed to compute the Roman domination number, highlighting both optimization challenges and practical applications.

A Roman Dominating Function (RDF) on a graph formalizes a combinatorial optimization principle inspired by the allocation of mobile defensive units in networked structures. Introduced in connection with classical domination but enriched with a labeling that encodes both redundancy and local defense, RDFs have become a central object in domination theory, parameterized complexity, optimization algorithms, and graph product theory. The minimum-weight realization of such a function, termed the Roman domination number, exhibits deep connections with graph modification operations, criticality, product and iterative constructions, and parameterized complexity.

1. Definitions and Structural Properties

Let $G=(V,E)$ be a simple graph. An RDF is a function $f:V\rightarrow\{0,1,2\}$ such that every $v\in V$ with $f(v)=0$ has a neighbor $u$ with $f(u)=2$; $V_0,V_1,V_2$ denote, respectively, the label classes. The total weight is $w(f)=\sum_{v\in V}f(v)=|V_1|+2|V_2|$. The Roman domination number, $\gamma_R(G)$, is the minimum weight of an RDF. Any minimum weight RDF is called a $\gamma_R$-function (Samodivkin, 2016, Martinez et al., 2021, Yero et al., 2011, Kazemi, 2011, Samodivkin, 2017, Ashok et al., 2024, Chen et al., 2023).

Global properties include:

• $f:V\rightarrow\{0,1,2\}$0, where $f:V\rightarrow\{0,1,2\}$1 is the domination number.
• $f:V\rightarrow\{0,1,2\}$2 and $f:V\rightarrow\{0,1,2\}$3 for any $f:V\rightarrow\{0,1,2\}$4-function (Yero et al., 2011).
• For standard classes, $f:V\rightarrow\{0,1,2\}$5 for paths and cycles of order $f:V\rightarrow\{0,1,2\}$6 (Yero et al., 2011).

A vertex $f:V\rightarrow\{0,1,2\}$7 is called $f:V\rightarrow\{0,1,2\}$8-good if some $f:V\rightarrow\{0,1,2\}$9-function assigns it a nonzero label; a graph is $v\in V$0-excellent if every vertex is $v\in V$1-good (Samodivkin, 2016).

2. Operations, Criticality, and Changing Classes

Roman domination is sensitive to vertex and edge modifications. The following lemmas and classification results are central:

• Vertex Deletion Principle: $v\in V$2 if and only if there is a $v\in V$3-function $v\in V$4 with $v\in V$5, in which case $v\in V$6.
• Edge Addition Principle: For nonadjacent $v\in V$7, $v\in V$8, with equality $v\in V$9 exactly when a $f(v)=0$0-function assigns $f(v)=0$1 to $f(v)=0$2 (Samodivkin, 2016, Samodivkin, 2017).

Six classes of graphs arise concerning $f(v)=0$3's response to edge/vertex removal or addition. Notably, $f(v)=0$4 comprises graphs where $f(v)=0$5 is invariant under any single vertex removal; every tree in this class is $f(v)=0$6-excellent (Samodivkin, 2016, Samodivkin, 2017).

A $f(v)=0$7-vertex Roman-critical graph is one where removal of any $f(v)=0$8-vertex set strictly decreases $f(v)=0$9 (Samodivkin, 2017).

3. Roman Domination in Product and Iterated Constructions

The behavior of $u$0 under graph products and iterative constructions is governed by sharp inequalities and, in specific cases, structural trichotomies.

Direct Product: For graphs $u$1 without isolated vertices,

$u$2

with $u$3 being the packing number, $u$4 the total Roman domination number, and $u$5 the domination number (Martinez et al., 2021).

Rooted Product: For $u$6 of order $u$7, $u$8 rooted at $u$9,

$f(u)=2$0

with precise structural criteria for which value is attained (Martinez et al., 2021).

Cartesian and Strong Products:

• $f(u)=2$1. If $f(u)=2$2 has an efficient dominating set, $f(u)=2$3 (Yero et al., 2011).
• For strong product $f(u)=2$4,

$f(u)=2$5

where $f(u)=2$6 are the sets with label 2 in $f(u)=2$7-functions of $f(u)=2$8 (Yero et al., 2011).

Mycieleskian: For the Mycieleskian $f(u)=2$9,

$V_0,V_1,V_2$0

$V_0,V_1,V_2$1 if and only if $V_0,V_1,V_2$2 is special Roman (i.e., $V_0,V_1,V_2$3 is Roman with a $V_0,V_1,V_2$4-function using only labels $V_0,V_1,V_2$5 and $V_0,V_1,V_2$6 has no isolated vertex) (Kazemi, 2011).

4. Algorithmic and Parameterized Complexity

Computing $V_0,V_1,V_2$7 is generally hard; however, fixed-parameter tractable (FPT) and distributed approaches are established under structural restrictions.

• FPT for Cluster Deletion Distance: For $V_0,V_1,V_2$8 with cluster-vertex-deletion size $V_0,V_1,V_2$9, $w(f)=\sum_{v\in V}f(v)=|V_1|+2|V_2|$0 and the independent Roman domination number $w(f)=\sum_{v\in V}f(v)=|V_1|+2|V_2|$1 can be computed in time $w(f)=\sum_{v\in V}f(v)=|V_1|+2|V_2|$2 (Ashok et al., 2024).
• Lower Bounds: No $w(f)=\sum_{v\in V}f(v)=|V_1|+2|V_2|$3-time algorithm exists for any $w(f)=\sum_{v\in V}f(v)=|V_1|+2|V_2|$4 (unless SETH fails); no polynomial-size kernel unless NP$w(f)=\sum_{v\in V}f(v)=|V_1|+2|V_2|$5coNP/poly (Ashok et al., 2024).
• Distributed/Game-theoretic Algorithms: Nash equilibria of the Roman Domination Game (RDG) correspond to strong minimal RDFs. The game-based synchronous algorithm (GSA) converges in $w(f)=\sum_{v\in V}f(v)=|V_1|+2|V_2|$6 rounds, and the enhanced GSA (EGSA) in $w(f)=\sum_{v\in V}f(v)=|V_1|+2|V_2|$7 rounds, where $w(f)=\sum_{v\in V}f(v)=|V_1|+2|V_2|$8. EGSA achieves high-quality approximations, often outperforming classic greedy approaches on random graph classes (Chen et al., 2023).

5. $w(f)=\sum_{v\in V}f(v)=|V_1|+2|V_2|$9-Excellent Graphs, Recognition, and Construction

A graph $\gamma_R(G)$0 is $\gamma_R(G)$1-excellent if every vertex $\gamma_R(G)$2 is $\gamma_R(G)$3-good, i.e., for each $\gamma_R(G)$4, there is a $\gamma_R(G)$5-function $\gamma_R(G)$6 with $\gamma_R(G)$7. For trees, there is a constructive labeling characterization using operations (O1–O4) starting from base trees $\gamma_R(G)$8:

• Label vertices by statuses $\gamma_R(G)$9 where $\gamma_R$0, $\gamma_R$1, $\gamma_R$2 collects certain $\gamma_R$3 vertices of degree 2, $\gamma_R$4.
• Recognition algorithm on trees is linear-time via dynamic programming, checking local degree/status patterns, and systematically peeling off substructures guided by the labeling (Samodivkin, 2016).

A prominent subclass are UVR-trees, for which the domination number is invariant under any vertex deletion; every UVR-tree is $\gamma_R$5-excellent, and they correspond to the cases with $\gamma_R$6 (Samodivkin, 2016).

6. Partition and Reconfiguration Structures

The $\gamma_R$7-partition of $\gamma_R$8 groups vertices by the set of labels they attain in all $\gamma_R$9-functions: $f:V\rightarrow\{0,1,2\}$00. $f:V\rightarrow\{0,1,2\}$01 is $f:V\rightarrow\{0,1,2\}$02-excellent if $f:V\rightarrow\{0,1,2\}$03 (Samodivkin, 2016).

The set of all $f:V\rightarrow\{0,1,2\}$04-functions, $f:V\rightarrow\{0,1,2\}$05, forms the vertex set of various reconfiguration graphs, with adjacency defined by local relabelings such as $f:V\rightarrow\{0,1,2\}$06-swaps or $f:V\rightarrow\{0,1,2\}$07-swaps. These $f:V\rightarrow\{0,1,2\}$08-graphs can model complex combinatorial structures, and the structure of these graphs is closely connected to path and cycle decompositions and universal graph constructions (Samodivkin, 2017).

7. Connections to Variants and Open Problems

Variants include the independent Roman domination number $f:V\rightarrow\{0,1,2\}$09, where an RDF must have $f:V\rightarrow\{0,1,2\}$10 as an independent set (Ashok et al., 2024). Other extensions include total Roman domination and further refinements involving packing numbers and product graph decompositions (Martinez et al., 2021).

Open problems concern the tightness of bounds in general product graphs, characterization of $f:V\rightarrow\{0,1,2\}$11-excellent graphs beyond trees, the universal structure of $f:V\rightarrow\{0,1,2\}$12-graphs, and complexity status outside the regime of known FPT or distributed approaches (Martinez et al., 2021, Yero et al., 2011, Samodivkin, 2017).

---

References:

(Samodivkin, 2016, Martinez et al., 2021, Yero et al., 2011, Samodivkin, 2017, Ashok et al., 2024, Chen et al., 2023, Kazemi, 2011)