Distance Degree Regular Graphs and Distance Degree Injective Graphs : An Overview

The distance d(V, u) from a vertex V ofG to a vertex u is the length of shortest V to u path.The eccentricity e(V) of V is the distance to a farthest vertex from V. If d(V, u) = e(V), (u ̸ = V), we say that u is an eccentric vertex of V.The radius rad(G) is theminimum eccentricity of the vertices, whereas the diameter diam(G) is themaximum eccentricity. A vertex V is a central vertex if e(V) = rad(G), and a vertex is a peripheral vertex if e(V) = diam(G). A graph is self-centered if every vertex has the same eccentricity; that is, rad(G) = diam(G). The distance degree sequence (dds) of a vertex V in a graph G = (V, E) is a list of the number of vertices at distance 1, 2, ...., e(V) in that order, where e(V) denotes the eccentricity of V inG. Thus, the sequence (d i0 , d i1 , d i2 , . . . , d ij , . . .) is the distance degree sequence of the vertex V i in G where d ij denotes the number of vertices at distance j from V i . The concept of distance degree regular (DDR) graphs was introduced by Bloom et al., as the graphs for which all vertices have the same distance degree sequence. By definition, a DDR graph must be a regular graph, but a regular graph may not be DDR. A graph is distance degree injective (DDI) graph if no two vertices have the same distance degree sequence. DDI graphs are highly irregular, in comparison with the DDR graphs. In this paper we present an exhaustive review of the two concepts of DDR and DDI graphs. The paper starts with an insight into all distance related sequences and their applications. All the related open problems are listed.


