Searcharxiv⌕ Search

arXiv subjects

Ismael G. Yero

Publications and source records attributed to Ismael G. Yero.

At least 55 records · Page 3Linked to original sources

(Open) packing number of some graph products

The packing number of a graph $G$ is the maximum number of closed neighborhoods of vertices in $G$ with pairwise empty intersections. Similarly, the open packing number of $G$ is the maximum number of open neighborhoods in $G$ with pairwise empty intersections. We consider the packing and open packing numbers on graph products. In particular we give a complete solution with respect to some properties of factors in the case of lexicographic and rooted products. For Cartesian, strong and direct products, we present several lower and upper bounds on these parameters.

math.CO↗

Graphs with the edge metric dimension smaller than the metric dimension

Given a connected graph $G$, the metric (resp. edge metric) dimension of $G$ is the cardinality of the smallest ordered set of vertices that uniquely identifies every pair of distinct vertices (resp. edges) of $G$ by means of distance vectors to such a set. In this work, we settle three open problems on (edge) metric dimension of graphs. Specifically, we show that for every $r,t\ge 2$ with $r\ne t$, there is $n_0$, such that for every $n\ge n_0$ there exists a graph $G$ of order $n$ with metric dimension $r$ and edge metric dimension $t$, which among other consequences, shows the existence of infinitely many graph whose edge metric dimension is strictly smaller than its metric dimension. In addition, we also prove that it is not possible to bound the edge metric dimension of a graph $G$ by some constant factor of the metric dimension of $G$.

math.CO↗

Maker-Breaker resolving game

A set of vertices $W$ of a graph $G$ is a resolving set if every vertex of $G$ is uniquely determined by its vector of distances to $W$. In this paper, the Maker-Breaker resolving game is introduced. The game is played on a graph $G$ by Resolver and Spoiler who alternately select a vertex of $G$ not yet chosen. Resolver wins if at some point the vertices chosen by him form a resolving set of $G$, whereas Spoiler wins if the Resolver cannot form a resolving set of $G$. The outcome of the game is denoted by $o(G)$ and $R_{\rm MB}(G)$ (resp. $S_{\rm MB}(G)$) denotes the minimum number of moves of Resolver (resp. Spoiler) to win when Resolver has the first move. The corresponding invariants for the game when Spoiler has the first move are denoted by $R'_{\rm MB}(G)$ and $S'_{\rm MB}(G)$. Invariants $R_{\rm MB}(G)$, $R'_{\rm MB}(G)$, $S_{\rm MB}(G)$, and $S'_{\rm MB}(G)$ are compared among themselves and with the metric dimension ${\rm dim}(G)$. A large class of graphs $G$ is constructed for which $R_{\rm MB}(G) > {\rm dim}(G)$ holds. The effect of twin equivalence classes and pairing resolving sets on the Maker-Breaker resolving game is described. As an application $o(G)$, as well as $R_{\rm MB}(G)$ and $R'_{\rm MB}(G)$ (or $S_{\rm MB}(G)$ and $S'_{\rm MB}(G)$), are determined for several graph classes, including trees, complete multi-partite graphs, grid graphs, and torus grid graphs.

math.CO↗

Dominating the direct product of two graphs through total Roman strategies

Given a graph $G$ without isolated vertices, a total Roman dominating function for $G$ is a function $f : V(G)\rightarrow \{0,1,2\}$ such that every vertex with label 0 is adjacent to a vertex with label 2, and the set of vertices with positive labels induces a graph of minimum degree at least one. The total Roman domination number $γ_{tR}(G)$ of $G$ is the smallest possible value of $\sum_{v\in V(G)}f(v)$ among all total Roman dominating functions $f$. The total Roman domination number of the direct product $G\times H$ of the graphs $G$ and $H$ is studied in this work. Specifically, several relationships, in the shape of upper and lower bounds, between $γ_{tR}(G\times H)$ and some classical domination parameters for the factors are given. Characterizations of the direct product graphs $G\times H$ achieving small values ($\le 7$) for $γ_{tR}(G\times H)$ are presented, and exact values for $γ_{tR}(G\times H)$ are deduced, while considering various specific direct product classes.

math.CO↗

General $d$-position sets

The general $d$-position number ${\rm gp}_d(G)$ of a graph $G$ is the cardinality of a largest set $S$ for which no three distinct vertices from $S$ lie on a common geodesic of length at most $d$. This new graph parameter generalizes the well studied general position number. We first give some results concerning the monotonic behavior of ${\rm gp}_d(G)$ with respect to the suitable values of $d$. We show that the decision problem concerning finding ${\rm gp}_d(G)$ is NP-complete for any value of $d$. The value of ${\rm gp}_d(G)$ when $G$ is a path or a cycle is computed and a structural characterization of general $d$-position sets is shown. Moreover, we present some relationships with other topics including strong resolving graphs and dissociation sets. We finish our exposition by proving that ${\rm gp}_d(G)$ is infinite whenever $G$ is an infinite graph and $d$ is a finite integer.

