The Simultaneous Strong Resolving Graph and the Simultaneous Strong Metric Dimension of Graph Families

We consider in this work a new approach to study the simultaneous strong metric dimension of graphs families, while introducing the simultaneous version of the strong resolving graph. In concordance, we consider here connected graphs G whose vertex sets are represented as V(G), and the following terminology. Two vertices u,v is an element of V(G) are strongly resolved by a vertex w is an element of V(G), if there is a shortest w-v path containing u or a shortest w-u containing v. A set A of vertices of the graph G is said to be a strong metric generator for G if every two vertices of G are strongly resolved by some vertex of A. The smallest possible cardinality of any strong metric generator (SSMG) for the graph G is taken as the strong metric dimension of the graph G. Given a family F of graphs defined over a common vertex set V, a set S subset of V is an SSMG for F, if such set S is a strong metric generator for every graph G is an element of F. The simultaneous strong metric dimension of F is the minimum cardinality of any strong metric generator for F, and is denoted by Sds(F). The notion of simultaneous strong resolving graph of a graph family F is introduced in this work, and its usefulness in the study of Sds(F) is described. That is, it is proved that computing Sds(F) is equivalent to computing the vertex cover number of the simultaneous strong resolving graph of F. Several consequences (computational and combinatorial) of such relationship are then deduced. Among them, we remark for instance that we have proved the NP-hardness of computing the simultaneous strong metric dimension of families of paths, which is an improvement (with respect to the increasing difficulty of the problem) on the results known from the literature

Defensive alliances in graphs: a survey

A set $S$ of vertices of a graph $G$ is a defensive $k$-alliance in $G$ if every vertex of $S$ has at least $k$ more neighbors inside of $S$ than outside. This is primarily an expository article surveying the principal known results on defensive alliances in graph. Its seven sections are: Introduction, Computational complexity and realizability, Defensive $k$-alliance number, Boundary defensive $k$-alliances, Defensive alliances in Cartesian product graphs, Partitioning a graph into defensive $k$-alliances, and Defensive $k$-alliance free sets.Comment: 25 page

Further new results on strong resolving partitions for graphs

A set W of vertices of a connected graph G strongly resolves two different vertices x, y is not an element of W if either d(G) (x, W) = d(G) (x, y) + d(G) (y, W) or d(G) (y, W) = d(G )(y, x) + d(G) (x, W), where d(G) (x, W) = min{d(x,w): w is an element of W} and d (x,w) represents the length of a shortest x - w path. An ordered vertex partition Pi = {U-1, U-2,...,U-k} of a graph G is a strong resolving partition for G, if every two different vertices of G belonging to the same set of the partition are strongly resolved by some other set of Pi. The minimum cardinality of any strong resolving partition for G is the strong partition dimension of G. In this article, we obtain several bounds and closed formulae for the strong partition dimension of some families of graphs and give some realization results relating the strong partition dimension, the strong metric dimension and the order of graphs

On the Packing Partitioning Problem on Directed Graphs

This work is aimed to continue studying the packing sets of digraphs via the perspective of partitioning the vertex set of a digraph into packing sets (which can be interpreted as a type of vertex coloring of digraphs) and focused on finding the minimum cardinality among all packing partitions for a given digraph D, called the packing partition number of D. Some lower and upper bounds on this parameter are proven, and their exact values for directed trees are given in this paper. In the case of directed trees, the proof results in a polynomial-time algorithm for finding a packing partition of minimum cardinality. We also consider this parameter in digraph products. In particular, a complete solution to this case is presented when dealing with the rooted products

Error-Correcting codes fromk-resolving sets

We demonstrate a construction of error-correcting codes from graphs by means of k-resolving sets, and present a decoding algorithm which makes use of covering designs. Along the way, we determine the k-metric dimension of grid graphs (i.e., Cartesian products of paths)

Coloring of two-step graphs: open packing partitioning of graphs

