arXiv++ Combinatorics

Let $G$ be a graph of order $n(G)$ and vertex set $V(G)$. Given a set $S\subseteq V(G)$, we define the external neighbourhood of $S$ as the set $N_e(S)$ of all vertices in $V(G)\setminus S$ having at least one neighbour in $S$. The differential of $S$ is defined to be $\partial(S)=|N_e(S)|-|S|$. In this paper, we introduce the study of the $2$-packing differential of a graph, which we define as $\partial_{2p}(G)=\max\{\partial(S): S\subseteq V(G) \text{ is a }2\text{-packing}\}.$ We show that the $2$-packing differential is closely related to several graph parameters, including the packing number, the independent domination number, the total domination number, the perfect differential, and the unique response Roman domination number. In particular, we show that the theory of $2$-packing differentials is an appropriate framework to investigate the unique response Roman domination number of a graph without the use of functions. Among other results, we obtain a Gallai-type theorem, which states that $\partial_{2p}(G)+μ_{_R}(G)=n(G)$, where $μ_{_R}(G)$ denotes the unique response Roman domination number of $G$. As a consequence of the study, we derive several combinatorial results on $μ_{_R}(G)$, and we show that the problem of finding this parameter is NP-hard. In addition, the particular case of lexicographic product graphs is discussed.

Given a graph $G$ and a subset of vertices $D\subseteq V(G)$, the external neighbourhood of $D$ is defined as $N_e(D)=\{u\in V(G)\setminus D:\, N(u)\cap D\ne \varnothing\}$, where $N(u)$ denotes the open neighbourhood of $u$. Now, given a subset $D\subseteq V(G)$ and a vertex $v\in D$, the external private neighbourhood of $v$ with respect to $D$ is defined to be $epn(v,D)=\{u\in V(G)\setminus D: N(u)\cap D=\{v\}\}.$ The strong differential of a set $D\subseteq V(G)$ is defined as $\partial_s(D)=|N_e(D)|-|D_w|,$ where $D_w=\{v\in D: epn(v,D)\neq \varnothing\}$. In this paper we focus on the study of the strong differential of a graph, which is defined as $$\partial_s(G)=\max \{\partial_s(D): D\subseteq V(G)\}.$$ Among other results, we obtain general bounds on $\partial_s(G)$ and we prove a Gallai-type theorem, which states that $\partial_s(G)+γ_{I}(G)=n(G)$, where $γ_{I}G)$ denotes the Italian domination number of $G$. Therefore, we can see the theory of strong differential in graphs as a new approach to the theory of Italian domination. One of the advantages of this approach is that it allows us to study the Italian domination number without the use of functions. As we can expect, we derive new results on the Italian domination number of a graph.

The aim of this paper is to obtain closed formulas for the perfect domination number, the Roman domination number and the perfect Roman domination number of lexicographic product graphs. We show that these formulas can be obtained relatively easily for the case of the first two parameters. The picture is quite different when it concerns the perfect Roman domination number. In this case, we obtain general bounds and then we give sufficient and/or necessary conditions for the bounds to be achieved. We also discuss the case of perfect Roman graphs and we characterize the lexicographic product graphs where the perfect Roman domination number equals the Roman domination number.