Introduction
The study of sequences in Graph Theory is not new.A sequence for a graph acts as an invariant that contains a list of numbers rather than a single number.A sequence can be handled and studied as easily as a single numerical invariant, but a sequence carries more information about the graph it represents.There are many sequences representing a graph in literature, namely, the degree sequence, the eccentric sequence, the distance degree sequence, the status sequence, the path degree sequence, and so forth.A sequence S is said to be graphical if there is a graph which realizes S. Degree sequences of graphs were the first ones to be studied, as the question of realizability of any sequence for a graph was a fundamental one.An existential characterization was given by Erdos and Gallai [1].Then the constructive characterization was found independently by Havel [2] and later by Hakimi [3] that is now referred to as the Havel and Hakimi algorithm.The eccentric sequences were the next and the first in the class of distance related sequences to be studied for undirected graphs.Some fundamental results in this direction are due to Lesniak-Foster [4], Ostrand [5], Behzad, and Simpson [6], which primarily deal with the conditions for graphical eccentric sequences.The minimal eccentric sequences were mainly studied by Nandakumar [7].But, for digraphs, the eccentric sequences were studied quite late.We can find some papers in 2008 due to Gimbert and Lopez [8].
Next distance based sequences were the path degree sequences and distance degree sequences.These were studied by Randic [9] for the purpose of distinguishing chemical isomers by their graph structure.Path degree sequence of a graph has its application in describing atomic environments and in various classification schemes for molecules.
We will now define all the terms that give graph theoretic expressions for the above discussed cases.
For all undefined terms we refer to [10].
Let  = (, ) denote a graph with the set of vertices , whose cardinality is the order  and two element subsets of , known as edges forming , whose cardinality is size .Unless mentioned otherwise, in this article, by a graph we mean an undirected, finite graph without multiple edges and self-loops.
The distance (V, ) from a vertex V of  to a vertex  is the length of shortest V to  path.The degree of a vertex V is the number of vertices at distance one.
The sequence of numbers of vertices having degree 0, 1, 2, 3, . . . is called the degree sequence, which is the list of the degrees of vertices of  in nondecreasing order.
The eccentricity (V) of V is the distance to a farthest vertex from V.
The minimum of the eccentricities is the radius rad() and the maximum diameter of , diam().
A graph  is said to be self-centered if all vertices have the same eccentricity.
The eccentric sequence of a connected graph  is a list of the eccentricities of its vertices in nondecreasing order.
The distance and path degree sequences of a vertex are generalizations of the degree of a vertex.The distance degree sequence (dds) of a vertex V in a graph  is a list of the number of vertices at distance 1, 2, . . ., (V) in that order, where (V) denotes the eccentricity of V in .Thus, the sequence (  0 ,   1 ,   2 , . . .,    , . ..) is the distance degree sequence of the vertex V  in  where    denotes the number of vertices at distance  from V  .The -tuple of distance degree sequences of the vertices of  with entries arranged in lexicographic order is the distance degree sequence (DDS) of .Similarly, we define the path degree sequence (pds) of V  as the sequence (  0 ,   1 ,   2 , . . .,    , . ..)where    denotes the number of paths in  of length  having V  as the initial vertex.The ordered set of all such sequences arranged in lexicographic order is called the path degree sequence (PDS) of .Clearly, for any graph    ≤    .
The distance distribution of  is the sequence ( 1 ,  2 , . ..,   , . ..),where   is the number of pairs of vertices in  that are at distance  apart.
The status (V) of a vertex V in  is the sum of the distances from V to all other vertices in .This concept was introduced by Harary [11].Thus, using the distance degree sequence of V  , we have The median () of  is the set of vertices with minimum status.A graph is called a self-median graph if all of its vertices have the same status.
The status of a vertex is also called the distance at that vertex.The mean distance at the vertex V  , denoted by MD(V  ), is defined as MD(V  ) = (V  )/( − 1).
The mean distance for the graph, denoted by MD(), is defined as the mean of the distances between all pairs of vertices of ; that is, MD() = ∑ {,V} (, V)/ (  2 ), where  and V are vertices of .In terms of status, we get MD() = ∑  =1 (MD(V  )/).
As an illustration consider the graph  as shown in Figure 1.
In [12], Kennedy and Quintas have examined how the distance degree sequences relate to embedding trees in lattice-graphs and other spaces as well as the consequential relations to physical theories.Chemists have also proposed and discussed other sequences for this purpose.Their objective and hope are to develop a "chemical indicator" which would be useful both for the graph isomorphism problem and to predict various properties of the molecule at hand.In this connection, Randic [9] proposed the structural similarity depending on the graph property as follows.
Conjecture 1 (see [9]).Between pairs of atoms in acyclic structures there is a unique path so that the number of paths of a given length corresponds to the number of neighbors at a given distance.
This can be rephrased in graph theoretic terms as follows.
A nonassertive proof was given by Quintas and Slater [13].Hence, this kind of study leads to the problem of finding the smallest order for which there exists a pair of nonisomorphic graphs which are equivalent relative to some set of graphical invariants.So the following conjecture was made in line with the above conjecture by Randic [9] that sought for graph isomorphism by comparing their sequences.
This conjuncture was also shown to be invalid, by citing infinite class of pairs of nonisomorphic trees having the property that the two members of each pair have the same path degree sequence by Quintas and Slater [13].To extend this notion to nontree graphs, the same examples were considered to construct pairs of nonisomorphic graphs having a variety of properties and invalidate the conjecture.
As noted above, a tree is not, in general, characterized by its path (or distance) degree sequence.The least order for which there exists a pair of nonisomorphic trees with the same path degree sequence has been shown to be more than 14 for acyclic alkanes, that is, trees with no vertex of degree  more than 4 and less than or equal to 18 for trees without vertex degree restrictions.
On similar lines one can search for pairs of nonisomorphic graphs having the same distance degree sequence.Slater [14] constructed a pair of nonisomorphic 18 vertex trees having the same distance degree sequence as shown in Figure 2.He had subsequently conjectured that no such smaller order pair exists.Later, Gargano and Quintas [15] considered the problem with respect to the number of independent cycles in a graph having the same distance degree sequence.We can recall that  =  −  + , where  is the number of independent cycles,  is the number of components in the graph, and ,  are the order and size, respectively.For  = 0, Slater's constructions hold good.For  = 1, Gargano and Quintas [15] constructed two pairs of graphs on 14 vertices.For  = 2, the smallest order pair of nonisomorphic graphs with the same distance degree sequence is given as in Figure 3.
And this is the only such pair as noted by Quintas and Slater in [13].This class of graphs was generalized by Gargano and Quintas [15] for  ≥ 2 as follows.
Theorem 4 (see [15]).If  ≥ 2, then there exists a pair of nonisomorphic connected graphs having the same distance degree sequence and  independent cycles.The smallest order  for such a pair is given by  = ⌈(3 + √33 + 8)/2⌉, where ⌈⌉ denotes the least integer greater than or equal to .
Two problems were asked in the same paper.
Problem 5 (see [15]).What is the smallest order  for which there exists a pair of nonisomorphic connected graphs having the same distance degree sequence and  = 0, 1 independent cycles?Problem 6 (see [15]).What is the smallest order  for which there exists a pair of nonisomorphic connected graphs having the same distance degree sequence and  ≥ 0 ( ̸ = 2, 3, 4, 5 and 7) independent cycles and such that the graphs have no vertex with degree greater than four?
With reference to Problem 6, consider the following.
For several values of  ≥ 3, the solution is the same as that for Problem 5. Specifically for  = 3, 4, 5 and 7 each of the graphs constructed in the proof of the theorem in [15] has no vertex of degree greater than four.Thus the open cases are  = 0, 1, 6 and  ≥ 8.
If one asks for the smallest order for which the distance degree sequence fails to distinguish between -regular graphs, there exists the following result due to Quintas and Slater [13].
As noted above, there does not exist a pair of nonisomorphic graphs with the same path degree sequence on less than 12 vertices.It also follows from the above result that the least order for which such a -regular pair of graphs can exist is at least  + 3 for  ≥ 3 and that none exist if  = 0, 1, 2. Thus the investigation to produce at least one pair of nonisomorphic -regular graphs having the same path degree sequence has resulted in an open problem.
Problem 8 (see [13]).For  ≥ 3, does there exist a pair of nonisomorphic connected -regular graphs having the same path degree sequence?If the answer is yes, what is the smallest order () realizable by such a pair?
In fact, a paper by Slater [14] discusses the counterexamples to Randic's conjectures on distance degree sequences on trees.
In [16] Bussemaker et al. have investigated all connected cubic graphs on  ≤ 14 vertices and for each such graph the following properties were determined and tabulated: (i) its description by means of its edges and for  ≤ 12, by a drawing; (ii) the coefficients of its characteristic polynomial; (iii) the eigenvalues of its (0, 1)-adjacency matrix; (iv) the number of its cycles of length 3, 4, . . ., ; (v) its diameter, connectivity, and planarity; (vi) the order of its automorphism group.
From their table the girth, the circumference, and the chromatic number are easily determined.The graphs were classified according to their order and within each such class the graphs were ordered lexicographically according to their eigenvalues, which for each graph were listed in nonincreasing order.In addition, a number of observations concerning the spectral properties of these graphs were made.The study was motivated by the importance of cubic graphs and by the search for cospectral cubic graphs.The cubic graph generation is looked into by Brinkmann [17].In [18] Halberstam and Quintas have extended the results of Bussemaker et al. [16] mainly considering the sequences associated with the graphs.In this report they have determined the following information for each cubic graph on less than or equal to 14 vertices: (i) its distance degree sequence; (ii) its distance distribution; (iii) the mean distance at each vertex; (iv) the mean distance for the graph; (v) its path degree sequence; (vi) the number of paths of specified length; (vii) the total number of paths for the graph.
For each graph a number of other parameters can be determined from these tables.The radius, the diameter, and the eccentricity of every vertex can be read directly by noting the length of the appropriate distance degree sequence.By inspection one can determine the order of the center and of the median of the graph.In addition, the computation of other parameters is facilitated by making use of the given data.

