---
title: Orientable Total Domination Numbers
url: https://www.emergentmind.com/topics/orientable-total-domination-numbers
type: topic
---

# Orientable Total Domination Numbers

An orientable total domination number is a parameter that measures, for a given undirected graph, the extremal values (minimum and maximum) of the total domination number under all valid orientations—that is, all assignments of directions to edges where every vertex has indegree at least one. This concept lies at the intersection of domination theory, extremal graph orientation, and structural characterizations, and has been the focus of recent rigorous characterizations and extremal constructions.

## 1. Definitions and Fundamental Concepts

Let $G=(V,E)$ be a finite, simple, undirected graph. An **orientation** of $G$ is a digraph $D=(V,A)$ formed by replacing each edge $uv\in E$ with exactly one of the arcs $uv$ or $vu$. An orientation is *valid* if every vertex has indegree at least 1:
\[
\forall v\in V:~ d_-^D(v)\ge1.
\]
Given a digraph $D$, a set $S\subseteq V$ is a **total dominating set** if for every $v\in V$,
\[
N_-^D(v)\cap S\neq\emptyset,
\]
where $N_-^D(v)$ is the set of in-neighbors of $v$. The **total domination number** $\gamma_t(D)$ is the minimum size of such $S$.

For an undirected graph $G$, the **lower** and **upper orientable total domination numbers**, denoted $\mathrm{dom}_t(G)$ and $\mathrm{DOM}_t(G)$, are the minimum and maximum, respectively, of $\gamma_t(D)$ over all valid orientations $D$ of $G$:
\[
\mathrm{dom}_t(G)=\min\{\gamma_t(D)\},\quad \mathrm{DOM}_t(G)=\max\{\gamma_t(D)\}.
\]
These parameters are only defined for graphs in the class $\mathcal{C}$, consisting of graphs where every component contains at least one cycle—ensuring the existence of a valid orientation and hence a total dominating set [2411.04560], [2311.16307].

## 2. Main Structural Characterization: $\mathrm{DOM}_t(G)=|V|-1$

A comprehensive structural result identifies all graphs that achieve the second-largest possible value of $\mathrm{DOM}_t(G)$. The main theorem [2411.04560] can be stated as follows:

Let $G\in\mathcal{C}$ be connected. Then,
\[
\mathrm{DOM}_t(G) = |V(G)|-1 \iff G \in F_1\cup F_2\cup F_3,
\]
where the families $F_1$, $F_2$, $F_3$ are defined as:
- **$F_1$**: Connected graphs with exactly one degree-1 vertex $s$, every other vertex of degree at least 2, and a unique path $s=w_0-w_1-\cdots-w_k$ ($k\ge1$); all non-path edges are incident from $w_k$ to (zero or more) vertex-disjoint cycles.
- **$F_2$**: Connected graphs of minimum degree at least 2, consisting of $\ell\ge1$ vertex-disjoint cycles plus one additional vertex $s$, where all extra edges are incident to $s$ and $s$ is adjacent to at least one vertex of each cycle (with $d(s)\ge2$).
- **$F_3$**: Formed from graphs in $F_1$ by adding one or two edges incident to the unique leaf $s$ under precise adjacency constraints, ensuring valid orientation is preserved.

If $G$ is disconnected, $\mathrm{DOM}_t(G)=|V(G)|-1$ holds if and only if all but one component are cycles and the remaining component belongs to $F_1\cup F_2\cup F_3$ [2411.04560].

Auxiliary degree constraints for any extremal orientation $D$ realizing $\gamma_t(D)=|V|-1$ include $d_+^D(v)\le2$ for all $v$, at most one vertex with $d_+^D(v)=0$, and a restriction on the union of out-neighborhoods: for any $S\subseteq V$, $|\bigcup_{x\in S} N_+^D(x)|\le|S|+1$. These properties drive the proof by constraining the orientation structure.

## 3. Extremal Gaps and Additive Discrepancy

The structure of $F_1$, $F_2$, and $F_3$ allows for the existence of graphs where the upper and lower orientable total domination numbers are maximally separated. Explicit constructions yield graphs $G$ such that:
\[
\mathrm{DOM}_t(G)=|V(G)|-1, \qquad \mathrm{dom}_t(G)=3,
\]
so the gap is $|V(G)|-4$ and the ratio $(|V(G)|-1)/3$. A canonical example uses $\ell$ disjoint directed 3-cycles, a universal vertex $s$ adjacent to all cycle vertices, and appropriate orientations: one realizing $\mathrm{DOM}_t(G)=|V|-1$ (by orienting all cycles and edges towards $s$), another achieving $\mathrm{dom}_t(G)=3$ by reversing cycle orientations except for three arcs entering $s$ [2411.04560].

This demonstrates that for simple graphs, the largest possible additive difference between the extremal orientable total domination numbers is $|V|-4$.

## 4. Connection to Classical Total Domination and

Source: https://www.emergentmind.com/topics/orientable-total-domination-numbers