In this paper, we show that the Italian domination number of every lexicographic product graph $G\circ H$ can be expressed in terms of five different domination parameters of $G$. These parameters can be defined under the following unified approach, which encompasses the definition of several well-known domination parameters and introduces new ones. Let $N(v)$ denote the open neighbourhood of $v\in V(G)$, and let $w=(w_0,w_1, \dots,w_l)$ be a vector of nonnegative integers such that $ w_0\ge 1$. We say that a function $f: V(G)\longrightarrow \{0,1,\dots ,l\}$ is a $w$-dominating function if $f(N(v))=\sum_{u\in N(v)}f(u)\ge w_i$ for every vertex $v$ with $f(v)=i$. The weight of $f$ is defined to be $ω(f)=\sum_{v\in V(G)} f(v)$. The $w$-domination number of $G$, denoted by $γ_{w}(G)$, is the minimum weight among all $w$-dominating functions on $G$. If we impose restrictions on the minimum degree of $G$ when needed, under this approach we can define, for instance, the domination number, the total domination number, the $k$-domination number, the $k$-tuple domination number, the $k$-tuple total domination number, the Italian domination number, the total Italian domination number, and the $\{k\}$-domination number. Specifically, we show that $γ_{I}(G\circ H)=γ_{w}(G)$, where $w\in \{2\}\times\{0,1,2\}^{l}$ and $l\in \{2,3\}$. The decision on whether the equality holds for specific values of $w_0,\dots,w_l$ will depend on the value of the domination number of $H$. This paper also provides preliminary results on $γ_{w}(G)$ and raises the challenge of conducting a detailed study of the topic.

In a graph $G$, a vertex dominates itself and its neighbours. A subset $S\subseteq V(G)$ is said to be a double dominating set of $G$ if $S$ dominates every vertex of $G$ at least twice. The minimum cardinality among all double dominating sets of $G$ is the double domination number. In this article, we obtain tight bounds and closed formulas for the double domination number of lexicographic product graphs $G\circ H$ in terms of invariants of the factor graphs $G$ and $H$.

In this article, we obtain closed formulae for the Italian domination number of rooted product graphs. As a particular case of the study, we derive the corresponding formulas for corona graphs, and we provide an alternative proof that the problem of computing the Italian domination number of a graph is NP-hard.

The neighbourhood of a vertex $v$ of a graph $G$ is the set $N(v)$ of all vertices adjacent to $v$ in $G$. For $D\subseteq V(G)$ we define $\overline{D}=V(G)\setminus D$. A set $D\subseteq V(G)$ is called a super dominating set if for every vertex $u\in \overline{D}$, there exists $v\in D$ such that $N(v)\cap \overline{D}=\{u\}$. The super domination number of $G$ is the minimum cardinality among all super dominating sets in $G$. In this article we obtain closed formulas and tight bounds for the super dominating number of lexicographic product graphs in terms of invariants of the factor graphs involved in the product. As a consequence of the study, we show that the problem of finding the super domination number of a graph is NP-Hard.

The strong resolving graph $G_{SR}$ of a connected graph $G$ was introduced in [Discrete Applied Mathematics 155 (1) (2007) 356--364] as a tool to study the strong metric dimension of $G$. Basically, it was shown that the problem of finding the strong metric dimension of $G$ can be transformed to the problem of finding the vertex cover number of $G_{SR}$. Since then, several articles dealing with this subject have been published. In this paper, we survey the state of knowledge on the strong resolving graph and also derive some new results.

Let $G=(V,E)$ be a simple connected graph and $d_i$ be the degree of its $i$th vertex. In a recent paper [J. Math. Chem. 46 (2009) 1369-1376] the first geometric-arithmetic index of a graph $G$ was defined as $$GA_1=\sum_{ij\in E}\frac{2 \sqrt{d_i d_j}}{d_i + d_j}.$$ This graph invariant is useful for chemical proposes. The main use of $GA_1$ is for designing so-called quantitative structure-activity relations and quantitative structure-property relations. In this paper we obtain new inequalities involving the geometric-arithmetic index $GA_1$ and characterize the graphs which make the inequalities tight. In particular, we improve some known results, generalize other, and we relate $GA_1$ to other well-known topological indices.

