arXiv++ Combinatorics

An ILD-set in a connected graph is a subset $S$ of vertices such that it is both independent and locating-dominating. The independent locating-dominating number of a graph G is the minimum cardinality of an ILD-set set of $G$. A well-known fact is that any graph with girth at least 5 has an ILD-set, but that is not clear for graphs with girth 3 and 4. In this work, we prove that there are graphs with no ILD-sets for any order $n\geq 9$ and girth 4, also showing some sufficient conditions for a bipartite graph to contain an ILD-set. Moreover, we focus our attention on trees and on unicyclic graphs, showing that every tree and every unicyclic graph contains ILD-sets, whenever in the latter case, it is twin-free. Finally, a number of bounds, realization theorems and algorithms to find an ILD-set in those families of graphs are provided.

A vertex $v$ of a connected graph $G$ is said to be a boundary vertex of $G$ if for some other vertex $u$ of $G$, no neighbor of $v$ is further away from $u$ than $v$. The boundary $\partial(G)$ of $G$ is the set of all of its boundary vertices. The boundary distance matrix $\hat{D}_G$ of a graph $G=([n],E)$ is the square matrix of order $κ$, being $κ$ the order of $\partial(G)$, such that for every $i,j\in \partial(G)$, $[\hat{D}_G]_{ij}=d_G(i,j)$. In a recent paper [doi.org/10.7151/dmgt.2567], it was shown that if a graph $G$ is either a block graph or a unicyclic graph, then $G$ is uniquely determined by the boundary distance matrix $\hat{D}_{G}$ of $G$, and it was also conjectured that this statement holds for every connected graph $G$, whenever both the order $n$ and the boundary (and thus also the boundary distance matrix) of $G$ are prefixed. After proving that this conjecture is true for several graph families, such as being of diameter 2, having order at most $n=6$ or being Ptolemaic, we show that this statement does not hold when considering, for example, either the family of split graphs of diameter 3 and order at least $n=10$ or the family of distance-hereditary graphs of order at least $n=8$.

A vertex $v$ of a connected graph $G$ is said to be a boundary vertex of $G$ if for some other vertex $u$ of $G$, no neighbor of $v$ is further away from $u$ than $v$. The boundary $\partial(G)$ of $G$ is the set of all of its boundary vertices. The boundary distance matrix $\hat{D}_G$ of a graph $G=([n],E)$ is the square matrix of order $κ$, being $κ$ the order of $\partial(G)$, such that for every $i,j\in \partial(G)$, $[\hat{D}_G]_{ij}=d_G(i,j)$. Given a square matrix $\hat{B}$ of order $κ$, we prove under which conditions $\hat{B}$ is the distance matrix $\hat{D}_T$ of the set of leaves of a tree $T$, which is precisely its boundary. We show that if $G$ is either a block graph or a unicyclic graph, then $G$ is uniquely determined by the boundary distance matrix $\hat{D}_{G}$ of $G$ and we also conjecture that this statement holds for every connected graph $G$, whenever both the order $n$ and the boundary (and thus also the boundary distance matrix) of $G$ are prefixed. Moreover, an algorithm for reconstructing a 1-block graph (resp., a unicyclic graph) from its boundary distance matrix is given, whose time complexity in the worst case is $O(κn)$ (resp., $O(n^2)$).

The aim of this paper is to revise the literature on different metric locations in the families of paths, cycles, trees and unicyclic graphs, as well as, provide several new results on that matter.

The metric dimension dim(G) of a graph $G$ is the minimum cardinality of a subset $S$ of vertices of $G$ such that each vertex of $G$ is uniquely determined by its distances to $S$. It is well-known that the metric dimension of a graph can be drastically increased by the modification of a single edge. Our main result consists in proving that the increase of the metric dimension of an edge addition can be amortized in the sense that if the graph consists of a spanning tree $T$ plus $c$ edges, then the metric dimension of $G$ is at most the metric dimension of $T$ plus $6c$. We then use this result to prove a weakening of a conjecture of Eroh et al. The zero forcing number $Z(G)$ of $G$ is the minimum cardinality of a subset $S$ of black vertices (whereas the other vertices are colored white) of $G$ such that all the vertices will turned black after applying finitely many times the following rule: a white vertex is turned black if it is the only white neighbor of a black vertex. Eroh et al. conjectured that, for any graph $G$, $dim(G)\leq Z(G) + c(G)$, where $c(G)$ is the number of edges that have to be removed from $G$ to get a forest. They proved the conjecture is true for trees and unicyclic graphs. We prove a weaker version of the conjecture: $dim(G)\leq Z(G)+6c(G)$ holds for any graph. We also prove that the conjecture is true for graphs with edge disjoint cycles, widely generalizing the unicyclic result of Eroh et al.

