arXiv++ Combinatorics

A subset $S$ of vertices, in a connected graph $G$, is called a distance-equalizer set if for every pair of distinct vertices outside $S$, there exists a vertex in $S$ equidistant to both. The equidistant dimension, denoted by $ξ(G)$, is defined as the minimum cardinality of such sets. While several distance-based parameters have been studied for different graph products, the equidistant dimension of corona product graphs has remained unexplored. In this paper, we investigate the equidistant dimension of the corona product $G \odot H$ of two graphs $G$ and $H$. We introduce the empty bisector graph $\widehat{G}$, an auxiliary construction that relates pairs of vertices in $G$ that cannot be equidistant from any third vertex. Using this framework, we establish tight bounds on the equidistant dimension of $G \odot H$ and derive exact values for several classical families of graphs. Moreover, we show that for any fixed base graph $G$, the equidistant dimension of $G \odot H$ depends on $H$ only through its order and eventually becomes linear in $\n(H)$.

The publication of social graphs must be preceded by a rigorous analysis of privacy threats against social graph users. When the threat comes from inside the social network itself, the threat is called an active attack, and the de-facto privacy measure used to quantify the resistance to such an attack is the $(k,\ell)$-anonymity. The original formulation of $(k,\ell)$-anonymity represents the adversary's knowledge as a vector of distances to the set of attacker nodes. In this article, we argue that such adversary is too strong when it comes to counteracting active attacks. We, instead, propose a new formulation where the adversary's knowledge is the multiset of distances to the set of attacker nodes. The goal of this article is to study the $(k,\ell)$-multiset anonymity from a graph theoretical point of view, while establishing its relationship to $(k,\ell)$-anonymity in one hand, and considering the $k$-multiset antiresolving sets as its theoretical frame, in a second one. That is, we prove properties of some graph families in relation to whether they contain a set of attacker nodes that breaks the $(k,\ell)$-multiset anonymity. From a practical point of view, we develop a linear programming formulation of the $k$-multiset antiresolving sets that allows us to calculate the resistance of social graphs against active attacks. This is useful for analysts who wish to know the level of privacy offered by a graph.

As a generalization of the concept of the partition dimension of a graph, this article introduces the notion of the $k$-partition dimension. Given a nontrivial connected graph $G=(V,E)$, a partition $Π$ of $V$ is said to be a $k$-partition generator for $G$ if any pair of different vertices $u,v\in V$ is distinguished by at least $k$ vertex sets of $Π$, \emph{i.e}., there exist at least $k$ vertex sets $S_1,\ldots,S_k\inΠ$ such that $d(u,S_i)\ne d(v,S_i)$ for every $i\in\{1,\ldots,k\}$. A $k$-partition generator for $G$ with minimum cardinality among all their $k$-partition generators is called a $k$-partition basis of $G$ and its cardinality the $k$-partition dimension of $G$. A nontrivial connected graph $G$ is $k$-partition dimensional if $k$ is the largest integer such that $G$ has a $k$-partition basis. We give a necessary and sufficient condition for a graph to be $r$-partition dimensional and we obtain several results on the $k$-partition dimension for $k\in\{1,\ldots,r\}$.

In this paper we propose formulas for the distance between vertices of a generalized Sierpiński graph $S(G,t)$ in terms of the distance between vertices of the base graph $G$. In particular, we deduce a recursive formula for the distance between an arbitrary vertex and an extreme vertex of $S(G,t)$, and we obtain a recursive formula for the distance between two arbitrary vertices of $S(G,t)$ when the base graph is triangle-free. From these recursive formulas, we provide algorithms to compute the distance between vertices of $S(G,t)$. In addition, we give an explicit formula for the diameter and radius of $S(G,t)$ when the base graph is a tree.

The General Randić index $R_α$ of a simple graph $G$ is defined as \[ R_α(G)=\sum_{v_{i}\sim v_{j}} (δ_{i}δ_{j})^α, \] where $δ_i$ denotes the degree of the vertex $v_i$. Rodríguez-Velázquez and Tomás-Andreu [MATCH Commun. Math. Comput. Chem. 74 (1) (2015) 145--160] obtained closed formulae for the Randić index $R_{-1/2}$ of Sierpiński-type polymeric networks, where the base graph is a complete graph, a triangle-free regular graph or a bipartite semiregular graph. In the present article we obtain closed formulae for the general Randić index $R_α$ of Sierpiński-type polymeric networks, where the base graph is arbitrary.