The two-step graphs are revisited by studying their chromatic numbers in this paper. We observe that the problem of coloring of two-step graphs is equivalent to the problem of vertex partitioning of graphs into open packing sets. With this remark in mind, it can be considered as the open version of the well-known $2$-distance coloring problem as well as the dual version of total domatic problem. The minimum $k$ for which the two-step graph $\mathcal{N}(G)$ of a graph $G$ admits a proper coloring assigning $k$ colors to the vertices is called the open packing partition number $p_{o}(G)$ of $G$, that is, p_{o}(G)=\chi\big{(}\mathcal{N}(G)\big{)}. We give some sharp lower and upper bounds on this parameter as well as its exact value when dealing with some families of graphs like trees. Relations between $p_{o}$ and some well-know graph parameters have been investigated in this paper. We study this vertex partitioning in the Cartesian, direct and lexicographic products of graphs. In particular, we give an exact formula in the case of lexicographic product of any two graphs. The NP-hardness of the problem of computing this parameter is derived from the mentioned formula. Graphs $G$ for which $p_{o}(G)$ equals the clique number of $\mathcal{N}(G)$ are also investigated

Further Contributions on the Outer Multiset Dimension of Graphs

The outer multiset dimension dim ms(G) of a graph G is the cardinality of a smallest set of vertices that uniquely recognize all the vertices outside this set by using multisets of distances to the set. It is proved that dim ms(G) = n(G) - 1 if and only if G is a regular graph with diameter at most 2. Graphs G with dim ms(G) = 2 are described and recognized in polynomial time. A lower bound on the lexicographic product of G and H is proved when H is complete or edgeless, and the extremal graphs are determined. It is proved that dimms(Ps□Pt)=3 for s≥ t≥ 2.15 página

Resolvability and strong resolvability in the direct product of graphs

Given a connected graph $G$, a vertex $w\in V(G)$ distinguishes two different vertices $u,v$ of $G$ if the distances between $w$ and $u$, and between $w$ and $v$ are different. Moreover, $w$ strongly resolves the pair $u,v$ if there exists some shortest $u-w$ path containing $v$ or some shortest $v-w$ path containing $u$. A set $W$ of vertices is a (strong) metric generator for $G$ if every pair of vertices of $G$ is (strongly resolved) distinguished by some vertex of $W$. The smallest cardinality of a (strong) metric generator for $G$ is called the (strong) metric dimension of $G$. In this article we study the (strong) metric dimension of some families of direct product graphs.16 página

Computing the (k-)monopoly Number of Direct Product of Graphs

Let $G=(V, E)$ be a simple graph without isolated vertices and minimum degree $\delta(G)$, and let $k\in \left\{1-\left\lceil \delta(G)/2\right\rceil,\ldots,\left\lfloor \delta(G)/2\right\rfloor\right\}$ be an integer. Given a set $M\subset V$, a vertex $v$ of $G$ is said to be $k$-controlled by $M$ if $\delta_M(v)\ge \frac{\delta(v)}{2}+k$ where $\delta_M(v)$ represents the quantity of neighbors $v$ has in $M$ and $\delta(v)$ the degree of $v$. The set $M$ is called a $k$-monopoly if it $k$-controls every vertex $v$ of $G$. The minimum cardinality of any $k$-monopoly is the $k$-monopoly number of $G$. In this article we study the $k$-monopoly number of direct product graphs. Specifically we obtain tight lower and upper bounds for the $k$-monopoly number of direct product graphs in terms of the $k$-monopoly numbers of its factors. Moreover, we compute the exact value for the $k$-monopoly number of several families of direct product graphs.9 página

A constructive characterization of vertex cover Roman trees

A Roman dominating function on a graph G = (V (G), E (G)) is a function f : V (G) -> {0, 1, 2} satisfying the condition that every vertex u for which f (u) = 0 is adjacent to at least one vertex v for which f (v) = 2. The Roman dominating function f is an outer-independent Roman dominating function on G if the set of vertices labeled with zero under f is an independent set. The outer-independent Roman domination number gamma(oiR) (G) is the minimum weight w(f ) = Sigma(v is an element of V), ((G)) f(v) of any outer-independent Roman dominating function f of G. A vertex cover of a graph G is a set of vertices that covers all the edges of G. The minimum cardinality of a vertex cover is denoted by alpha(G). A graph G is a vertex cover Roman graph if gamma(oiR) (G) = 2 alpha(G). A constructive characterization of the vertex cover Roman trees is given in this article