Searcharxiv⌕ Search

arXiv subjects

Ismael G. Yero

Publications and source records attributed to Ismael G. Yero.

At least 37 records · Page 2Linked to original sources
arXiv2023

Resolvability and convexity properties in the Sierpiński product of graphs

Let $G$ and $H$ be graphs and let $f \colon V(G)\rightarrow V(H)$ be a function. The Sierpiński product of $G$ and $H$ with respect to $f$, denoted by $G \otimes _f H$, is defined as the graph on the vertex set $V(G)\times V(H)$, consisting of $|V(G)|$ copies of $H$; for every edge $gg'$ of $G$ there is an edge between copies $gH$ and $g'H$ of $H$ associated with the vertices $g$ and $g'$ of $G$, respectively, of the form $(g,f(g'))(g',f(g))$. The Sierpiński metric dimension and the upper Sierpiński metric dimension of two graphs are determined. Closed formulas are determined for Sierpiński products of trees, and for Sierpiński products of two cycles where the second factor is a triangle. We also prove that the layers with respect to the second factor in a Sierpiński product graph are convex.

math.CO↗
arXiv2023

Resolving vertices of graphs with differences

The classical (vertex) metric dimension of a graph G is defined as the cardinality of a smallest set S in V (G) such that any two vertices x and y from G have different distances to least one vertex from S: The k-metric dimension is a generalization of that notion where it is required that any pair of vertices has different distances to at least k vertices from S: In this paper, we introduce the weak k-metric dimension of a graph G; which is defined as the cardinality of a smallest set of vertices S such that the sum of the distance differences from any pair of vertices to all vertices of S is at least k: This dimension is "stronger" than the classical metric dimension, yet "weaker" than k-metric dimension, and it can be formulated as an ILP problem. The maximum k for which the weak k-metric dimension is defined is denoted by kappa(G). We first prove several properties of the weak k-metric dimension regarding the presence of true or false twin vertices in a graph. Using those properties, the kappa(G) is found for some basic graph classes, such as paths, stars, cycles, and complete (bipartite) graphs. We also find kappa(G) for trees and grid graphs using the observation that the distance difference increases by the increase of the cardinality of a set S. For all these graph classes we further establish the exact value of the weak k-metric dimension for all k <= kappa(G).

math.CO↗
arXiv2023

Variety of mutual-visibility problems in graphs

If $X$ is a subset of vertices of a graph $G$, then vertices $u$ and $v$ are $X$-visible if there exists a shortest $u,v$-path $P$ such that $V(P)\cap X \subseteq \{u,v\}$. If each two vertices from $X$ are $X$-visible, then $X$ is a mutual-visibility set. The mutual-visibility number of $G$ is the cardinality of a largest mutual-visibility set of $G$ and has been already investigated. In this paper a variety of mutual-visibility problems is introduced based on which natural pairs of vertices are required to be $X$-visible. This yields the total, the dual, and the outer mutual-visibility numbers. We first show that these graph invariants are related to each other and to the classical mutual-visibility number, and then we prove that the three newly introduced mutual-visibility problems are computationally difficult. According to this result, we compute or bound their values for several graphs classes that include for instance grid graphs and tori. We conclude the study by presenting some inter-comparison between the values of such parameters, which is based on the computations we made for some specific families.

math.CO↗
arXiv2023

Injective coloring of product graphs

The problem of injective coloring in graphs can be revisited through two different approaches: coloring the two-step graphs and vertex partitioning of graphs into open packing sets, each of which is equivalent to the injective coloring problem itself. Taking these facts into account, we observe that the injective coloring lies between graph coloring and domination theory. We make use of these three points of view in this paper so as to investigate the injective coloring of some well-known graph products. We bound the injective chromatic number of direct and lexicographic product graphs from below and above. In particular, we completely determine this parameter for the direct product of two cycles. We also give a closed formula for the corona product of two graphs.

math.CO↗
arXiv2023

On the (k,l)-anonymity of networks via their $k$-metric antidimension

This work focuses on the (k,l)-anonymity of some networks as a measure of their privacy against active attacks. Two different types of networks are considered. The first one consists of graphs with a predetermined structure, namely cylinders, toruses, and $2$-dimensional Hamming graphs, whereas the second one is formed by randomly generated graphs. In order to evaluate the (k,l)-anonymity of the considered graphs, we have computed their k-metric antidimension. To this end, we have taken a combinatorial approach for the graphs with a predetermined structure, whereas for randomly generated graphs we have developed an integer programming formulation and computationally tested its implementation. The results of the combinatorial approach, as well as those from the implementations indicate that, according to the (k,l)-anonymity measure, only the 2-dimensional Hamming graphs and some general random dense graphs are achieving some higher privacy properties.

math.OC↗
arXiv2022

On mixed metric dimension in subdivision, middle, and total graphs

Let $G$ be a graph and let $S(G)$, $M(G)$, and $T(G)$ be the subdivision, the middle, and the total graph of $G$, respectively. Let ${\rm dim}(G)$, ${\rm edim}(G)$, and ${\rm mdim}(G)$ be the metric dimension, the edge metric dimension, and the mixed metric dimension of $G$, respectively. In this paper, for the subdivision graph it is proved that $\frac{1}{2}\max\{{\rm dim}(G),{\rm edim}(G)\}\leq{\rm mdim}(S(G))\leq{\rm mdim}(G)$. A family of graphs $G_n$ is constructed for which ${\rm mdim}(G_n)-{\rm mdim}(S(G_n))\ge 2$ holds and this shows that the inequality ${\rm mdim}(S(G))\leq{\rm mdim}(G)$ can be strict, while for a cactus graph $G$, ${\rm mdim}(S(G))={\rm mdim}(G)$. For the middle graph it is proved that ${\rm dim}(M(G))\leq{\rm mdim}(G)$ holds, and if $G$ is tree with $n_1(G)$ leaves, then ${\rm dim}(M(G))={\rm mdim}(G)=n_1(G)$. Moreover, for the total graph it is proved that ${\rm mdim}(T(G))=2n_1(G)$ and ${\rm dim}(G)\leq{\rm dim}(T(G))\leq n_1(G)$ hold when $G$ is a tree.

math.CO↗
arXiv2022

On the unicyclic graphs having vertices that belong to all their (strong) metric bases

A metric basis in a graph $G$ is a smallest possible set $S$ of vertices of $G$, with the property that any two vertices of $G$ are uniquely recognized by using a vector of distances to the vertices in $S$. A strong metric basis is a variant of metric basis that represents a smallest possible set $S'$ of vertices of $G$ such that any two vertices $x,y$ of $G$ are uniquely recognized by a vertex $v\in S'$ by using either a shortest $x-v$ path that contains $y$, or a shortest $y-v$ path that contains $x$. Given a graph $G$, there exist sometimes some vertices of $G$ such that they forcedly belong to every metric basis or to every strong metric basis of $G$. Such vertices are called (resp. strong) basis forced vertices in $G$. It is natural to consider finding them, in order to find a (strong) metric basis in a graph. However, deciding about the existence of these vertices in arbitrary graphs is in general an NP-hard problem, which makes desirable the problem of searching for (strong) basis forced vertices in special graph classes. This article centers the attention in the class of unicyclic graphs. It is known that a unicyclic graph can have at most two basis forced vertices. In this sense, several results aimed to classify the unicyclic graphs according to the number of basis forced vertices they have are given in this work. On the other hand, with respect to the strong metric bases, it is proved in this work that unicyclic graphs can have as many strong basis forced vertices as we would require. Moreover, some characterizations of the unicyclic graphs concerning the existence or not of such vertices are given in the exposition as well.

math.CO↗
arXiv2022

Injective coloring of graphs revisited

An open packing in a graph $G$ is a set $S$ of vertices in $G$ such that no two vertices in $S$ have a common neighbor in $G$. The injective chromatic number $χ_i(G)$ of $G$ is the smallest number of colors assigned to vertices of $G$ such that each color class is an open packing. Alternatively, the injective chromatic number of $G$ is the chromatic number of the two-step graph of $G$, which is the graph with the same vertex set as $G$ in which two vertices are adjacent if they have a common neighbor. The concept of injective coloring has been studied by many authors, while in the present paper we approach it from two novel perspectives, related to open packings and the two-step graph operation. We prove several general bounds on the injective chromatic number expressed in terms of the open packing number. In particular, we prove that $χ_{i}(G)\geq \frac{1}{2}+\sqrt{\frac{1}{4}+\frac{2m-n}{\opack}}$ holds for any connected graph $G$ of order $n\geq2$, size $m$, and the open packing number $\opack$, and characterize the class of graphs attaining the bound. Regarding the well-known bound $χ_i(G)\ge Δ(G)$, we describe the family of extremal graphs and prove that deciding when the equality holds (even for regular graphs) is NP-complete, solving an open problem from an earlier paper. Next, we consider the chromatic number of the two-step graph of a graph, and compare it with the clique number and the maximum degree of the graph. We present two large families of graphs in which $χ_i(G)$ equals the cardinality of a largest clique of the two-step graph of $G$. Finally, we consider classes of graphs that admit an injective coloring in which all color classes are maximal open packings. We give characterizations of three subclasses of these graphs among graphs with diameter $2$, and find a partial characterization of hypercubes with this property.

math.CO↗
arXiv2022

Further contributions on the outer multiset dimension of graphs

The outer multiset dimension ${\rm dim}_{\rm 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 ${\rm dim}_{\rm ms}(G) = n(G) - 1$ if and only if $G$ is a regular graph with diameter at most $2$. Graphs $G$ with ${\rm dim}_{\rm 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 ${\rm dim}_{\rm ms}(P_s\,\square\, P_t) = 3$ for $s\ge t\ge 2$.

math.CO↗
arXiv2021

Relating the outer-independent total Roman domination number with some classical parameters of graphs

For a given graph $G$ without isolated vertex we consider a function $f: V(G) \rightarrow \{0,1,2\}$. For every $i\in \{0,1,2\}$, let $V_i=\{v\in V(G):\; f(v)=i\}$. The function $f$ is known to be an outer-independent total Roman dominating function for the graph $G$ if it is satisfied that; (i) every vertex in $V_0$ is adjacent to at least one vertex in $V_2$; (ii) $V_0$ is an independent set; and (iii) the subgraph induced by $V_1\cup V_2$ has no isolated vertex. The minimum possible weight $ω(f)=\sum_{v\in V(G)}f(v)$ among all outer-independent total Roman dominating functions for $G$ is called the outer-independent total Roman domination number of $G$. In this article we obtain new tight bounds for this parameter that improve some well-known results. Such bounds can also be seen as relationships between this parameter and several other classical parameters in graph theory like the domination, total domination, Roman domination, independence, and vertex cover numbers. In addition, we compute the outer-independent total Roman domination number of Sierpiński graphs, circulant graphs, and the Cartesian and direct products of complete graphs.

math.CO↗
arXiv2021

Roman domination in direct product graphs and rooted product graphs

Let $G$ be a graph with vertex set $V(G)$. A function $f:V(G)\rightarrow \{0,1,2\}$ is a Roman dominating function on $G$ if every vertex $v\in V(G)$ for which $f(v)=0$ is adjacent to at least one vertex $u\in V(G)$ such that $f(u)=2$. The Roman domination number of $G$ is the minimum weight $ω(f)=\sum_{x\in V(G)}f(x)$ among all Roman dominating functions $f$ on $G$. In this article we study the Roman domination number of direct product graphs and rooted product graphs. Specifically, we give several tight lower and upper bounds for the Roman domination number of direct product graphs involving some parameters of the factors, which include the domination, (total) Roman domination, and packing numbers among others. On the other hand, we prove that the Roman domination number of rooted product graphs can attain only three possible values, which depend on the order, the domination, and the Roman domination numbers of the factors in the product. In addition, theoretical characterizations of the classes of rooted product graphs achieving each of these three possible values are given.

math.CO↗
arXiv2021

A Steiner general position problem in graph theory

Let $G$ be a graph. The Steiner distance of $W\subseteq V(G)$ is the minimum size of a connected subgraph of $G$ containing $W$. Such a subgraph is necessarily a tree called a Steiner $W$-tree. The set $A\subseteq V(G)$ is a $k$-Steiner general position set if $V(T_B)\cap A = B$ holds for every set $B\subseteq A$ of cardinality $k$, and for every Steiner $B$-tree $T_B$. The $k$-Steiner general position number ${\rm sgp}_k(G)$ of $G$ is the cardinality of a largest $k$-Steiner general position set in $G$. Steiner cliques are introduced and used to bound ${\rm sgp}_k(G)$ from below. The $k$-Steiner general position number is determined for trees, cycles and joins of graphs. Lower bounds are presented for split graphs, infinite grids and lexicographic products. The lower bound for the latter products leads to an exact formula for the general position number of an arbitrary lexicographic product.

math.CO↗
arXiv2021

On general position sets in Cartesian products

The general position number ${\rm gp}(G)$ of a connected graph $G$ is the cardinality of a largest set $S$ of vertices such that no three distinct vertices from $S$ lie on a common geodesic; such sets are refereed to as gp-sets of $G$. The general position number of cylinders $P_r\,\square\, C_s$ is deduced. It is proved that ${\rm gp}(C_r\,\square\, C_s)\in \{6,7\}$ whenever $r\ge s \ge 3$, $s\ne 4$, and $r\ge 6$. A probabilistic lower bound on the general position number of Cartesian graph powers is achieved. Along the way a formula for the number of gp-sets in $P_r\,\square\, P_s$, where $r,s\ge 2$, is also determined.

math.CO↗
arXiv2021

On Vertices Contained in All or in No Metric Basis

A set $R \subseteq V(G)$ is a resolving set of a graph $G$ if for all distinct vertices $v,u \in V(G)$ there exists an element $r \in R$ such that $d(r,v) \neq d(r,u)$. The metric dimension $\dim(G)$ of the graph $G$ is the minimum cardinality of a resolving set of $G$. A resolving set with cardinality $\dim(G)$ is called a metric basis of $G$. We consider vertices that are in all metric bases, and we call them basis forced vertices. We give several structural properties of sparse and dense graphs where basis forced vertices are present. In particular, we give bounds for the maximum number of edges in a graph containing basis forced vertices. Our bound is optimal whenever the number of basis forced vertices is even. Moreover, we provide a method of constructing fairly sparse graphs with basis forced vertices. We also study vertices which are in no metric basis in connection to cut-vertices and pendants. Furthermore, we show that deciding whether a vertex is in all metric bases is co-NP-hard, and deciding whether a vertex is in no metric basis is NP-hard.

math.CO↗
arXiv2021

A note on the metric and edge metric dimensions of 2-connected graphs

For a given graph $G$, the metric and edge metric dimensions of $G$, $\dim(G)$ and ${\rm edim}(G)$, are the cardinalities of the smallest possible subsets of vertices in $V(G)$ such that they uniquely identify the vertices and the edges of $G$, respectively, by means of distances. It is already known that metric and edge metric dimensions are not in general comparable. Infinite families of graphs with pendant vertices in which the edge metric dimension is smaller than the metric dimension are already known. In this article, we construct a 2-connected graph $G$ such that $\dim(G)=a$ and ${\rm edim}(G)=b$ for every pair of integers $a,b$, where $4\le b<a$. For this we use subdivisions of complete graphs, whose metric dimension is in some cases smaller than the edge metric dimension. Along the way, we present an upper bound for the metric and edge metric dimensions of subdivision graphs under some special conditions.

math.CO↗
arXiv2021

On Metric Dimensions of Hypercubes

The metric (resp. edge metric or mixed metric) dimension of a graph $G$, is the cardinality of the smallest ordered set of vertices that uniquely recognizes all the pairs of distinct vertices (resp. edges, or vertices and edges) of $G$ by using a vector of distances to this set. In this note we show two unexpected results on hypercube graphs. First, we show that the metric and edge metric dimension of $Q_d$ differ by only one for every integer $d$. In particular, if $d$ is odd, then the metric and edge metric dimensions of $Q_d$ are equal. Second, we prove that the metric and mixed metric dimensions of the hypercube $Q_d$ are equal for every $d \ge 3$. We conclude the paper by conjecturing that all these three types of metric dimensions of $Q_d$ are equal when $d$ is large enough.

math.CO↗
arXiv2021

Total Roman 2-domination in graphs

Given a graph $G=(V,E)$, a function $f:V\rightarrow \{0,1,2\}$ is a total Roman $\{2\}$-dominating function if: (1) every vertex $v\in V$ for which $f(v)=0$ satisfies that $\sum_{u\in N(v)}f(u)\geq 2$, where $N(v)$ represents the open neighborhood of $v$, and (2) every vertex $x\in V$ for which $f(x)\geq 1$ is adjacent to at least one vertex $y\in V$ such that $f(y)\geq 1$. The weight of the function $f$ is defined as $ω(f)=\sum_{v\in V}f(v)$. The total Roman $\{2\}$-domination number, denoted by $γ_{t\{R2\}}(G)$, is the minimum weight among all total Roman $\{2\}$-dominating functions on $G$. In this article we introduce the concepts above and begin the study of its combinatorial and computational properties. For instance, we give several closed relationships between this parameter and other domination related parameters in graphs. In addition, we prove that the complexity of computing the value $γ_{t\{R2\}}(G)$ is NP-hard, even when restricted to bipartite or chordal graphs.

math.CO↗