 graphs $G=(V,E)$ to be undirected, simple, unweighted, finite, and connected.

Graph theoretical notation {#sec:graph_notation}
--------------------------

We write $x \sim y$ if there exists an edge between the vertices $x$ and $y$. The degree of a vertex $x \in V$ is denoted by $d_x$. For a set of vertices $A\subseteq V$, the induced subgraph ${\rm Ind}_G(A)$ is the subgraph of $G$ whose vertex set is $A$ and whose edge set consists of all edges in $G$ that have both endpoints in $A$. For any two vertices $x,y\in V$, the (combinatorial) distance $d(x,y)$ is the length (i.e. the number of edges) in a shortest path from $x$ to $y$. Such paths of minimal length are also called [*geodesics*]{} from $x$ to $y$. An *interval* $[x,y]$ is the set of all vertices lying on geodesics from $x$ to $y$, that is $$[x,y] = \{ z \in V \mid d(x,z) + d(z,y) = d(x,y) \}.$$

The [*diameter*]{} of $G$ is denoted by ${\rm diam}(G)= \max_{x,y\in V} d(x,y)$. A vertex $x\in V$ is called a [*pole*]{} if there exists a vertex $y\in V$ such that $d(x,y)={\rm diam}(G)$, in which case $y$ will be called an [*antipole*]{} of $x$ (with respect to $G$). A graph $G$ is called [*self-centered*]{} if every vertex is a pole.

For $k\in\mathbb{N}$ and $x\in V$ we define the [*$k$-sphere*]{} of $x$ as $S_k(x) = \{z : d(z,x) = k\}$ and the [*$k$-ball*]{} of $x$ as $B_k(x) = \{z: d(z,x) \le k\}$. In particular, $S_1(x)$ is also denoted as $N_x$, the set of all neighbors of $x$. Denote also
graphs $ G=(V, E)$ to be undirected, simple, unweighted, finite, and connected. 

 Graph theoretical note { # sec: graph_notation } 
 -------------------------- 

 We spell $ x \sim y$ if there exists an boundary between the vertices $ x$ and $ y$. The academic degree of a vertex $ x \in V$ is denoted by $ d_x$. For a set of vertex $ A\subseteq V$, the induce subgraph $ { \rm Ind}_G(A)$ is the subgraph of $ G$ whose vertex set is $ A$ and whose boundary hardening consists of all edges in $ G$ that get both endpoints in $ A$. For any two vertices $ x, y\in V$, the (combinatorial) distance $ d(x, y)$ is the length (i.e. the number of edges) in a shortest way from $ x$ to $ y$. Such paths of minimal length are also call [ * geodesics * ] { } from $ x$ to $ y$. An * interval * $ [ x, y]$ is the stage set of all vertices lie on geodesics from $ x$ to $ y$, that is $ $ [ x, y ] = \ { z \in V \mid d(x, z) + d(z, y) = d(x, y) \}.$$ 

 The [ * diameter * ] { } of $ G$ is denoted by $ { \rm diam}(G)= \max_{x, y\in V } d(x, y)$. A vertex $ x\in V$ is called a [ * pole * ] { } if there exists a vertex $ y\in V$ such that $ d(x, y)={\rm diam}(G)$, in which shell $ y$ will be called an [ * antipole * ] { } of $ x$ (with respect to $ G$). A graph $ G$ is called [ * self - centered * ] { } if every vertex is a pole. 

 For $ k\in\mathbb{N}$ and $ x\in V$ we define the [ * $ k$-sphere * ] { } of $ x$ as $ S_k(x) = \{z: d(z, x) = k\}$ and the [ * $ k$-ball * ] { } of $ x$ as $ B_k(x) = \{z: d(z, x) \le k\}$. In particular, $ S_1(x)$ is also denoted as $ N_x$, the set of all neighbors of $ x$. Denote also
 grwphs $G=(V,E)$ to be undirectea, simple, unweigkred, fiiite, ans connecged.

Graph theoretical notatioi {#sex:grapy_notation}
--------------------------

We write $x \sio y$ if thvre existw an wdge betwexh the vcxticea $x$ aud $y$. The degree pf a vertef $x \in V$ is detogeb by $d_x$. For a set of vertices $A\subseeeq V$, tne induced subgrwph ${\gm Ind}_F(A)$ is the subgraph of $G$ whose vertsx set ps $A$ and whose edbe set consists of all edgfs ij $G$ that have both endpoints un $A$. Dor any two xertices $x,j\nn V$, the (cojbinatorial) distance $d(x,y)$ is the lengch (i.e. the nomgeg of edges) ii a shjrtest path ngom $x$ tm $y$. Sucn paths of minlmal nentth are also called [*gxodesics*]{} from $x$ to $y$. An *inteream* $[x,y]$ is the set od qll vgrticas lhung on gxodssics vroj $x$ to $y$, tgat is $$[x,y] = \{ z \in V \mid d(x,z) + d(z,u) = e(x,y) \}.$$

The [*diamefer*]{} of $G$ is denoted by ${\rm diam}(G)= \max_{x,y\in V} d(x,y)$. A vedtex $x\in V$ is called a [*pole*]{} if there exists w vertex $r\in V$ such that $d(x,y)={\rm diam}(G)$, in which case $y$ will te camued ak [*anguplle*]{} of $x$ (with respect to $G$). A graph $G$ is calleq [*stlf-bentered*]{} if every vertex is s ookg.

For $k\in\mathbb{V}$ and $r\jn V$ we define the [*$k$-dphere*]{} jf $x$ qs $S_k(x) = \{z : d(z,c) = k\}$ and the [*$k$-ball*]{} of $x$ as $V_k(x) = \{z: d(z,x) \lv k\}$. Un particular, $S_1(x)$ id also denoced as $N_x$, tne set of all neighbors of $s$. Denote aldo
graphs $G=(V,E)$ to be undirected, simple, unweighted, connected. theoretical notation -------------------------- We write exists edge between the $x$ and $y$. degree of a vertex $x \in is denoted by $d_x$. For a set of vertices $A\subseteq V$, the induced ${\rm Ind}_G(A)$ is the subgraph of $G$ whose vertex set is $A$ and edge consists all in $G$ that have both endpoints in $A$. For any two vertices $x,y\in V$, the (combinatorial) $d(x,y)$ is the length (i.e. the number of in a shortest path $x$ to $y$. Such paths minimal are also [*geodesics*]{} $x$ $y$. An *interval* is the set of all vertices lying on geodesics from $x$ to $y$, that is $$[x,y] = z \in d(x,z) + = \}.$$ [*diameter*]{} of $G$ by ${\rm diam}(G)= \max_{x,y\in V} d(x,y)$. V$ is called a [*pole*]{} if there exists vertex $y\in such that $d(x,y)={\rm diam}(G)$, in which $y$ will be called an [*antipole*]{} of $x$ respect to $G$). A graph $G$ is called [*self-centered*]{} if every vertex is a pole. and $x\in V$ we the [*$k$-sphere*]{} of as = : = k\}$ the [*$k$-ball*]{} of $x$ as $B_k(x) = \{z: d(z,x) \le k\}$. particular, $S_1(x)$ is also denoted as $N_x$, the set of of Denote also
 graphs $G=(V,E)$ to be undirected, siMple, unweigHted, fIniTe, aNd ConnEcteD.

Graph theoretiCAl noTation {#sec:graph_notation}
--------------------------

we wriTe $X \Sim y$ IF tHere eXists an EDgE BEtwEeN tHe vErTIcEs $x$ anD $y$. THe degreE of a vertex $X \in v$ iS denoted by $d_x$. fOr A set of vertIceS $A\subseteq V$, tHe iNduced SuBgrAPh ${\rm INd}_G(a)$ is thE subgrAPh of $G$ wHose verteX sET is $A$ anD Whose edGE SeT conSists of all edges in $g$ ThAT have both endpoInts in $a$. FOR aNY Two VerTices $x,y\in V$, ThE (combINatoriaL) DiSTANce $D(X,y)$ is the length (I.e. the number OF edGes) in a ShOrtESt path From $x$ To $Y$. sucH paths of minImal Length are Also caLLed [*geodESics*]{} froM $x$ to $y$. AN *inTerVal* $[x,Y]$ Is ThE seT oF All VErTicES lyIng on geoDeSiCs froM $x$ to $Y$, THAT is $$[x,Y] = \{ z \iN V \miD d(x,z) + d(Z,y) = d(x,y) \}.$$

The [*diameTer*]{} Of $G$ iS DenOted bY ${\rm diAm}(G)= \mAx_{X,y\in V} D(x,y)$. A veRtex $x\In v$ is called a [*pole*]{} iF theRe exists a VerTeX $y\iN V$ Such tHAt $d(x,y)={\rM diAm}(G)$, In which Case $y$ wiLL be CaLLED aN [*antipole*]{} of $x$ (with reSpECT tO $G$). A graph $g$ is calLEd [*SeLF-centereD*]{} iF evEry vERTex is A polE.

foR $k\in\mathBb{N}$ and $X\In v$ wE define ThE [*$k$-spheRe*]{} Of $x$ As $S_K(x) = \{z : d(z,X) = K\}$ and The [*$k$-baLl*]{} of $x$ as $B_K(x) = \{z: d(z,X) \Le k\}$. In particulaR, $s_1(x)$ is also denotED aS $n_X$, tHE set Of aLl neighbors Of $x$. DENote Also
 graphs $G=(V,E)$ to be un directed,simpl e,unw ei ghte d, f inite, and con n ecte d.

Graph theoreticalnotat io n  {#s e c: graph _notati o n} - --- -- -- --- -- - -- ----- --- --

Wewrite $x \ sim  y $ if there e x is ts an edge  be tween the ve rti ces $x $and $y$.The  degr ee ofa  verte x $x \inV$ is den o ted by$ d _x $. F or a set of verti c es $A\subseteq V$ , thein d uc e d  su bgr aph ${\rmIn d}_G( A )$ is t h es u b gra p h of $G$ whos e vertex se t  is  $A$ a nd  wh o se edg e set  c o nsi sts of alledge s in $G$that h a ve both endpoin ts in$A$ . F or a n ytw o v er t ice s  $ x,y \ inV$, the(c om binat oria l ) d ista nce  $d( x,y)$  is the lengt h ( i.e. the  numb er of  edg es ) ina shor testpa th from $x$ to$y$.  Such pat hsof  mi ni mal l e ngth a reals o calle d [*geo d esi cs * ] { }from $x$ to $y$. A n* i nt erval* $ [x,y]$ is  t h e set of  a llvert i c es ly ingo ngeodesic s from $x $to $y$,  t hat is  $ $[x ,y]  = \{ z \i n V \m id d(x,z ) + d ( z,y) = d(x,y)\ }.$$

The [*d i am e t er * ]{}of$G$ is deno tedb y ${ \rmd ia m}( G )= \m ax_{x ,y \ in V} d(x,y)$. A verte x$x\inV$ is  called a [*p ole*]{} if t h ere exis ts a ve r tex $y\in V$ s uch t hat $d(x,y ) ={\rm di am}(G )$, in w hich case $ y$ willbecal led  an [ *a ntipole*]{} o f $x$(w ith res pec t to $G $).  Agra ph$G $ is call ed [*sel f- ce nt er ed* ]{} i f  every v er tex  i s a  pole . 

For$k\in \mat hb b{ N }$and $x\ i nV $  wede fi ne t he[* $k$-s pher e *]{ } of $x $ as $S_k (x) = \{ z:d(z,x)= k\}$ and th e[*$k$-ball *] {}of $x$ a s $B_k(x ) = \{z: d(z,x) \le k\} $ . In pa rti cular , $S _1(x)$ is  al so den ote d  as $N _x$, t he se tofa l l nei g h bo rsof  $x$. Deno t e  al so
 graphs_$G=(V,E)$ to_be undirected, simple, unweighted,_finite, and_connected.

Graph_theoretical notation_{#sec:graph_notation}
--------------------------

We_write $x \sim_y$ if there_exists an edge between_the vertices $x$_and_$y$. The degree of a vertex $x \in V$ is denoted by $d_x$. For_a_set of_vertices_$A\subseteq_V$, the induced subgraph ${\rm_Ind}_G(A)$ is the subgraph of_$G$ whose_vertex set is $A$ and whose edge set_consists_of all edges_in $G$ that have both endpoints in $A$. For_any two vertices $x,y\in V$, the_(combinatorial) distance $d(x,y)$_is_the_length (i.e. the number_of edges) in a shortest path_from $x$ to $y$. Such paths_of minimal length are also called [*geodesics*]{}_from $x$ to $y$. An *interval*_$[x,y]$ is the set of_all vertices_lying on geodesics from $x$_to $y$, that_is $$[x,y]_= \{ z_\in V \mid d(x,z) + d(z,y)_= d(x,y) \}.$$

The_[*diameter*]{} of $G$ is denoted by_${\rm_diam}(G)= \max_{x,y\in V}_d(x,y)$._A_vertex $x\in_V$ is called_a_[*pole*]{} if_there_exists a vertex $y\in V$ such_that_$d(x,y)={\rm diam}(G)$, in which case $y$ will_be called an [*antipole*]{}_of_$x$ (with respect to_$G$). A graph $G$ is_called [*self-centered*]{} if every vertex is_a pole.

For_$k\in\mathbb{N}$ and_$x\in V$ we define the [*$k$-sphere*]{} of $x$ as $S_k(x) =_\{z : d(z,x) = k\}$ and_the [*$k$-ball*]{} of $x$_as $B_k(x)_=_\{z: d(z,x) \le_k\}$._In particular,_$S_1(x)$ is also denoted as $N_x$, the_set of_all neighbors of $x$. Denote also