Table of Contents
Fetching ...

On the domination number of the cartesian product of the path graph and any pair of graphs

Omar Tout

Abstract

It is known that for any graph $G,$ $γ(G\square P_2)\geq γ(G)$ where $γ$ stands for the domination number, $\square$ for the cartesian product and $P_2$ is the path graph on two vertices. In an attempt to prove Vizing's conjecture, Clark and Suen proved in $2000$ that $γ(X\square Y)\geq \frac{1}{2}γ(X)γ(Y)$ for any pair of graphs $X$ and $Y.$ Combining these two inequalities, we have $γ(X\square Y\square P_2)\geq \frac{1}{2}γ(X)γ(Y).$ In this paper, we use space projections to improve this lower bound and show that $γ(X\square Y\square P_2)\geq \frac{2}{3}γ(X)γ(Y)$ for any pair of graphs $X$ and $Y.$ In addition, we prove that $γ(X\square Y\square P_{n})\geq c_nγ(X)γ(Y)γ(P_{n}),$ where $c_n$ is almost $\frac{3}{4}$ when $n$ is big enough.

On the domination number of the cartesian product of the path graph and any pair of graphs

Abstract

It is known that for any graph where stands for the domination number, for the cartesian product and is the path graph on two vertices. In an attempt to prove Vizing's conjecture, Clark and Suen proved in that for any pair of graphs and Combining these two inequalities, we have In this paper, we use space projections to improve this lower bound and show that for any pair of graphs and In addition, we prove that where is almost when is big enough.
Paper Structure (7 theorems, 46 equations, 3 figures)

This paper contains 7 theorems, 46 equations, 3 figures.

Key Result

Lemma 2

$b'+g'+y'+o'+r'+m'\geq \gamma (X) \gamma (Y) |V(Z)|.$

Figures (3)

  • Figure 1: Cell coloring for the cartesian product $X\square Y\square Z.$
  • Figure 2: The situation when the maximum number of maroon cells is reached in a $Z$-fiber $Z_{i,y}$ in $X\square Y\square P_n.$
  • Figure 3: Cell coloring for the cartesian product $X\square Y\square Z.$

Theorems & Definitions (15)

  • Example 1
  • Lemma 2
  • proof
  • Lemma 3
  • Lemma 4
  • proof
  • Theorem 5
  • proof
  • Theorem 6
  • proof
  • ...and 5 more