Let $(X,d)$ be a metric space. A set $S\subseteq X$ is said to be a $k$-metric generator for $X$ if and only if for any pair of different points $u,v\in X$, there exist at least $k$ points $w_1,w_2, \ldots w_k\in S$ such that $d(u,w_i)\ne d(v,w_i),\; \mbox{\rm for all}\; i\in \{1, \ldots k\}.$ Let $\mathcal{R}_k(X)$ be the set of metric generators for $X$. The $k$-metric dimension $\dim_k(X)$ of $(X,d)$ is defined as $$\dim_k(X)=\inf\{|S|:\, S\in \mathcal{R}_k(X)\}.$$ Here, we discuss the $k$-metric dimension of $(V,d_t)$, where $V$ is the set of vertices of a simple graph $G$ and the metric $d_t:V\times V\rightarrow \mathbb{N}\cup \{0\}$ is defined by $d_t(x,y)=\min\{d(x,y),t\}$ from the geodesic distance $d$ in $G$ and a positive integer $t$. The case $t\ge D(G)$, where $D(G)$ denotes the diameter of $G$, corresponds to the original theory of $k$-metric dimension and the case $t=2$ corresponds to the theory of $k$-adjacency dimension. Furthermore, this approach allows us to extend the theory of $k$-metric dimension to the general case of non-necessarily connected graphs.

The metric dimension is quite a well-studied graph parameter. Recently, the adjacency dimension and the local metric dimension have been introduced and studied. In this paper, we give a general formula for the local metric dimension of the lexicographic product $G \circ \mathcal{H}$ of a connected graph $G$ of order $n$ and a family $\mathcal{H}$ composed by $n$ graphs. We show that the local metric dimension of $G \circ \mathcal{H}$ can be expressed in terms of the true twin equivalence classes of $G$ and the local adjacency dimension of the graphs in $\mathcal{H}$.

Let ${\cal G}$ be a family of graphs defined on a common (labeled) vertex set $V$. A set $S\subset V$ is said to be a simultaneous strong metric generator for ${\cal G}$ if it is a strong metric generator for every graph of the family. The minimum cardinality among all simultaneous strong metric generators for ${\cal G}$, denoted by $Sd_s({\cal G})$, is called the simultaneous strong metric dimension of ${\cal G}$. We obtain general results on $Sd_s({\cal G})$ for arbitrary families of graphs, with special emphasis on the case of families composed by a graph and its complement. In particular, it is shown that the problem of finding the simultaneous strong metric dimension of families of graphs is $NP$-hard, even when restricted to families of trees.

A generator of a metric space is a set $S$ of points in the space with the property that every point of the space is uniquely determined by its distances from the elements of $S$. Given a simple graph $G=(V,E)$, we define the distance function $d_{G,2}:V\times V\rightarrow \mathbb{N}\cup \{0\}$, as $d_{G,2}(x,y)=\min\{d_G(x,y),2\},$ where $d_G(x,y)$ is the length of a shortest path between $x$ and $y$ and $\mathbb{N}$ is the set of positive integers. Then $(V,d_{G,2 })$ is a metric space. We say that a set $S\subseteq V$ is a $k$-adjacency generator for $G$ if for every two vertices $x,y\in V$, there exist at least $k$ vertices $w_1,w_2,...,w_k\in S$ such that $$d_{G,2}(x,w_i)\ne d_{G,2}(y,w_i),\; \mbox{for every}\; i\in \{1,...,k\}.$$ A minimum cardinality $k$-adjacency generator is called a $k$-adjacency basis of $G$ and its cardinality, the $k$-adjacency dimension of $G$. In this article we study the problem of finding the $k$-adjacency dimension of a graph. We give some necessary and sufficient conditions for the existence of a $k$-adjacency basis of an arbitrary graph $G$ and we obtain general results on the $k$-adjacency dimension, including general bounds and closed formulae for some families of graphs. In particular, we obtain closed formulae for the $k$-adjacency dimension of join graphs $G+H$ in terms of the $k$-adjacency dimension of $G$ and $H$. These results concern the $k$-metric dimension, as join graphs have diameter two. As we can expect, the obtained results will become important tools for the study of the $k$-metric dimension of lexicographic product graphs and corona product graphs.