math.CO↗

A note on total co-independent domination in trees

A set $D$ of vertices of a graph $G$ is a total dominating set if every vertex of $G$ is adjacent to at least one vertex of $D$. The total domination number of $G$ is the minimum cardinality of any total dominating set of $G$ and is denoted by $γ_t(G)$. The total dominating set $D$ is called a total co-independent dominating set if $V(G)\setminus D$ is an independent set and has at least one vertex. The minimum cardinality of any total co-independent dominating set is denoted by $γ_{t,coi}(G)$. In this paper, we show that, for any tree $T$ of order $n$ and diameter at least three, $n-β(T)\leq γ_{t,coi}(T)\leq n-|L(T)|$ where $β(T)$ is the maximum cardinality of any independent set and $L(T)$ is the set of leaves of $T$. We also characterize the families of trees attaining the extremal bounds above and show that the differences between the value of $γ_{t,coi}(T)$ and these bounds can be arbitrarily large for some classes of trees.

math.CO↗

Covering Italian domination in graphs

For a graph $G=(V(G),E(G))$, an Italian dominating function (ID function) of $G$ is a function $f:V(G)\rightarrow \{0,1,2\}$ such that for each vertex $v\in V(G)$ with $f(v)=0$, $f(N(v))\geq2$, that is, either there is a vertex $u \in N(v)$ with $f (u) = 2$ or there are two vertices $x,y\in N(v)$ with $f(x)=f(y)=1$. A function $f:V(G)\rightarrow \{0,1,2\}$ is a covering Italian dominating function (CID function) of $G$ if $f$ is an ID function and $\{v\in V(G)\mid f(v)\neq0\}$ is a vertex cover set. The covering Italian domination number (CID number) $γ_{cI}(G)$ is the minimum weight taken over all CID functions of $G$. In this paper, we study the CID number in graphs. We show that the problem of computing this parameter is NP-hard even when restricted to some well-known families of graphs, and find some bounds on this parameter. We characterize the family of graphs for which their CID numbers attain the upper bound twice their vertex cover number as well as all claw-free graphs whose CID numbers attain the lower bound half of their orders. We also give the characterizations of some families of graphs with small or large CID numbers.

math.CO↗

Outer independent double Roman domination number of graphs

A double Roman dominating function of a graph $G$ is a function $f:V(G)\rightarrow \{0,1,2,3\}$ having the property that for each vertex $v$ with $f(v)=0$, there exists $u\in N(v)$ with $f(u)=3$, or there are $u,w\in N(v)$ with $f(u)=f(w)=2$, and if $f(v)=1$, then $v$ is adjacent to a vertex assigned at least $2$ under $f$. The double Roman domination number $γ_{dR}(G)$ is the minimum weight $f(V(G))=\sum_{v\in V(G)}f(v)$ among all double Roman dominating functions of $G$. An outer independent double Roman dominating function is a double Roman dominating function $f$ for which the set of vertices assigned $0$ under $f$ is independent. The outer independent double Roman domination number $γ_{oidR}(G)$ is the minimum weight taken over all outer independent double Roman dominating functions of $G$. In this work, we present some contributions to the study of outer independent double Roman domination in graphs. Characterizations of the families of all connected graphs with small outer independent double Roman domination numbers, and tight lower and upper bounds on this parameter are given. We moreover bound this parameter for a tree $T$ from below by two times the vertex cover number of $T$ plus one. We also prove that the decision problem associated with $γ_{oidR}(G)$ is NP-complete even when restricted to planar graphs with maximum degree at most four. Finally, we give an exact formula for this parameter concerning the corona graphs.

math.GM↗

