An identifying code in a graph is a dominating set that also has the property that the closed neighborhood of each vertex in the graph has a distinct intersection with the set. The minimum cardinality of an identifying code, or ID code, in a graph $G$ is called the ID code number of $G$ and is denoted $\gid(G)$. In this paper, we give upper and lower bounds for the ID code number of the prism of a graph, or $G\Box K_2$. In particular, we show that $\gid(G \Box K_2) \ge \gid(G)$ and we show that this bound is sharp. We also give upper and lower bounds for the ID code number of grid graphs and a general upper bound for $\gid(G\Box K_2)$.
An identifying code in a graph $G$ is a dominating set $C$ such that the closed neighborhood of each vertex in $G$ has a distinct intersection with $C$. In 2008, Gravier et al. determined the minimum cardinality of an identifying code of the Cartesian product of two cliques with the same size. In this note, we generalize this result to the Cartesian product of any two nontrivial cliques.
We study the structure of a minimum dominating set of $C_{2n+1}^n$, the Cartesian product of $n$ copies of the cycle of size $2n+1$, where $2n+1$ is a prime.
A graph $G$ is said to be $d$-distinguishable if there is a vertex coloring of $G$ with a set of $d$ colors which breaks all of the automorphisms of $G$ but the identity. We call the minimum $d$ for which a graph $G$ is $d$-distinguishiable the distinguishing number of $G$, denoted by $D(G)$. When $D(G)=2$, the minimum number of vertices in one of the color classes is called the cost of distinguishing of $G$ and is shown by $ρ(G)$. In this paper, we generalize this concept to edge-coloring by introducing the cost of edge-distinguishing of a graph $G$, denoted by $ρ'(G)$. Then, we consider $ρ'(…
The strong matching preclusion number of a graph, introduced by Park and Ihm in 2011, is the minimum number of vertices and edges whose deletion results in a graph that has neither perfect matchings nor almost perfect matchings. As a generalization, the fractional strong matching preclusion number of a graph is the minimum number of edges and vertices whose deletion leaves the resulting graph without a fractional perfect matching. In this paper, we obtain the fractional strong matching preclusion number for Cartesian product graphs. As an application, the fractional strong matching preclusion …
The conditional $h$-vertex($h$-edge) connectivity of a connected graph $H$ of minimum degree $ k > h$ is the size of a smallest vertex(edge) set $F$ of $H$ such that $H - F$ is a disconnected graph of minimum degree at least $h.$ Let $G$ be the Cartesian product of $r\geq 1$ cycles, each of length at least four and let $h$ be an integer such that $0\leq h\leq 2r-2$. In this paper, we determine the conditional $h$-vertex-connectivity and the conditional $h$-edge-connectivity of the graph $G.$ We prove that both these connectivities are equal to $(2r-h)a_h^r$, where $a_h^r$ is the number of vert…
Given a graph $G$, a dominating set $D$ is a set of vertices such that any vertex in $G$ has at least one neighbor (or possibly itself) in $D$. A ${k}$-dominating multiset $D_k$ is a multiset of vertices such that any vertex in $G$ has at least $k$ vertices from its closed neighborhood in $D_k$ when counted with multiplicity. In this paper, we utilize the approach developed by Clark and Suen (2000) and properties of binary matrices to prove a "Vizing-like" inequality on minimum ${k}$-dominating multisets of graphs $G,H$ and the Cartesian product graph $G \Box H$. Specifically, denoting the siz…
A set S of vertices in a graph G resolves G if every vertex is uniquely determined by its vector of distances to the vertices in S. The metric dimension of G is the minimum cardinality of a resolving set of G. This paper studies the metric dimension of cartesian products G*H. We prove that the metric dimension of G*G is tied in a strong sense to the minimum order of a so-called doubly resolving set in G. Using bounds on the order of doubly resolving sets, we establish bounds on G*H for many examples of G and H. One of our main results is a family of graphs G with bounded metric dimension for w…
Gravier et al. investigated the identifying codes of Cartesian product of two graphs. In this paper we consider the identifying codes of lexicographic product G[H] of a connected graph G and an arbitrary graph H, and obtain the minimum cardinality of identifying codes of G[H] in terms of some parameters of G and H.
In this paper, we study the Cartesian product of signed graphs as defined by Germina, Hameed and Zaslavsky (2011). Here we focus on its algebraic properties and look at the chromatic number of some Cartesian products. One of our main results is the unicity of the prime factor decomposition of signed graphs. This leads us to present an algorithm to compute this decomposition in linear time based on a decomposition algorithm for oriented graphs by Imrich and Peterin (2018). We also study the chromatic number of a signed graph, that is the minimum order of a signed graph to which the input signed…
A set $S$ of vertices of a graph $G$ is a dominating set for $G$ if every vertex outside of $S$ is adjacent to at least one vertex belonging to $S$. The minimum cardinality of a dominating set for $G$ is called the domination number of $G$. A map $f : V \rightarrow \{0, 1, 2\}$ is a Roman dominating function on a graph $G$ if for every vertex $v$ with $f(v) = 0$, there exists a vertex $u$, adjacent to $v$, such that $f(u) = 2$. The weight of a Roman dominating function is given by $f(V) =\sum_{u\in V}f(u)$. The minimum weight of a Roman dominating function on $G$ is called the Roman domination…
Graph embedding is a powerful method in parallel computing that maps a guest network $G$ into a host network $H$. The performance of an embedding can be evaluated by certain parameters, such as the dilation, the edge congestion and the wirelength. In this manuscript, we obtain the wirelength (exact and minimum) of embedding complete multi-partite graphs into Cartesian product of paths and cycles, which include $n$-cube, $n$-dimensional mesh (grid), $n$-dimensional cylinder and $n$-dimensional torus, etc., as the subfamilies.
The acyclic chromatic index, denoted by $a'(G)$, of a graph $G$ is the minimum number of colours used in any proper edge colouring of $G$ such that the union of any two colour classes does not contain a cycle, that is, forms a forest. We show that $a'(G\Box H)\le a'(G) + a'(H)$ for any two graphs $G$ and $H$ such that $max\{a'(G), a'(H)\} > 1$. Here, $G \Box H$ denotes the cartesian product of $G$ and $H$. This extends a recent result of [15] where tight and constructive bounds on $a'(G)$ were obtained for a class of grid-like graphs which can be expressed as the cartesian product of a number …
A global offensive alliance in a graph $G$ is a set $S$ of vertices with the property that every vertex not belonging to $S$ has at least one more neighbor in $S$ than it has outside of $S$. The global offensive alliance number of $G$, $γ_o(G)$, is the minimum cardinality of a global offensive alliance in $G$. A set $S$ of vertices of a graph $G$ is a dominating set for $G$ if every vertex not belonging to $S$ has at least one neighbor in $S$. The domination number of $G$, $γ(G)$, is the minimum cardinality of a dominating set of $G$. In this work we obtain closed formulas for the global offen…
The thickness $θ(G)$ of a graph $G$ is the minimum number of planar spanning subgraphs into which the graph $G$ can be decomposed. It is a topological invariant of a graph, which was defined by W.T. Tutte in 1963 and also has important applications to VLSI design. But comparing with other topological invariants, e.g. genus and crossing number, results about thickness of graphs are few. The only types of graphs whose thicknesses have been obtained are complete graphs, complete bipartite graphs and hypercubes. In this paper, by operations on graphs, the thickness of the cartesian product $K_n \B…
The $book$ $embedding$ of a graph $G$ is to place the vertices of $G$ on the spine and draw the edges to the pages so that the edges in the same page do not cross with each other. The book embedding is $matching$ if the pages have maximum degree $1$. The $matching$ $book$ $thickness$ is the minimum number of pages in which graphs can be matching book embedded. In this paper, we show that the matching book thickness of the Cartesian product $K_p\Box C_q$of a complete graph $K_p$ and a cycle $C_q$ is equal to $Δ(K_p\Box C_q)+1$.
For a connected graph $G$, a vertex subset $S$ of $V(G)$ is a safe set if for every component $C$ of the subgraph of $G$ induced by $S$, $|C| \ge |D|$ holds for every component $D$ of $G-S$ such that there exists an edge between $C$ and $D$, and, in particular, if the subgraph induced by $S$ is connected, then $S$ is called a connected safe set. For a connected graph $G$, the safe number and the connected safe number of $G$ are the minimum among sizes of the safe sets and the minimum among sizes of the connected safe sets, respectively, of $G$. Fujita et al. introduced these notions in connect…
An identifying code in a graph is a dominating set that also has the property that the closed neighborhood of each vertex in the graph has a distinct intersection with the set. It was recently shown by Gravier, Moncel and Semri that the minimum cardinality of an identifying code for the Cartesian product of two cliques of the same order n is the floor of 3n/2. We consider identifying codes of the direct product of two cliques. In particular, we answer a question of Klavzar and determine the minimum cardinality of an identifying code for the direct product of any two cliques.
Though embedding problems have been considered for several regular graphs, it is still an open problem for hypercube into torus. In the paper, we prove the conjecture mathematically and obtain the minimum wirelength of embedding for hypercube into Cartesian product of paths and/or cycles. In addition, we explain that Gray code embedding is an optimal strategy in such embedding problems.
The distinguishing number of a graph $G$, denoted $D(G)$, is the minimum number of colors needed to produce a coloring of the vertices of $G$ so that every nontrivial isomorphism interchanges vertices of different colors. A list assignment $L$ on a graph $G$ is a function that assigns each vertex of $G$ a set of colors. An $L$-coloring of $G$ is a coloring in which each vertex is colored with a color from $L(v)$. The list distinguishing number of $G$, denoted $D_{\ell}(G)$ is the minimum $k$ such that every list assignment $L$ that assigns a list of size at least $k$ to every vertex permits a …
If each minimal dominating set in a graph is a minimum dominating set, then the graph is called well-dominated. Since the seminal paper on well-dominated graphs appeared in 1988, the structure of well-dominated graphs from several restricted classes have been studied. In this paper we give a complete characterization of nontrivial direct products that are well-dominated. We prove that if a strong product is well-dominated, then both of its factors are well-dominated. When one of the factors of a strong product is a complete graph, the other factor being well-dominated is also a sufficient cond…
Let $c$ be a proper $k$-coloring of a connected graph $G$ and $Π=(C_1,C_2,...,C_k)$ be an ordered partition of $V(G)$ into the resulting color classes. For a vertex $v$ of $G$, the color code of $v$ with respect to $Π$ is defined to be the ordered $k$-tuple $c_{{}_Π}(v):=(d(v,C_1),d(v,C_2),...,d(v,C_k)),$ where $d(v,C_i)=\min\{d(v,x) | x\in C_i\}, 1\leq i\leq k$. If distinct vertices have distinct color codes, then $c$ is called a locating coloring. The minimum number of colors needed in a locating coloring of $G$ is the locating chromatic number of $G$, denoted by $\Cchi_{{}_L}(G)$. In this p…
A vertical 2-sum of a two-coatom lattice $L$ and a two-atom lattice $U$ is obtained by removing the top of $L$ and the bottom of $U$, and identifying the coatoms of $L$ with the atoms of $U$. This operation creates one or two nonisomorphic lattices depending on the symmetry case. Here the symmetry cases are analyzed, and a recurrence relation is presented that expresses the number of such vertical 2-sums in some family of interest, up to isomorphism. Nonisomorphic, vertically indecomposable modular and distributive lattices are counted and classified up to 35 and 60 elements respectively. Asym…
The game of Cops and Robber is a pursuit-evasion game which is usually played on a connected graph. In the game, a set of cops and a robber move around the vertices of a graph along edges, where the cops aim to capture the robber, while the robber aims to avoid capture. Much research about this game have been done since the early 1980s. The game has a natural generalisation to being played on connected hypergraphs, where the cops and the robber may now move along hyperedges. In this paper, we shall provide a characterisation of all hypergraphs where one cop is sufficient to capture the robber.…
A $k$-tuple total dominating set ($k$TDS) of a graph $G$ is a set $S$ of vertices in which every vertex in $G$ is adjacent to at least $k$ vertices in $S$; the minimum size of a $k$TDS is denoted $γ_{\times k,t}(G)$. We give a Vizing-like inequality for Cartesian product graphs, namely $γ_{\times k,t}(G) γ_{\times k,t}(H) \leq 2k γ_{\times k,t}(G \Box H)$ provided $γ_{\times k,t}(G) \leq 2kρ(G)$, where $ρ$ is the packing number. We also give bounds on $γ_{\times k,t}(G \Box H)$ in terms of (open) packing numbers, and consider the extremal case of $γ_{\times k,t}(K_n \Box K_m)$, i.e., the rook'…
Power domination is a two-step observation process that is used to monitor power networks and can be viewed as a combination of domination and zero forcing. Given a graph $G$, a subset $S\subseteq V(G)$ that can observe all vertices of $G$ using this process is known as a power dominating set of $G$, and the power domination number of $G$, $γ_P(G)$, is the minimum number of vertices in a power dominating set. We introduce a new partition on the vertices of a graph to provide a lower bound for the power domination number. We also consider the power domination number of the Cartesian product of …
Reaction system is a computing model inspired by the biochemical interaction taking place within the living cells. Various extended or modified frameworks motivated by biological, physical, or purely mathematically considerations have been proposed and received significant amount of attention, notably in the recent years. This study, however, takes after particular early works that concentrated on the mathematical nature of minimal reaction systems in the context-free basic framework and motivated by a recent result on the sufficiency of strictly minimal reaction systems to simulate every reac…
The power domination problem focuses on finding the optimal placement of phase measurement units (PMUs) to monitor an electrical power network. In the context of graphs, the power domination number of a graph $G$, denoted $γ_P(G)$, is the minimum number of vertices needed to observe every vertex in the graph according to a specific set of observation rules. In \cite{ZKC_cubic}, Zhao et al. proved that if $G$ is a connected claw-free cubic graph of order $n$, then $γ_P(G) \leq n/4$. In this paper, we show that if $G$ is a claw-free diamond-free cubic graph of order $n$, then $γ_P(G) \le n/6$, a…
Let $G=(V,E)$ be a finite undirected graph. A set $S$ of vertices in $V$ is said to be total $k$-dominating if every vertex in $V$ is adjacent to at least $k$ vertices in $S$. The total $k$-domination number, $γ_{kt}(G)$, is the minimum cardinality of a total $k$-dominating set in $G$. In this work we study the total $k$-domination number of Cartesian product of two complete graphs which is a lower bound of the total $k$-domination number of Cartesian product of two graphs. We obtain new lower and upper bounds for the total $k$-domination number of Cartesian product of two complete graphs. Som…
For a graph, $G$, and a vertex $v \in V(G)$, let $N[v]$ be the set of vertices adjacent to and including $v$. A set $D \subseteq V(G)$ is a vertex identifying code if for any two distinct vertices $v_1, v_2 \in V(G)$, the vertex sets $N[v_1] \cap D$ and $N[v_2] \cap D$ are distinct and non-empty. We consider the minimum density of a vertex identifying code for the infinite hexagonal grid. In 2000, Cohen et al. constructed two codes with a density of $3/7 \approx 0.428571$, and this remains the best known upper bound. Until now, the best known lower bound was $12/29 \approx 0.413793$ and was pr…
A dominating set $D$ for a graph $G$ is a subset of $V(G)$ such that any vertex not in $D$ has at least one neighbor in $D$. The domination number $γ(G)$ is the size of a minimum dominating set in $G$. Vizing's conjecture from 1968 states that for the Cartesian product of graphs $G$ and $H$, $γ(G) γ(H) \leq γ(G \Box H)$, and Clark and Suen (2000) proved that $γ(G) γ(H) \leq 2γ(G \Box H)$. In this paper, we modify the approach of Clark and Suen to prove a variety of similar bounds related to total and paired domination, and also extend these bounds to the $n$-Cartesian product of graphs $A^1$ t…
Let $G=(V,E)$ be a connected graph. The distance between two vertices $u,v\in V$, denoted by $d(u, v)$, is the length of a shortest $u-v$ path in $G$. The distance between a vertex $v\in V$ and a subset $P\subset V$ is defined as $min\{d(v, x): x \in P\}$, and it is denoted by $d(v, P)$. An ordered partition $\{P_1,P_2, ...,P_t\}$ of vertices of a graph $G$, is a \emph{resolving partition}of $G$, if all the distance vectors $(d(v,P_1),d(v,P_2),...,d(v,P_t))$ are different. The \emph{partition dimension} of $G$, denoted by $pd(G)$, is the minimum number of sets in any resolving partition of $G$…
Given an integer $\ell\ge 1$, a $(1,\le \ell)$-identifying code in a digraph is a dominating subset $C$ of vertices such that all distinct subsets of vertices of cardinality at most $\ell$ have distinct closed in-neighbourhood within $C$. In this paper, we prove that every $k$-iterated line digraph of minimum in-degree at least 2 and $k\geq2$, or minimum in-degree at least 3 and $k\geq1$, admits a $(1,\le \ell)$-identifying code with $\ell\leq2$, and in any case it does not admit a $(1,\le \ell)$-identifying code for $\ell\geq3$. Moreover, we find that the identifying number of a line digraph …
A \textit{locally identifying coloring} ($lid$-coloring) of a graph is a proper coloring such that the sets of colors appearing in the closed neighborhoods of any pair of adjacent vertices having distinct neighborhoods are distinct. Our goal is to study a \textit{relaxed locally identifying coloring} ($rlid$-coloring) of a graph that is similar to locally identifying coloring for which the coloring is not necessary proper.We denote by $χ_{rlid}(G)$ the minimum number of colors used in a relaxed locally identifying coloring of a graph $G$ In this paper, we prove that the problem of deciding tha…
We consider the game of Zombies and Survivors as introduced by Fitzpatrick, Howell, Messinger and Pike (2016) This is a variation of the game Cops and Robber where the zombies (in the cops' role) are of limited intelligence and will always choose to move closer to a survivor (who takes on the robber's role). The zombie number of a graph is defined to be the minimum number of zombies required to guarantee the capture of a survivor on the graph. In this paper, we show that the zombie number of the Cartesian product of $n$ non-trivial trees is exactly $\lceil 2n/3 \rceil$. This settles a conjectu…
The distinguishing number of a graph $H$ is a symmetry related graph invariant whose study started two decades ago. The distinguishing number $D(H)$ is the least integer $d$ such that $H$ has a $d$-distinguishing coloring. A $d$-distinguishing coloring is a coloring $c:V(H)\rightarrow\{1,\dots,d\}$ invariant only under the trivial automorphism. In this paper, we continue the study of a game variant of this parameter, recently introduced. The distinguishing game is a game with two players, Gentle and Rascal, with antagonist goals. This game is played on a graph $H$ with a fixed set of $d\in\mat…
The prism over a graph $G$ is the Cartesian product of $G$ with the complete graph on two vertices. A graph $G$ is prism-hamiltonian if the prism over $G$ is hamiltonian. We prove that every polyhedral graph (i.e. 3-connected planar graph) of minimum degree at least four is prism-hamiltonian.
A graph is said to be well-edge-dominated if all its minimal edge dominating sets are minimum. It is known that every well-edge-dominated graph $G$ is also equimatchable, meaning that every maximal matching in $G$ is maximum. In this paper, we show that if $G$ is a connected, triangle-free, nonbipartite, well-edge-dominated graph, then $G$ is one of three graphs. We also characterize the well-edge-dominated split graphs and Cartesian products. In particular, we show that a connected Cartesian product $G\Box H$ is well-edge-dominated, where $G$ and $H$ have order at least $2$, if and only if $G…
An axis-parallel b-dimensional box is a Cartesian product $R_1 \times R_2 \times ... \times R_b$ where each $R_i$ (for $1 \leq i \leq b$) is a closed interval of the form $[a_i,b_i]$ on the real line. The boxicity of any graph $G$, box(G) is the minimum positive integer b such that G can be represented as the intersection graph of axis parallel b-dimensional boxes. A b-dimensional cube is a Cartesian product $R_1 \times R_2\times ... \times R_b$, where each $R_i$ (for $1 \leq i \leq b$) is a closed interval of the form [$a_i$,$a_i$+1] on the real line. When the boxes are restricted to be axis-…
A $(1,\le \ell)$-identifying code in a digraph $D$ is a subset $C$ of vertices of $D$ such that all distinct subsets of vertices of cardinality at most $\ell$ have different closed in-neighborhoods within $C$. In this paper, we give some sufficient conditions for a digraph of minimum in-degree $δ^-\ge 1$ to admit a $(1,\le \ell)$-identifying code for $\ell=δ^-, δ^-+1$. As a corollary, we obtain the result by Laihonen that states that a graph of minimum degree $δ\ge 2$ and girth at least 7 admits a $(1,\le δ)$-identifying code. Moreover, we prove that every $1$-in-regular digraph has a $(1,\le …
A strongly connected graph is strongly biconnected if after ignoring the direction of its edges we have an undirected graph with no articulation points. A 3-vertex strongly biconnected graph is a strongly biconnected digraph that has the property that deleting any two vertices in this graph leaves a strongly binconnected subgraph. Jaberi [11] presented approximation algorithms for minimum cardinality 2-vertex strongly biconnected directed subgraph problem. We will focus in this paper on polynomial time algorithms which we have implemented for producing spanning subgraphs that are 3-vertex stro…
An $L(h_1, h_2, \ldots, h_l)$-labelling of a graph $G$ is a mapping $ϕ: V(G) \rightarrow \{0, 1, 2, \ldots\}$ such that for $1\le i\le l$ and each pair of vertices $u, v$ of $G$ at distance $i$, we have $|ϕ(u) - ϕ(v)| \geq h_i$. The span of $ϕ$ is the difference between the largest and smallest labels assigned to the vertices of $G$ by $ϕ$, and $λ_{h_1, h_2, \ldots, h_l}(G)$ is defined as the minimum span over all $L(h_1, h_2, \ldots, h_l)$-labellings of $G$. In this paper we study $λ_{h, 1, \ldots, 1}$ for Cartesian products of graphs, where $(h, 1, \ldots, 1)$ is an $l$-tuple with $l \ge 3$.…
Let $G$ be a graph without isolated vertices. The total domination number of $G$ is the minimum number of vertices that can dominate all vertices in $G$, and the paired domination number of $G$ is the minimum number of vertices in a dominating set whose induced subgraph contains a perfect matching. This paper determines the total domination number and the paired domination number of the toroidal meshes, i.e., the Cartesian product of two cycles $C_n$ and $C_m$ for any $n\ge 3$ and $m\in\{3,4\}$, and gives some upper bounds for $n, m\ge 5$.