A vertex $v\in V$ is said to resolve two vertices $x$ and $y$ if $d_G(v,x)\ne d_G(v,y)$. A set $S\subset V$ is said to be a metric generator for $G$ if any pair of vertices of $G$ is resolved by some element of $S$. A minimum metric generator is called a metric basis, and its cardinality, $\dim(G)$, the \emph{metric dimension} of $G$. A set $S\subseteq V$ is said to be a simultaneous metric generator for a graph family ${\cal G}=\{G_1,G_2,\ldots,G_k\}$, defined on a common (labeled) vertex set, if it is a metric generator for every graph of the family. A minimum cardinality simultaneous metric generator is called a simultaneous metric basis, and its cardinality the simultaneous metric dimension of ${\cal G}$. We obtain sharp bounds for this invariants for general families of graphs and calculate closed formulae or tight bounds for the simultaneous metric dimension of several specific graph families. For a given graph $G$ we describe a process for obtaining a lower bound on the maximum number of graphs in a family containing $G$ that has simultaneous metric dimension equal to $\dim(G)$. It is shown that the problem of finding the simultaneous metric dimension of families of trees is $NP$-hard. Sharp upper bounds for the simultaneous metric dimension of trees are established. The problem of finding this invariant for families of trees that can be obtained from an initial tree by a sequence of successive edge-exchanges is considered. For such families of trees sharp upper and lower bounds for the simultaneous metric dimension are established.

Given a simple and connected graph $G=(V,E)$, and a positive integer $k$, a set $S\subseteq V$ is said to be a $k$-metric generator for $G$, if for any pair of different vertices $u,v\in V$, there exist at least $k$ vertices $w_1,w_2,\ldots,w_k\in S$ such that $d_G(u,w_i)\ne d_G(v,w_i)$, for every $i\in \{1,\ldots,k\}$, where $d_G(x,y)$ denotes the distance between $x$ and $y$. The minimum cardinality of a $k$-metric generator is the $k$-metric dimension of $G$. A set $S\subseteq V$ is a $k$-adjacency generator for $G$ if any two different vertices $x,y\in V(G)$ satisfy $|((N_G(x)\triangledown N_G(y))\cup\{x,y\})\cap S|\ge k$, where $N_G(x)\triangledown N_G(y)$ is the symmetric difference of the neighborhoods of $x$ and $y$. The minimum cardinality of any $k$-adjacency generator is the $k$-adjacency dimension of $G$. In this article we obtain tight bounds and closed formulae for the $k$-metric dimension of the lexicographic product of graphs in terms of the $k$-adjacency dimension of the factor graphs.

Let $G$ be a connected graph. Given an ordered set $W = \{w_1, w_2,\dots w_k\}\subseteq V(G)$ and a vertex $u\in V(G)$, the representation of $u$ with respect to $W$ is the ordered $k$-tuple $(d(u,w_1), d(u,w_2),\dots,$ $d(u,w_k))$, where $d(u,w_i)$ denotes the distance between $u$ and $w_i$. The set $W$ is a metric generator for $G$ if every two different vertices of $G$ have distinct representations. A minimum cardinality metric generator is called a \emph{metric basis} of $G$ and its cardinality is called the \emph{metric dimension} of G. It is well known that the problem of finding the metric dimension of a graph is NP-Hard. In this paper we obtain closed formulae for the metric dimension of graphs with cut vertices. The main results are applied to specific constructions including rooted product graphs, corona product graphs, block graphs and chains of graphs.

