Table of Contents
Fetching ...

The integer $\{2\}$-domination number of grids

Jia-Ying Lee, Chia-An Liu

TL;DR

This paper investigates the integer $\{2\}$-domination number on grid graphs $G_{m,n}$, defined as the minimum total weight of a function $f:V_{m,n}\to\{0,1,2\}$ with $\sum_{y\in N[x]} f(y)\ge 2$ for every vertex $x$. It introduces a labeling-based representation and a dynamic programming algorithm that computes $\gamma_{\{2\}}(G_{m,n})$ for fixed $m$ and arbitrary $n$, enabling linear-time computation in $n$. The authors obtain exact values for $G_{1,n}$ and $G_{2,n}$, derive an upper bound for $G_{3,n}$, and demonstrate the approach by determining many $G_{4,n}$ values up to $n\le 100$ while proposing a closed form for larger $n$. The work advances understanding of domination-type parameters on grids and provides scalable methods for exact computation, with promising directions to generalize to larger $m$ and higher $k$-domination.

Abstract

For positive integers $m$ and $n$, the grid graph $G_{m,n}$ is the Cartesian product of the path graph $P_m$ on $m$ vertices and the path graph $P_n$ on $n$ vertices. An integer $\{2\}$-dominating function of a graph is a mapping from the vertex set to $\{0,1,2\}$ such that the sum of the mapped values of each vertex and its neighbors is at least $2$; the integer $\{2\}$-domination number of a graph is defined to be the minimum sum of mapped values of all vertices among all integer $\{2\}$-dominating functions. In this paper, we compute the integer $\{2\}$-domination numbers of $G_{1,n}$ and $G_{2,n}$, attain an upper bound to the integer $\{2\}$-domination numbers of $G_{3,n}$, and propose an algorithm to count the integer $\{2\}$-domination numbers of $G_{m,n}$ for arbitrary $m$ and $n$. As a future work, we list the integer $\{2\}$-domination numbers of $G_{4,n}$ for small $n$, and conjecture on its formula.

The integer $\{2\}$-domination number of grids

TL;DR

This paper investigates the integer -domination number on grid graphs , defined as the minimum total weight of a function with for every vertex . It introduces a labeling-based representation and a dynamic programming algorithm that computes for fixed and arbitrary , enabling linear-time computation in . The authors obtain exact values for and , derive an upper bound for , and demonstrate the approach by determining many values up to while proposing a closed form for larger . The work advances understanding of domination-type parameters on grids and provides scalable methods for exact computation, with promising directions to generalize to larger and higher -domination.

Abstract

For positive integers and , the grid graph is the Cartesian product of the path graph on vertices and the path graph on vertices. An integer -dominating function of a graph is a mapping from the vertex set to such that the sum of the mapped values of each vertex and its neighbors is at least ; the integer -domination number of a graph is defined to be the minimum sum of mapped values of all vertices among all integer -dominating functions. In this paper, we compute the integer -domination numbers of and , attain an upper bound to the integer -domination numbers of , and propose an algorithm to count the integer -domination numbers of for arbitrary and . As a future work, we list the integer -domination numbers of for small , and conjecture on its formula.

Paper Structure

This paper contains 4 sections, 7 theorems, 55 equations, 19 figures.

Key Result

Theorem 2.1

For positive integer $n$, we have

Figures (19)

  • Figure 1: The grid graph $G_{3,7}=P_3\square P_7$.
  • Figure 2: A mapping $f$ and its corresponding notations on vertices of a $G_{3,2}.$
  • Figure 3: A partition of the vertices of $G_{1,n}$ for $n=3k-2.$
  • Figure 4: An integer $\{2\}$-dominating function of $G_{1,n}$ for $n=3k-2.$
  • Figure 5: A partition of the vertices of $G_{1,n}$ for $n=3k-1.$
  • ...and 14 more figures

Theorems & Definitions (19)

  • Theorem 2.1
  • proof
  • Lemma 2.2
  • proof
  • Theorem 2.3
  • proof
  • Theorem 2.4
  • proof
  • Conjecture 2.5
  • Remark 2.6
  • ...and 9 more