J. A. Rodriguez,J. M. Sigarreta
Abstract:An offensive alliance in a graph $\Gamma=(V,E)$ is a set of vertices $S\subset V$ where for every vertex $v$ in its boundary it holds that the majority of vertices in $v$'s closed neighborhood are in $S$. In the case of strong offensive alliance, strict majority is required. An alliance $S$ is called global if it affects every vertex in $V\backslash S$, that is, $S$ is a dominating set of $\Gamma$. The global offensive alliance number $\gamma_o(\Gamma)$ (respectively, global strong offensive alliance number $\gamma_{\hat{o}}(\Gamma)$) is the minimum cardinality of a global offensive (respectively, global strong offensive) alliance in $\Gamma$. If $\Gamma$ has global independent offensive alliances, then the \emph{global independent offensive alliance number} $\gamma_i(\Gamma)$ is the minimum cardinality among all independent global offensive alliances of $\Gamma$. In this paper we study mathematical properties of the global (strong) alliance number of cubic graphs. For instance, we show that for all connected cubic graph of order $n$, $$\frac{2n}{5}\le \gamma_i(\Gamma)\le \frac{n}{2}\le \gamma_{\hat{o}}(\Gamma)\le \frac{3n}{4} \le \gamma_{\hat{o}}({\cal L}(\Gamma))=\gamma_{o}({\cal L}(\Gamma))\le n,$$ where ${\cal L}(\Gamma)$ denotes the line graph of $\Gamma$. All the above bounds are tight.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to study the mathematical properties of global offensive alliances in cubic graphs. Specifically, the author aims to explore the bounds and characteristics of the global offensive alliance number in cubic graphs and its related concepts (such as the strong global offensive alliance number, the independent global offensive alliance number, etc.).
### Background of the Paper and Problem Definition
1. **Concepts of Alliances**
- **Offensive Alliance**: In a graph \(\Gamma=(V, E)\), a vertex set \(S\subset V\) is called an offensive alliance if for every vertex \(v\) on the boundary of \(S\), \(|N_S(v)|\geq|N_{V\setminus S}(v)| + 1\), that is, \(2|N_S(v)|\geq\delta(v)+ 1\).
- **Strong Offensive Alliance**: Similarly, but a strict majority is required, that is, \(2|N_S(v)|\geq\delta(v)+2\).
- **Global Offensive Alliance**: If an offensive alliance affects all vertices not in \(S\), that is, for each \(v\in V\setminus S\), \(|N_S(v)|\geq|N_{V\setminus S}(v)| + 1\), then it is called a global offensive alliance.
2. **Definitions of Alliance Numbers**
- **Global Offensive Alliance Number \(\gamma_o(\Gamma)\)**: The cardinality of the smallest global offensive alliance.
- **Global Strong Offensive Alliance Number \(\hat{\gamma}_o(\Gamma)\)**: The cardinality of the smallest global strong offensive alliance.
- **Global Independent Offensive Alliance Number \(\gamma_i(\Gamma)\)**: The cardinality of the smallest independent global offensive alliance.
### Research Objectives
The main objective of the paper is to study the properties of these alliance numbers in cubic graphs and give their upper and lower bounds. Specifically, the author proves that for all connected cubic graphs \(\Gamma\) of order \(n\):
\[
\frac{2n}{5}\leq\gamma_i(\Gamma)\leq\frac{n}{2}\leq\hat{\gamma}_o(\Gamma)\leq\frac{3n}{4}\leq\hat{\gamma}_o(L(\Gamma))=\gamma_o(L(\Gamma))\leq n
\]
where \(L(\Gamma)\) represents the line graph of \(\Gamma\). All of these bounds are tight, that is, there exist cubic graphs for which these bounds can be reached.
### Main Results
- **Theorem 3.1**: For all connected cubic graphs \(\Gamma\) of order \(n\):
- \(\frac{n}{2}\leq\hat{\gamma}_o(\Gamma)\leq\frac{3n}{4}\)
- \(\hat{\gamma}_o(\Gamma)=\frac{n}{2}\) if and only if \(\Gamma\) is a bipartite graph
- \(\hat{\gamma}_o(\Gamma)=\frac{3n}{4}\) if and only if \(\Gamma\) is isomorphic to the complete graph \(K_4\)
- **Theorem 3.6**: For all regular graphs \(\Gamma\) of odd degree of order \(n\) and odd degree \(\de\)