Given a set of vertices $S=\{v_1,v_2,...,v_k\}$ of a connected graph $G$, the metric representation of a vertex $v$ of $G$ with respect to $S$ is the vector $r(v|S)=(d(v,v_1),d(v,v_2),...,d(v,v_k))$, where $d(v,v_i)$, $i\in \{1,...,k\}$ denotes the distance between $v$ and $v_i$. $S$ is a resolving set of $G$ if for every pair of vertices $u,v$ of $G$, $r(u|S)\ne r(v|S)$. The metric dimension $dim(G)$ of $G$ is the minimum cardinality of any resolving set of $G$. Given an ordered partition $Π=\{P_1,P_2, ...,P_t\}$ of vertices of a connected graph $G$, the partition representation of a vertex $v$ of $G$, with respect to the partition $Π$ is the vector $r(v|Π)=(d(v,P_1),d(v,P_2),...,d(v,P_t))$, where $d(v,P_i)$, $1\leq i\leq t$, represents the distance between the vertex $v$ and the set $P_i$, that is $d(v,P_i)=\min_{u\in P_i}\{d(v,u)\}$. $Π$ is a resolving partition for $G$ if for every pair of vertices $u,v$ of $G$, $r(u|Π)\ne r(v|Π)$. The partition dimension $pd(G)$ of $G$ is the minimum number of sets in any resolving partition for $G$. Let $G$ and $H$ be two graphs of order $n_1$ and $n_2$ respectively. The corona product $G\odot H$ is defined as the graph obtained from $G$ and $H$ by taking one copy of $G$ and $n_1$ copies of $H$ and then joining by an edge, all the vertices from the $i^{th}$-copy of $H$ with the $i^{th}$-vertex of $G$. Here we study the relationship between $pd(G\odot H)$ and several parameters of the graphs $G\odot H$, $G$ and $H$, including $dim(G\odot H)$, $pd(G)$ and $pd(H)$.

We show that the principal results of the article "The metric dimension of graph with pendant edges" [Journal of Combinatorial Mathematics and Combinatorial Computing, 65 (2008) 139--145] do not hold. In this paper we correct the results and we solve two open problems described in the above mentioned paper.

Given a set of vertices $S=\{v_1,v_2,...,v_k\}$ of a connected graph $G$, the metric representation of a vertex $v$ of $G$ with respect to $S$ is the vector $r(v|S)=(d(v,v_1),d(v,v_2),...,d(v,v_k))$, where $d(v,v_i)$, $i\in \{1,...,k\}$ denotes the distance between $v$ and $v_i$. $S$ is a resolving set for $G$ if for every pair of vertices $u,v$ of $G$, $r(u|S)\ne r(v|S)$. The metric dimension of $G$, $dim(G)$, is the minimum cardinality of any resolving set for $G$. Let $G$ and $H$ be two graphs of order $n_1$ and $n_2$, respectively. The corona product $G\odot H$ is defined as the graph obtained from $G$ and $H$ by taking one copy of $G$ and $n_1$ copies of $H$ and joining by an edge each vertex from the $i^{th}$-copy of $H$ with the $i^{th}$-vertex of $G$. For any integer $k\ge 2$, we define the graph $G\odot^k H$ recursively from $G\odot H$ as $G\odot^k H=(G\odot^{k-1} H)\odot H$. We give several results on the metric dimension of $G\odot^k H$. For instance, we show that given two connected graphs $G$ and $H$ of order $n_1\ge 2$ and $n_2\ge 2$, respectively, if the diameter of $H$ is at most two, then $dim(G\odot^k H)=n_1(n_2+1)^{k-1}dim(H)$. Moreover, if $n_2\ge 7$ and the diameter of $H$ is greater than five or $H$ is a cycle graph, then $dim(G\odot^k H)=n_1(n_2+1)^{k-1}dim(K_1\odot H).$

Let $Γ=(V,E)$ be a simple graph. For a nonempty set $X\subseteq V$, and a vertex $v\in V$, $δ_{X}(v)$ denotes the number of neighbors $v$ has in $X$. A nonempty set $S\subseteq V$ is a \emph{defensive $k$-alliance} in $Γ=(V,E)$ if $δ_S(v)\ge δ_{\bar{S}}(v)+k,$ $\forall v\in S.$ The defensive $k$-alliance number of $Γ$, denoted by $a_k(Γ)$, is defined as the minimum cardinality of a defensive $k$-alliance in $Γ$. We study the mathematical properties of $a_k(Γ)$.