Distance Degree Regular (DDR) Graphs
Now we have the stage set for the discussion on the highly regular class of graphs involving the distance degree sequences, namely, the distance degree regular graphs.The concept of distance degree regular (DDR) graphs was introduced by Bloom et al. [19], as the graphs for which all vertices have the same distance degree sequence; that is, for all vertices V of a graph , the distance degree sequence is (  0 ,   1 ,   2 , . . .,    , . ..).
For example, the three-dimensional cube  3 =  2 ×  2 ×  2 is a DDR graph having (1, 3, 3, 1) as the distance degree sequence of each of its vertex.Likewise, cycles, complete graphs are all DDR graphs.Lattice-graphs and infinite order regular trees are examples of infinite order DDR graphs.However, in this paper, we consider finite order graphs only.DDR graphs have peculiar relations to many parameters of graphs.On one extreme complete graphs are DDR and at the other end, there are DDR graphs having identity automorphism group.If a graph has a vertex-transitive automorphism group, then the graph is DDR, but not conversely.And the properties of DDR graphs being self-centered and selfmedian find applications even in operations research.Thus the study of DDR graphs is interesting.
In [19], Bloom et al. have discussed many properties of DDR graphs.It is clear that the set of DDR graphs of degree ≤2 consists of the following types: (i) a collection of  isolated vertices, (ii) a collection of  disjoint edges; and (iii)  copies of -cycles.Hence, the next result is a fundamental one.
Proposition 9 (see [19]).Each regular graph of diameter ≤2 is DDR and the complement of each regular graph of diameter ≥3 is DDR.
This result ensures that "every regular graph with diameter at most two is DDR." We know that every DDR graph is regular, but the distribution of DDR graphs in regular graphs is not clear.So, the following question is relevant.
Problem 10 (see [19]).What proportion of -regular graphs are DDR?Following constructions help in getting DDR graphs of arbitrarily chosen diameter and degree.For these methods we require the following terms.
Note that the special case 2  () is the -permutation graph of ,   (), introduced by Chartrand and Harary [20], if and only if  is a permutation of order less than or equal to 2. Furthermore,   () is the cartesian product   ×  of the -cycle   and the graph .Thus, if  is a -cycle, it follows that   (  ) =   (  ).
So the next result gives a family of DDR graphs.
Observe that the only connected 1-regular graph is  2 .But, characterizing DDR graphs of higher diameter is challenging.In [19] the following problem was cited.
Since then there is no answer to this question.A step forward was taken by Huilgol et al. [21], where they have characterized DDR graphs of diameter three with extremal degree regularity.They have shown that there are exactly 7 DDR graphs of diameter three of extreme regularity.The following result gives a clear picture about diameter three DDR graphs.
The proof of the above theorem is primarily based on the following two results.
Proposition 18 (see [10]).In a connected graph  of order  and radius , for any two arbitrarily chosen vertices  and V, the following inequality holds: As the diameter three DDR graphs are considered, which are self-centered graphs, satisfying the inequality, 2 ≤ Δ() ≤  − 4. In the above theorem, the DDR graphs of regularity 2 are characterized at one extreme and of regularities  − 4,  − 5, and  − 6 at the other extreme of the above mentioned inequality.Using these results, we can find a bound on the order of the graph as  ≤ 2 − 4, with degree regularity  1 =  − .Hence, for the degree regularity  1 =  − ,  ∈ {4, 5, 6}, of a DDR graph of order , we get  = 6, 8, 10, respectively.But, in general, the question of characterizing DDR graphs of diameter greater than two still remains open.At least the existence is answered by Huilgol et al. in [21], by proving the following result.
Theorem 19 (see [21]).For any integer , there exists a DDR graph of diameter three and regularity .
So, the construction of new families of DDR graphs is very interesting.In [22] Huilgol et al. have constructed some more DDR graphs of higher diameter and considered the behavior of DDR graphs under other graph binary operations.In this paper, the authors have given several DDR graphs of arbitrary diameter.Few of them depend on the generalized lexicographic product of graphs.
The lexicographic product is defined as follows.
Given graphs  and , the lexicographic product [] has the vertex set {(, ℎ) :  ∈ (), ℎ ∈ ()} and two vertices (, ℎ), (  , ℎ  ) are adjacent if and only if either   is an edge of  or  =   and ℎℎ  is an edge of .
This characterizes the generalized lexicographic products.Next result uses the generalized lexicographic product to show the existence of a DDR graph of arbitrary diameter.
Proposition 23 (see [22]).If  is a DDR graph with diameter  and regularity  1 , then the prism of  is also a DDR graph on 2 number of vertices with diameter  + 1 and regularity  1 + 1.
Theorem 24 (see [23]).Cartesian product of two graphs  1 and  2 is a DDR graph if and only if both  1 and  2 are DDR graphs.
Lemma 25 (see [23]).Let  = {  / ≥ 2}.If there exists  such that   is self-centered and diam(  ) ≥ diam(  ) for all  ≥ 2 then normal product of all the graphs in  is a self-centered graph with diameter equal to diam(  ).
The next result characterizes the normal product of two DDR graphs.
Theorem 26 (see [23]).Normal product  1 ⊕  2 of two graphs  1 and  2 is DDR if and only if both  1 and  2 are DDR graphs.

