Table of Contents
Fetching ...

Best possible upper bounds on the restrained domination number of cubic graphs

Boštjan Brešar, Michael A. Henning

Abstract

A dominating set in a graph $G$ is a set $S$ of vertices such that every vertex in $V(G) \setminus S$ is adjacent to a vertex in $S$. A restrained dominating set of $G$ is a dominating set $S$ with the additional restraint that the graph $G - S$ obtained by removing all vertices in $S$ is isolate-free. The domination number $γ(G)$ and the restrained domination number $γ_{r}(G)$ are the minimum cardinalities of a dominating set and restrained dominating set, respectively, of $G$. Let $G$ be a cubic graph of order~$n$. A classical result of Reed [Combin. Probab. Comput. 5 (1996), 277--295] states that $γ(G) \le \frac{3}{8}n$, and this bound is best possible. To determine a best possible upper bound on the restrained domination number of $G$ is more challenging, and we prove that $γ_{r}(G) \le \frac{2}{5}n$.

Best possible upper bounds on the restrained domination number of cubic graphs

Abstract

A dominating set in a graph is a set of vertices such that every vertex in is adjacent to a vertex in . A restrained dominating set of is a dominating set with the additional restraint that the graph obtained by removing all vertices in is isolate-free. The domination number and the restrained domination number are the minimum cardinalities of a dominating set and restrained dominating set, respectively, of . Let be a cubic graph of order~. A classical result of Reed [Combin. Probab. Comput. 5 (1996), 277--295] states that , and this bound is best possible. To determine a best possible upper bound on the restrained domination number of is more challenging, and we prove that .
Paper Structure (9 sections, 6 theorems, 4 equations, 16 figures)

This paper contains 9 sections, 6 theorems, 4 equations, 16 figures.

Key Result

Theorem 1

(HaJo-11) $\frac{2}{5} \le c_{{\rm rdom}} \le \frac{5}{11}$.

Figures (16)

  • Figure 1: The Petersen graph $G$
  • Figure 2: The family ${\cal B}_{{\rm rdom}}$
  • Figure 3: A subgraph in the proof of Claim \ref{['claim.12.1']}
  • Figure 4: A subgraph in the proof of Claim \ref{['claim.12.1']}
  • Figure 5: A subgraph in the proof of Claim \ref{['claim.12.1']}
  • ...and 11 more figures

Theorems & Definitions (75)

  • Theorem 1
  • Theorem 2
  • Theorem 3
  • Theorem 4
  • Lemma 1
  • Claim 1
  • Claim 2
  • Claim 3
  • Claim 4
  • Claim 5
  • ...and 65 more