Let $S$ be a set of vertices of a graph $G$. Let $cl(S)$ be the set of vertices built from $S$, by iteratively applying the following propagation rule: if a vertex and all but exactly one of its neighbors are in $cl(S)$, then the remaining neighbor is also in $cl(S)$. A set $S$ is called a zero forcing set of $G$ if $cl(S)=V(G)$. The zero forcing number $Z(G)$ of $G$ is the minimum cardinality of a zero forcing set. Let $cl(N[S])$ be the set of vertices built from the closed neighborhood $N[S]$ of $S$, by iteratively applying the previous propagation rule. A set $S$ is called a power dominating set of $G$ if $cl(N[S])=V(G)$. The power domination number $\gp(G)$ of $G$ is the minimum cardinality of a power dominating set. In this paper, we characterize the set of all graphs $G$ for which $Z(G)=2$. On the other hand, we present a variety of sufficient and/or necessary conditions for a graph $G$ to satisfy $1 \le \gp(G) \le 2$.

A $k$-coloring of a graph $G$ is a partition of the set of vertices of $G$ into $k$ independent sets, which are called colors. A $k$-coloring is neighbor-locating if any two vertices belonging to the same color can be distinguished from each other by the colors of their respective neighbors. The neighbor-locating chromatic number $χ_{_{NL}}(G)$ is the minimum cardinality of a neighbor-locating coloring of $G$. In this paper, we determine the neighbor-locating chromatic number of paths, cycles, fans, and wheels. Moreover, a procedure to construct a neighbor-locating coloring of minimum cardinality for these families of graphs is given. We also obtain tight upper bounds on the order of trees and unicyclic graphs in terms of the neighbor-locating chromatic number. Further partial results for trees are also established.

A $k$-coloring of a graph $G$ is a $k$-partition $Π=\{S_1,\ldots,S_k\}$ of $V(G)$ into independent sets, called \emph{colors}. A $k$-coloring is called \emph{neighbor-locating} if for every pair of vertices $u,v$ belonging to the same color $S_i$, the set of colors of the neighborhood of $u$ is different from the set of colors of the neighborhood of $v$. The neighbor-locating chromatic number $χ_{_{NL}}(G)$ is the minimum cardinality of a neighbor-locating coloring of $G$. We establish some tight bounds for the neighbor-locating chromatic number of a graph, in terms of its order, maximum degree and independence number. We determine all connected graphs of order $n\geq 5$ with neighbor-locating chromatic number $n$ or $n-1$. We examine the neighbor-locating chromatic number for two graph operations: join and disjoint union, and also for two graph families: split graphs and Mycielski graphs.

A partition $Π=\{S_1,\ldots,S_k\}$ of the vertex set of a connected graph $G$ is called a \emph{resolving partition} of $G$ if for every pair of vertices $u$ and $v$, $d(u,S_j)\neq d(v,S_j)$, for some part $S_j$. The \emph{partition dimension} $β_p(G)$ is the minimum cardinality of a resolving partition of $G$. A resolving partition $Π$ is called \emph{resolving dominating} if for every vertex $v$ of $G$, $d(v,S_j)=1$, for some part $S_j$ of $Π$. The \emph{dominating partition dimension} $η_p(G)$ is the minimum cardinality of a resolving dominating partition of $G$. In this paper we show, among other results, that $β_p(G) \le η_p(G) \le β_p(G)+1$. We also characterize all connected graphs of order $n\ge7$ satisfying any of the following conditions: $η_p(G)= n$, $η_p(G)= n-1$, $η_p(G)= n-2$ and $β_p(G) = n-2$. Finally, we present some tight Nordhaus-Gaddum bounds for both the partition dimension $β_p(G)$ and the dominating partition dimension $η_p(G)$.

A set $S$ of vertices of a graph $G$ is \emph{distinguishing} if the sets of neighbors in $S$ for every pair of vertices not in $S$ are distinct. A \emph{locating-dominating set} of $G$ is a dominating distinguishing set. The \emph{location-domination number} of $G$, $λ(G)$, is the minimum cardinality of a locating-dominating set. In this work we study relationships between $λ({G})$ and $λ(\overline{G})$ for bipartite graphs. The main result is the characterization of all connected bipartite graphs $G$ satisfying $λ(\overline{G})=λ({G})+1$. To this aim, we define an edge-labeled graph $G^S$ associated with a distinguishing set $S$ that turns out to be very helpful.

Limited dominating broadcasts were proposed as a variant of dominating broadcasts, where the broadcast function is upper bounded. As a natural extension of domination, we consider dominating $2$-broadcasts along with the associated parameter, the dominating $2$-broadcast number. We prove that computing the dominating $2$-broadcast number is a NP-complete problem, but can be achieved in linear time for trees. We also give an upper bound for this parameter, that is tight for graphs as large as desired.

Dominating broadcasting is a domination-type structure that models a transmission antenna network. In this paper, we study a limited version of this structure, that was proposed as a common framework for both broadcast and classical domination. In this limited version, the broadcast function is upper bounded by an integer $k$ and the minimum cost of such function is the dominating $k$-broadcast number. Our main result is a unified upper bound on this parameter for any value of $k$ in general graphs, in terms of both $k$ and the order of the graph. We also study the computational complexity of the associated decision problem.