Relationship with Other Properties
As mentioned earlier, the relation of DDR graphs with other graph properties is relatively an unexplored area.In this section we try to relate DDR graphs with some symmetry properties.
Let  denote a connected graph with automorphism group Aut().Then,  is distance-transitive, if for each quartet of vertices , ,  and V in  such that (, ) = (, V), there is some  in Aut() satisfying () =  and () = V.
is symmetric (1-transitive), if for each quartet of vertices , , , and V in  such that  is adjacent to  and  is adjacent to V, there is some  in Aut() satisfying () =  and () = V.
is vertex-transitive, if, for each pair of vertices  and  in , there is some  in Aut() satisfying () = .
is distance-regular with diameter , if it is a k-regular connected graph with the following property.
In [24] Biggs has listed the results to show that a symmetric graph is both vertex-transitive and edge-transitive and that a distance-transitive graph is edge-transitive, symmetric, and distance regular.Based on these two results, Bloom et al. [19] proved the following.

Proposition 27 (see [19]). A graph that is vertex-transitive or distance-regular must be DDR.
In the next result Bloom et al. [19] have shown that distance degree regularity is weaker than other symmetry conditions and it is also indicated that other well-studied symmetry conditions do not imply DDR.

Proposition 28 (see [19]). Distance degree regularity does not imply edge-transitivity, vertex-transitivity, nor distanceregularity. Also, an edge-transitive graph is not necessarily DDR (and hence neither vertex-transitive, symmetric, nor distance transitive).
Vertex-transitivity does not imply edge-transitivity, symmetry, nor distance-regularity.Using the following Bloom et al. [19] have shown that a DDR graph is vertex-transitive, but not distance-regular.The graph shown in Figure 5 is  5 ×  3 , which is a DDR graph.This graph is not distance-regular, as there are two vertices adjacent to both  and , whereas only one vertex is adjacent to both  and V, given that (, ) = (, V) = 2. Also, since the edge {, V} lies on a triangle and {, } does not, and these two edges are not equivalent, it shows that the graph is not edge-transitive.Hence, it is not symmetric.
Distance-regularity does not imply vertex-transitivity.This is shown by an example, noted by Biggs, in [24, p. 139] and attributed to Adel'son-Velskii [25], of a distance-regular graph, hence DDR, with 26 vertices which is not vertextransitive and, therefore, is neither symmetric nor distancetransitive.
Symmetry implies neither distance-transitivity nor distanceregularity.The former observation is demonstrated by a DDR example due to Frucht et al. [26].They showed the implication did not hold for the permutation graph   (8-), where  is the permutation (2, 4)(3, 7) (6,8).This is the symmetric generalized Petersen graph  (8,3).Bloom et al. [19] demonstrated the second implication by the DDR example  2  (6-) =  2 2 ×  6 =  4 ×  6 as shown in Figure 6.This graph can be shown to be symmetric by viewing it on a torus.But we can show that it is not a distance-regular graph on similar lines as done for the graph of Figure 5, by considering the vertex  with the vertices  and .
Bloom et al. [19] have shown that most of the well-studied symmetry conditions imply the DDR property.For example, among the four permutation graphs of the 5-cycle, only the most symmetric pair, that is, the   (5-) and the Petersen graph, are DDR.So, they posed the following question, to check the effect of symmetry on permutation graphs.
It is interesting to know that although most symmetry conditions suffice to make a graph DDR, there are DDR examples among the least symmetric graphs.One such class is DDR graphs having identity automorphism group.If  < 3, the only -regular graph having identity automorphism group is the singleton graph  1 , which is trivially DDR.For  ≥ 3, there exist -regular graphs having identity automorphism group.For these the least order realizable has been determined by [27][28][29][30].Bloom et al. [19] got the least ordered DDR graphs of identity graphs as the complements of the graphs given in [30].Hence, they proved the following result.
For graphs with regularities 3 and 4 the situation is not clear.Although a least-order 3-regular identity graph has 12 vertices, none of the five graphs (see [30]) satisfying this condition is DDR.Thus, (3) ≥ 14.It has also been shown by Haigh (in a private communication to Bloom et al. [19]) that there are no DDR graphs among the 103 cubic identity graphs on 14 vertices which are contained in the complete tabulation of cubic graphs on graphs up to 14 vertices given in [16].Thus, (3) ≥ 16.But the existence of a order 10 DDR identity graph is shown by Bloom et al. [19].Also, they posed the following problem.
Problem 31 (see [19]).If  = 3 or 4, do there exist any regular DDR graphs having identity automorphism group?If the answer is yes, what is the least order realizable by such graphs?Next we will consider the relation of DDR graphs with a binary relation defined on the graph, namely, the eccentric digraph.The eccentric digraph of a graph or digraph is a distance based mapping, defined on a relation induced by distances in a graph or digraph, that is also represented by a graph.Many distance based relations can be found in literature in the study of antipodal graphs [31], antipodal digraphs [31], eccentric graphs [32,33], and so forth.The eccentric digraph ED() of a graph (or digraph)  is the digraph that has the same vertex as  and an arc from  to V exists in ED() if and only if V is an eccentric vertex of  in .Eccentric digraphs were defined by Buckley in [34].In [22], Huilgol et al. have considered the relations between the distance degree regular (DDR) graphs and eccentric digraphs.The DDR graphs being self-centered yield symmetric eccentric digraphs.The study of eccentric digraphs involves the behavior of sequences of iterated eccentric digraphs and they are studied by Gimbert et al. [35].Given a positive integer  ≥ 2, the th iterated eccentric digraph of  is written as ED  () = ED(ED −1 ()) where ED 0 () =  and ED 1 () = ED().For every digraph  there exist smallest integers  > 0 and  ≥ 0 such that ED  () = ED + ().In case of labeled graphs  is called the period of  and  the tail of  whereas for unlabeled graphs these quantities are referred to as isoperiod, denoted by   () and iso-tail,   (), respectively.
In [22] Huilgol et al. have showed that the unique eccentric vertex DDR graphs have all their iterated eccentric digraphs as DDR graphs.In the same paper many results are proved showing the relation between DDR graphs and eccentric digraphs.
Proposition 33 (see [22]).There exists a DDR graph  such that ED() is a disconnected graph each of whose components is complete bipartite graph.

