Title:An Explicit Construction of Optimal Dominating Sets in Grid

Abstract:A dominating set in a graph $G$ is a subset of vertices $D$ such that every vertex in $V\setminus D$ is a neighbor of some vertex of $D$. The domination number of $G$ is the minimum size of a dominating set of $G$ and it is denoted by $\gamma(G)$. Also, a subset $D$ of a graph $G$ is a $[ 1, 2 ] $-set if, each vertex $v \in V \setminus D$ is adjacent to either one or two vertices in $D$ and the minimum cardinality of $[ 1, 2 ] $-dominating set of $G$, is denoted by $\gamma_{[1,2]}(G)$.
Chang's conjecture say that for every $16 \leq n \leq m, \gamma(G_{m,n})= \left \lfloor\frac{(n+2)(m+2)}{5}\right \rfloor-4$ and this conjecture has been proven by Goncalves et al. This paper presents an explicit constructing method to find an optimal dominating set for grid graph $G_{n,m}$ where $m,n\geq 16$ in $O(\textit{size of answer})$. In addition, we will show that $\gamma(G_{n,m})=\gamma_{[1,2]}(G_{n,m})$ holds in response to an open question posed by Chellali et al.