Abstract
Consider a graph G of order n and maximum degree ${\Delta}$. Let $f:V(G){\rightarrow}\{0,1,{\cdots},{\lceil}{\frac{{\Delta}}{2}}{\rceil}+1\}$ be a function that labels the vertices of G. Let $B_0=\{v{\in}V(G):f(v)=0\}$. The function f is a strong Roman dominating function for G if every $v{\in}B_0$ has a neighbor w such that $f(w){\geq}1+{\lceil}{\frac{1}{2}}{\mid}N(w){\cap}B_0{\mid}{\rceil}$. In this paper, we study the bounds on strong Roman domination numbers of the Cartesian product $P_m{\square}P_k$ of paths $P_m$ and paths $P_k$. We compute the exact values for the strong Roman domination number of the Cartesian product $P_2{\square}P_k$ and $P_3{\square}P_k$. We also show that the strong Roman domination number of the Cartesian product $P_4{\square}P_k$ is between ${\lceil}{\frac{1}{3}}(8k-{\lfloor}{\frac{k}{8}}{\rfloor}+1){\rceil}$ and ${\lceil}{\frac{8k}{3}}{\rceil}$ for $k{\geq}8$, and that both bounds are sharp bounds.