For nonunique eccentric vertex DDR graphs the problem remains still open.
Problem 37 (see [22]).When do nonunique eccentric vertex DDR graphs have all their iterated digraphs as DDR graphs?

Distance Degree Injective (DDI) Graphs
In contrast to distance degree regular (DDR) graphs the Distance Degree Injective (DDI) graphs are the graphs with no two vertices of  having the same distance degree sequence (dds).These were also defined by Bloom et al. [36].So these graphs are highly irregular, compared to the DDR graphs.But, the other extreme of the DDR graphs as we noted above, to have identity automorphism group, becomes an inherent property of DDI graphs, which is evident by the next result.
Theorem 38 (see [36]).If  is a DDI graph, then  has an identity automorphism group, but not conversely.The converse is obvious as there are DDR graphs with identity automorphism group.
As DDR graphs, the characterizations elude DDI graphs.But there are many existential results and examples of DDI graphs.
Theorem 39 (see [36]).A smallest order nontrivial DDI graph has order 7 and there exist DDI graphs having order  for all  ≥ 7.
The smallest order nontrivial identity graph has 6 vertices and there are exactly eight identity graphs on 6 vertices and these are not DDI.So the least order is 7. Actually, the identity tree as shown in Figure 7 is the smallest DDI graph.
The following result shows the existence of a DDI graph of arbitrary diameter.
Theorem 40 (see [36]).A smallest diameter nontrivial DDI graph has diameter 3 and there exist DDI graphs having diameter  for all  ≥ 3.
The graphs shown in Figure 8 are DDI and have diameter 3 and 4, respectively.The graph of Figure 7 is a DDI graph with diameter 5.For DDI graphs of diameter 6, 7, . . .we can consider the same graph as shown in Figure 7 and go on adding vertices on the left of the path P 6 .
Theorem 41 (see [36]).If  is a connected DDI graph and  ̸ =  1 , then the diameter of  is bounded by 3 and sharply bounded by || − 2. The following theorem is useful in showing that a graph is not DDI.
Theorem 42 (see [36]).If  contains two vertices V 1 , V 2 with the same degree and such that no vertex of  is further than distance 2 from both V 1 and V 2 , then  is not DDI.
Note that the complement of the diameter three graph shown in Figure 8 is the diameter three identity graph shown in Figure 9.We can see that the above theorem is applicable for this graph and hence it is not DDI.
But the picture is not clear when we wish to have a graph and its complement to be DDI.
Problem 43 (see [36]).Does there exist a graph  ̸ =  1 such that  and its complement are both DDI?So the next question was on -regular DDI graphs as posed by Bloom et al. [36].
Problem 44 (see [36]).Does there exist a nontrivial -regular DDI graph?This problem got resolved by the existence of a cubic DDI graph on 24 vertices and having diameter 10 as found in [37].The general existence problem was resolved by Bollobas in [38] where he showed the following.
Since the distance degree sequence of a graph is independent of a labeling, this result shows that almost all -regular graphs of order  are DDI provided that  is large enough.The problem that remains unresolved is that of finding minimal DDI regular graphs.
In this direction there was one more problem defined by Halberstam and Quintas [37] as follows.
Problem 46 (see [37]).For  ≥ 3 what is the smallest order and/or diameter for which there exists a -regular DDI graph?
Martinez and Quintas [39] found a cubic DDI graph having diameter 8 and order 22, as in Figure 10.They also showed that if in the graph of Figure 10 the edges ab and cd are replaced by the graph shown in Figure 11, one can obtain a cubic DDI graph with 22 + 2 vertices and diameter 8 + .This was further reduced to order 18 and diameter 7 cubic graph by Volf [40] by constructing the graph of Figure 12.
From [18,36,37,39,40], it follows that (i) if there is a cubic DDI graph having less than 18 vertices, then its order must be 16; (ii) if there is a cubic DDI graph having diameter less than 7, then its diameter must be 4, 5, or 6.
So all these cases were considered by Huilgol and Rajeshwari [41] and proved the nonexistence of such a cubic DDI graph.
So the graph of order 18 as in [40] shown in Figure 12 is the smallest order cubic DDI graph.
On the other extreme, construction of new DDI graphs from the smaller order/diameter is also interesting and is looked into by Huilgol et al. [23].In this paper many results are discussed for different products and the behavior of DDI graphs with respect to these products.
Theorem 48 (see [23]).If the cartesian product of two graphs  1 and  2 is DDI then both  1 and  2 are DDI graphs.
But the converse is not true, as the cartesian product of the DDI graph represented by Figure 7 and diameter 4 DDI graph of Figure 8 is not a DDI graph.
Lemma 49 (see [23]).Let  1 and  2 be two DDI graphs.Let  = {(  )/  ∈ ( 1 )} and Theorem 50 (see [23]).Let  1 and  2 be any two graphs.Let  be a vertex in  1 and let  be a subset of ( 2 ) such that no two vertices of  have the same distance degree sequence; then, no two vertices of {}× have the same distance degree sequence in  1 ◻ 2 .
Proposition 51 (see [23]).If the normal product  1 ⊕  2 of two graphs is DDI then both  1 and  2 are DDI.
As in the case of cartesian product, the normal product of two DDI graphs need not be DDI and the same example serves the purpose.