A dominating set $S$ of a graph $G$ is called locating-dominating, LD-set for short, if every vertex $v$ not in $S$ is uniquely determined by the set of neighbors of $v$ belonging to $S$. Locating-dominating sets of minimum cardinality are called $LD$-codes and the cardinality of an LD-code is the \emph{location-domination number} $λ(G)$. An LD-set $S$ of a graph $G$ is \emph{global} if it is an LD-set of both $G$ and its complement $\overline{G}$. The \emph{global location-domination number} $λ_g(G)$ is the minimum cardinality of a global LD-set of $G$. For any LD-set $S$ of a given graph $G$, the so-called \emph{S-associated graph} $G^S$ is introduced. This edge-labeled bipartite graph turns out to be very helpful to approach the study of LD-sets in graphs, particularly when $G$ is bipartite. This paper is mainly devoted to the study of relationships between global LD-sets, LD-codes and the location-domination number in a graph $G$ and its complement $\overline{G}$, when $G$ is bipartite.

A $k-$quasiperfect dominating set ($k\ge 1$) of a graph $G$ is a vertex subset $S$ such that every vertex not in $S$ is adjacent to at least one and at most k vertices in $S$. The cardinality of a minimum k-quasiperfect dominating set in $G$ is denoted by $γ_{\stackrel{}{1k}}(G)$. Those sets were first introduced by Chellali et al. (2013) as a generalization of the perfect domination concept. The quasiperfect domination chain $γ_{\stackrel{}{11}}(G)\geγ_{\stackrel{}{12}}(G)\ge\dots\geγ_{\stackrel{}{1Δ}}(G)=γ(G)$, indicates what it is lost in size when you move towards a more perfect domination. We provide an upper bound for $γ_{\stackrel{}{1k}}(T)$ in any tree $T$ and trees achieving this bound are characterized. We prove that there exist trees satisfying all the possible equalities and inequalities in this chain and a linear algorithm for computing $γ_{\stackrel{}{1k}}(T)$ in any tree is presented.

A subset $S\subseteq V$ in a graph $G=(V,E)$ is a $k$-quasiperfect dominating set (for $k\geq 1$) if every vertex not in $S$ is adjacent to at least one and at most $k$ vertices in $S$. The cardinality of a minimum $k$-quasiperfect dominating set in $G$ is denoted by $γ_ {\stackrel{}{1k}}(G)$. Those sets were first introduced by Chellali et al. (2013) as a generalization of the perfect domination concept and allow us to construct a decreasing chain of quasiperfect dominating numbers $ n \ge γ_ {\stackrel{}{11}}(G) \ge γ_ {\stackrel{}{12}}(G)\ge \ldots \ge γ_ {\stackrel{}{1Δ}}(G)=γ(G)$ in order to indicate how far is $G$ from being perfectly dominated. In this paper we study properties, existence and realization of graphs for which the chain is short, that is, $γ_ {\stackrel{}{12}}(G)=γ(G)$. Among them, one can find cographs, claw-free graphs and graphs with extremal values of $Δ(G)$.

In this work, two types of codes such that they both dominate and locate the vertices of a graph are studied. Those codes might be sets of detectors in a network or processors controlling a system whose set of responses should determine a malfunctioning processor or an intruder. Here, we present our more significant contributions on λ-codes and η-codes concerning concerning bounds, extremal values and realization theorems.

A set S of vertices of a connected graph G is convex, if for any pair of vertices u; v 2 S, every shortest path joining u and v is contained in S . The convex hull CH(S) of a set of vertices S is defined as the smallest convex set in G containing S. The set S is geodetic, if every vertex of G lies on some shortest path joining two vertices in S, and it is said to be a hull set if its convex hull is V(G). The geodetic and the hull numbers of G are the cardinality of a minimum geodetic and a minimum hull set, respectively. In this work, we investigate the behavior of both geodetic and hull sets with respect to the strong product operation for graphs. We also stablish some bounds for the geodetic number and the hull number and obtain the exact value of these parameters for a number of strong product graphs.

A set of vertices $S$ \emph{resolves} a connected graph $G$ if every vertex is uniquely determined by its vector of distances to the vertices in $S$. The \emph{metric dimension} of $G$ is the minimum cardinality of a resolving set of $G$. Let $\mathcal{G}_{β,D}$ be the set of graphs with metric dimension $β$ and diameter $D$. It is well-known that the minimum order of a graph in $\mathcal{G}_{β,D}$ is exactly $β+D$. The first contribution of this paper is to characterise the graphs in $\mathcal{G}_{β,D}$ with order $β+D$ for all values of $β$ and $D$. Such a characterisation was previously only known for $D\leq2$ or $β\leq1$. The second contribution is to determine the maximum order of a graph in $\mathcal{G}_{β,D}$ for all values of $D$ and $β$. Only a weak upper bound was previously known.

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 which the metric dimension of G*G is unbounded.