In this paper we obtain closed formulae for several parameters of generalized Sierpiński graphs $S(G,t)$ in terms of parameters of the base graph $G$. In particular, we focus on the chromatic, vertex cover, clique and domination numbers.

Let ${\cal G}$ be a graph family defined on a common vertex set $V$ and let $d$ be a distance defined on every graph $G\in {\cal G}$. A set $S\subset V$ is said to be a simultaneous metric generator for ${\cal G}$ if for every $G\in {\cal G}$ and every pair of different vertices $u,v\in V$ there exists $s\in S$ such that $d(s,u)\ne d(s,v)$. The simultaneous metric dimension of ${\cal G}$ is the smallest integer $k$ such that there is a simultaneous metric generator for ${\cal G}$ of cardinality $k$. We study the simultaneous metric dimension of families composed by corona product graphs. Specifically, we focus on the case of two particular distances defined on every $G\in {\cal G}$, namely, the geodesic distance $d_G$ and the distance $d_{G,2}:V\times V\rightarrow \mathbb{N}\cup \{0\}$ defined as $d_{G,2}(x,y)=\min\{d_{G}(x,y),2\}$.

Let ${\mathcal G}$ be a graph family defined on a common (labeled) vertex set $V$. A set $S\subseteq V$ is said to be a simultaneous metric generator for ${\cal G}$ if for every $G\in {\cal G}$ and every pair of different vertices $u,v\in V$ there exists $s\in S$ such that $d_{G}(s,u)\ne d_{G}(s,v)$, where $d_{G}$ denotes the geodesic distance. A simultaneous adjacency generator for ${\cal G}$ is a simultaneous metric generator under the metric $d_{G,2}(x,y)=\min\{d_{G}(x,y),2\}$. A minimum cardinality simultaneous metric (adjacency) generator for ${\cal G}$ is a simultaneous metric (adjacency) basis, and its cardinality the simultaneous metric (adjacency) dimension of ${\cal G}$. Based on the simultaneous adjacency dimension, we study the simultaneous metric dimension of families composed by lexicographic product graphs.

Given a connected simple 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 and only if for any pair of different vertices $u,v\in V$, there exist at least $k$ vertices $w_1,w_2,...,w_k\in S$ such that $d_G(u,w_i)\ne d_G(v,w_i)$, for every $i\in \{1,...,k\}$, where $d_G(x,y)$ is the length of a shortest path between $x$ and $y$. A $k$-metric generator of minimum cardinality in $G$ is called a $k$-metric basis and its cardinality, the $k$-metric dimension of $G$. In this article we study the $k$-metric dimension of corona product graphs $G\odot\mathcal{H}$, where $G$ is a graph of order $n$ and $\mathcal{H}$ is a family of $n$ non-trivial graphs. Specifically, we give some necessary and sufficient conditions for the existence of a $k$-metric basis in a connected corona graph. Moreover, we obtain tight bounds and closed formulae for the $k$-metric dimension of connected corona graphs.

Given a connected graph $G=(V,E)$, a set $S\subseteq V$ is a $k$-metric generator for $G$ if for any two different vertices $u,v\in V$, there exist at least $k$ vertices $w_1,...,w_k\in S$ such that $d_G(u,w_i)\ne d_G(v,w_i)$ for every $i\in \{1,...,k\}$. A metric generator of minimum cardinality is called a $k$-metric basis and its cardinality the $k$-metric dimension of $G$. We study some problems regarding the complexity of some $k$-metric dimension problems. For instance, we show that the problem of computing the $k$-metric dimension of graphs is $NP$-Complete. However, the problem is solved in linear time for the particular case of trees.

As a generalization of the concept of a metric basis, this article introduces the notion of $k$-metric basis in graphs. Given a connected graph $G=(V,E)$, a set $S\subseteq V$ is said to be a $k$-metric generator for $G$ if the elements of any pair of different vertices of $G$ are distinguished by at least $k$ elements of $S$, i.e., for any two different vertices $u,v\in V$, there exist at least $k$ vertices $w_1,w_2,...,w_k\in S$ such that $d_G(u,w_i)\ne d_G(v,w_i)$ for every $i\in \{1,...,k\}$. A metric generator of minimum cardinality is called a $k$-metric basis and its cardinality the $k$-metric dimension of $G$. A connected graph $G$ is $k$-metric dimensional if $k$ is the largest integer such that there exists a $k$-metric basis for $G$. We give a necessary and sufficient condition for a graph to be $k$-metric dimensional and we obtain several results on the $k$-metric dimension.