The general position problem and strong resolving graph

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 pairwise distinct vertices from $S$ lie on a common geodesic. It is proved that ${\rm gp}(G)\ge ω(G_{\rm SR}$, where $G_{\rm SR}$ is the strong resolving graph of $G$, and $ω(G_{\rm SR})$ is its clique number. That the bound is sharp is demonstrated with numerous constructions including for instance direct products of complete graphs and different families of strong products, of generalized lexicographic products, and of rooted product graphs. For the strong product it is proved that $gp(G\boxtimes H) \ge gp(G)gp(H)$, and asked whether the equality holds for arbitrary connected graphs $G$ and $H$. It is proved that the answer is in particular positive for strong products with a complete factor, for strong products of complete bipartite graphs, and for certain strong cylinders.

math.CO↗

Global offensive $k$-alliances in digraphs

In this paper, we initiate the study of global offensive $k$-alliances in digraphs. Given a digraph $D=(V(D),A(D))$, a global offensive $k$-alliance in a digraph $D$ is a subset $S\subseteq V(D)$ such that every vertex outside of $S$ has at least one in-neighbor from $S$ and also at least $k$ more in-neighbors from $S$ than from outside of $S$, by assuming $k$ is an integer lying between two minus the maximum in-degree of $D$ and the maximum in-degree of $D$. The global offensive $k$-alliance number $γ_{k}^{o}(D)$ is the minimum cardinality among all global offensive $k$-alliances in $D$. In this article we begin the study of the global offensive $k$-alliance number of digraphs. For instance, we prove that finding the global offensive $k$-alliance number of digraphs $D$ is an NP-hard problem for any value $k\in \{2-Δ^-(D),\dots,Δ^-(D)\}$ and that it remains NP-complete even when restricted to bipartite digraphs when we consider the non-negative values of $k$ given in the interval above. Based on these facts, lower bounds on $γ_{k}^{o}(D)$ with characterizations of all digraphs attaining the bounds are given in this work. We also bound this parameter for bipartite digraphs from above. For the particular case $k=1$, an immediate result from the definition shows that $γ(D)\leq γ_{1}^{o}(D)$ for all digraphs $D$, in which $γ(D)$ stands for the domination number of $D$. We show that these two digraph parameters are the same for some infinite families of digraphs like rooted trees and contrafunctional digraphs. Moreover, we show that the difference between $γ_{1}^{o}(D)$ and $γ(D)$ can be arbitrary large for directed trees and connected functional digraphs.

math.CO↗

Quasi-total Roman domination in graphs

A quasi-total Roman dominating function on a graph $G=(V, E)$ is a function $f : V \rightarrow \{0,1,2\}$ satisfying the following: - every vertex $u$ for which $f(u) = 0$ is adjacent to at least one vertex $v$ for which $f(v) =2$, and - if $x$ is an isolated vertex in the subgraph induced by the set of vertices labeled with 1 and 2, then $f(x)=1$. The weight of a quasi-total Roman dominating function is the value $ω(f)=f(V)=\sum_{u\in V} f(u)$. The minimum weight of a quasi-total Roman dominating function on a graph $G$ is called the quasi-total Roman domination number of $G$. We introduce the quasi-total Roman domination number of graphs in this article, and begin the study of its combinatorial and computational properties.

math.CO↗

Distance-based vertex identification in graphs: the outer multiset dimension

Given a graph $G$ and a subset of vertices $S = \{w_1, \ldots, w_t\} \subseteq V(G)$, the multiset representation of a vertex $u\in V(G)$ with respect to $S$ is the multiset $m(u|S) = \{| d_G(u, w_1), \ldots, d_G(u, w_t) |\}$. A subset of vertices $S$ such that $m(u|S) = m(v|S) \iff u = v$ for every $u, v \in V(G) \setminus S$ is said to be a multiset resolving set, and the cardinality of the smallest such set is the outer multiset dimension. We study the general behaviour of the outer multiset dimension, and determine its exact value for several graph families. We also show that computing the outer multiset dimension of arbitrary graphs is NP-hard, and provide methods for efficiently handling particular cases.

math.CO↗

On three outer-independent domination related parameters in graphs

Let $G$ be a graph and let $S\subseteq V(G)$. The set $S$ is a double outer-independent dominating set of $G$ if $|N[v]\cap D|\geq2$, for all $v\in V(G)$, and $V(G)\setminus S$ is independent. Similarly, $S$ is a $2$-outer-independent dominating set, if every vertex from $V(G)\setminus S$ has at least two neighbors in $S$ and $V(G)\setminus S$ is independent. Finally, $S$ is a total outer-independent dominating set if every vertex from $V(G)$ has a neighbor in $S$ and the complement of $S$ is an independent set. The double, total or $2$-outer-independent domination number of $G$ is the smallest possible cardinality of any double, total or $2$-outer-independent dominating set of $G$, respectively. In this paper, the $2$-outer-independent, the total outer-independent and the double outer-independent domination numbers of graphs are investigated. We prove some Nordhaus-Gaddum type inequalities, derive their computational complexity and present several bounds for them.

math.CO↗

Incidence dimension and 2-packing number in graphs

Let $G=(V,E)$ be a graph. A set of vertices $A$ is an incidence generator for $G$ if for any two distinct edges $e,f\in E(G)$ there exists a vertex from $A$ which is an endpoint of either $e$ or $f$. The smallest cardinality of an incidence generator for $G$ is called the incidence dimension and is denoted by $dim_I(G)$. A set of vertices $P$ is a 2-packing if the distance between any pair of distinct vertices from $P$ is greater than two. The largest cardinality of a 2-packing of $G$ is the packing number of $G$ and is denoted by $ρ(G)$. The incidence dimension of graphs is introduced and studied in this article, and we emphasize in the closed relationship between $dim_I(G)$ and $ρ(G)$. We first note that the complement of any 2-packing in a graph $G$ is always an incidence generator for $G$, and further show that either $dim_I(G)=ρ(G)$ or $dim_I(G)=ρ(G)-1$ for any graph $G$. In addition, we also prove that the problem of determining the incidence dimension of a graph is NP-complete, and present some bounds for it.

math.CO↗

The fractional $k$-metric dimension of graphs

Let $G$ be a graph with vertex set $V(G)$. For any two distinct vertices $x$ and $y$ of $G$, let $R\{x, y\}$ denote the set of vertices $z$ such that the distance from $x$ to $z$ is not equal to the distance from $y$ to $z$ in $G$. For a function $g$ defined on $V(G)$ and for $U \subseteq V(G)$, let $g(U)=\sum_{s \in U}g(s)$. Let $κ(G)=\min\{|R\{x,y\}|: x\neq y \mbox{ and } x,y \in V(G)\}$. For any real number $k \in [1, κ(G)]$, a real-valued function $g: V(G) \rightarrow [0,1]$ is a \emph{$k$-resolving function} of $G$ if $g(R\{x,y\}) \ge k$ for any two distinct vertices $x,y \in V(G)$. The \emph{fractional $k$-metric dimension}, $\dim^k_f(G)$, of $G$ is $\min\{g(V(G)): g \mbox{ is a $k$-resolving function of } G\}$. In this paper, we initiate the study of the fractional $k$-metric dimension of graphs. For a connected graph $G$ and $k \in [1, κ(G)]$, it's easy to see that $k \le \dim_f^k(G) \le \frac{k|V(G)|}{κ(G)}$; we characterize graphs $G$ satisfying $\dim_f^k(G)=k$ and $\dim_f^k(G)=|V(G)|$, respectively. We show that $\dim_f^k(G) \ge k \dim_f(G)$ for any $k \in [1, κ(G)]$, and we give an example showing that $\dim_f^k(G)-k\dim_f(G)$ can be arbitrarily large for some $k \in (1, κ(G)]$; we also describe a condition for which $\dim_f^k(G)=k\dim_f(G)$ holds. We determine the fractional $k$-metric dimension for some classes of graphs, and conclude with two open problems, including whether $ϕ(k)=\dim_f^k(G)$ is a continuous function of $k$ on every connected graph $G$.

math.CO↗

Edge metric dimension of some graph operations

Let $G=(V, E)$ be a connected graph. Given a vertex $v\in V$ and an edge $e=uw\in E$, the distance between $v$ and $e$ is defined as $d_G(e,v)=\min\{d_G(u,v),d_G(w,v)\}$. A nonempty set $S\subset V$ is an edge metric generator for $G$ if for any two edges $e_1,e_2\in E$ there is a vertex $w\in S$ such that $d_G(w,e_1)\ne d_G(w,e_2)$. The minimum cardinality of any edge metric generator for a graph $G$ is the edge metric dimension of $G$. The edge metric dimension of the join, lexicographic and corona product of graphs is studied in this article.

math.CO↗

On analyzing and evaluating privacy measures for social networks under active attack

Widespread usage of complex interconnected social networks such as Facebook, Twitter and LinkedIn in modern internet era has also unfortunately opened the door for privacy violation of users of such networks by malicious entities. In this article we investigate, both theoretically and empirically, privacy violation measures of large networks under active attacks that was recently introduced in (Information Sciences, 328, 403-417, 2016). Our theoretical result indicates that the network manager responsible for prevention of privacy violation must be very careful in designing the network if its topology does not contain a cycle. Our empirical results shed light on privacy violation properties of eight real social networks as well as a large number of synthetic networks generated by both the classical Erdos-Renyi model and the scale-free random networks generated by the Barabasi-Albert preferential-attachment model.

cs.SI↗

Efficient closed domination in digraph products

A digraph $D$ is an efficient closed domination digraph if there exists a subset $S$ of $V(D)$ for which the closed out-neighborhoods centered in vertices of $S$ form a partition of $V(D)$. In this work we deal with efficient closed domination digraphs among several product of digraphs. We completely describe the efficient closed domination digraphs among lexicographic and strong products of digraphs. We characterize those direct products of digraphs that are efficient closed domination digraphs, where factors are either two cycles or two paths. Among Cartesian product of digraphs, we describe all such efficient closed domination digraphs such that they are a Cartesian product digraph either with a cycle or with a star.

math.CO↗