Embeddings
Kennedy and Quintas [12] considered the extremality of trees when they are constrained by embedding either in lattice-graphs or in Euclidean spaces.In chemistry, such constraints appear in the form of postulates concerning the minimal energy which can be attained by certain connectivity patterns of atoms in space.This approach offers a framework ensuring a physical theory to remain self-consistent with respect to its embedding space requirements.So given the distance degree sequence of a graph, it is interesting to see whether we can get some information about the embedding properties of the graph.Hence the next natural question will be on embedding a graph in DDR/DDI graph; if not possible, then try to find the forbidden class of subgraphs.In this context two problems were posed by Bloom et al. [36] which are listed below.
Problem 55 (see [36]).Does there exist a pair of nonisomorphic graphs having the same distance degree sequence and such that one of them is nonplanar with a subgraph homeomorphic to  5 and the other graph is planar?
Problem 56 (see [36]).Does there exist a pair of nonisomorphic graphs having the same path degree sequence and such that only one of the graphs is planar?
At the other extreme Huilgol et al. [42] have considered the embedding of DDR and DDI graphs.The following result rules out the forbidden class of subgraphs for DDR graphs by embedding any graph into a DDR graph.
Theorem 57 (see [42]).Any graph can be embedded in a DDR graph.
DDR graphs exhibit high regularity in terms of the vertices and their distance distribution.If we relax one vertex to have different distance degree sequence, then we call such a graph an almost distance degree regular graph, or in short, an ADDR graph.Similarly, we define ADDI graphs.
Definition 58 (see [42]).A graph  of order  is said to be almost DDR if  − 1 vertices have the same distance degree sequence and one vertex with different distance degree sequence.
Definition 59 (see [42]).A graph  of order  is said to be almost DDI if  − 2 vertices have different distance degree sequences and two vertices with the same distance degree sequence.
Embedding in DDI graphs seems not so easy.But Huilgol et al. [42] could embed only cycles, paths in DDI graphs as follows.
Theorem 60 (see [42]).Any path can be embedded in an almost DDI graph.
So the following problems were posed in [42].
Problem 62 (see [42]).Can any graph be embedded in a DDI graph?
One more problem can be posed at this juncture as follows.
Problem 64.Does there exist a self-centered, -regular DDI graph?
We conclude this article with a comment that even though there are numerous examples and results on DDR and DDI graphs available in literature, the characterizations elude.
Hence, many open problems in these areas still persist and keep researchers working.

Figure 2 :
Figure 2: A pair of nonisomorphic trees with the same path degree sequence.

Figure 3 :
Figure 3: Smallest order graphs with the same distance degree sequence.