Table of Contents
Fetching ...

On the metric representation of the vertices of a graph

Mercè Mora, María Luz Puertas

Abstract

The metric representation of a vertex $u$ in a connected graph $G$ respect to an ordered vertex subset $W=\{ω_1, \dots , ω_n\}\subset V(G)$ is the vector of distances $r(u\vert W)=(d(u,ω_1), \dots , d(u,ω_n))$. A vertex subset $W$ is a resolving set of $G$ if $r(u\vert W)\neq r(v\vert W)$, for every $u,v\in V(G)$ with $u\neq v$. Thus, a resolving set with $n$ elements provides a set of metric representation vectors $S\subset \mathbb{Z}^n$ with cardinal equal to the order of the graph. In this paper, we address the reverse point of view, that is, we characterize the finite subsets $S\subset \mathbb{Z}^n$ that are realizable as the set of metric representation vectors of a graph $G$ with respect to some resolving set $W$. We also explore the role that the strong product of paths plays in this context. Moreover, in the case $n=2$, we characterize the sets $S\subset \mathbb{Z}^2$ that are uniquely realizable as the set of metric representation vectors of a graph $G$ with respect to a resolving set $W$.

On the metric representation of the vertices of a graph

Abstract

The metric representation of a vertex in a connected graph respect to an ordered vertex subset is the vector of distances . A vertex subset is a resolving set of if , for every with . Thus, a resolving set with elements provides a set of metric representation vectors with cardinal equal to the order of the graph. In this paper, we address the reverse point of view, that is, we characterize the finite subsets that are realizable as the set of metric representation vectors of a graph with respect to some resolving set . We also explore the role that the strong product of paths plays in this context. Moreover, in the case , we characterize the sets that are uniquely realizable as the set of metric representation vectors of a graph with respect to a resolving set .

Paper Structure

This paper contains 4 sections, 13 theorems, 3 equations, 10 figures.

Key Result

Proposition 1

Let $(G,W)$ be a realization of a set $S\subset \mathbb{Z}^n$. Then:

Figures (10)

  • Figure 1: A resolving set of the path $P_5$.
  • Figure 2: Two non isomorphic graphs sharing the same metric representation vector set.
  • Figure 3: $(C_{10},\{u_1,u_8\})$ (left) and $(C_{10},\{u_3,u_6\})$ (right) are realizations of the set $S=\{ (0,3),(3,0), (1,2), (2,1),$$(1,4), (4,1),$$(2,5), (5,2), (3,4), (4,3)\}$.
  • Figure 4: (a) $(G,\{w_1,w_2\})$ and (b) $(G,\{z_1,z_2\})$ are realizations of the set $S=\{ (0,3),(3,0), (1,2), (2,1),(2,3), (3,2), (1,4), (4,1), (2,5), (5,2),$$(3,4), (4,3), (4,5) , (5,4)\}$. The vertices corresponding to the vectors $(2,3)$ and $(3,2)$ are $a$ and $b$ (a), and $x$ and $y$ (b).
  • Figure 5: (a) A realization $(G,W)$ of the set $S=\{ (0,3),(3,0), (1,2), (2,1),$$(1,4), (4,1), (2,5), (5,2),(3,4), (4,3)\}$ and (b) the graph $G_W^*$.
  • ...and 5 more figures

Theorems & Definitions (40)

  • Definition 1: Chartrand2000Harary1976Slater1975
  • Example 1
  • Example 2
  • Example 3
  • Example 4
  • Definition 2
  • Proposition 1
  • proof
  • Remark 1
  • Corollary 1
  • ...and 30 more