Degree Diameter Problem
   HOME

TheInfoList



OR:

In
graph theory In mathematics and computer science, graph theory is the study of ''graph (discrete mathematics), graphs'', which are mathematical structures used to model pairwise relations between objects. A graph in this context is made up of ''Vertex (graph ...
, the degree diameter problem is the problem of finding the largest possible
graph Graph may refer to: Mathematics *Graph (discrete mathematics), a structure made of vertices and edges **Graph theory, the study of such graphs and their properties *Graph (topology), a topological space resembling a graph in the sense of discret ...
(in terms of the size of its vertex set ) of
diameter In geometry, a diameter of a circle is any straight line segment that passes through the centre of the circle and whose endpoints lie on the circle. It can also be defined as the longest Chord (geometry), chord of the circle. Both definitions a ...
such that the largest degree of any of the vertices in is at most . The size of is bounded above by the Moore bound; for and , only the
Petersen graph In the mathematical field of graph theory, the Petersen graph is an undirected graph with 10 vertices and 15 edges. It is a small graph that serves as a useful example and counterexample for many problems in graph theory. The Petersen graph i ...
, the Hoffman-Singleton graph, and possibly graphs (not yet proven to exist) of diameter and degree attain the Moore bound. In general, the largest degree-diameter graphs are much smaller in size than the Moore bound.


Formula

Let n_ be the maximum possible number of vertices for a graph with degree at most ''d'' and diameter ''k''. Then n_\leq M_, where M_ is the Moore bound: :M_ = \begin1 + d\frac & \textd>2 \\ 2k+1 & \textd=2\end This bound is attained for very few graphs, thus the study moves to how close there exist graphs to the Moore bound. For asymptotic behaviour note that M_ = d^k + O(d^). Define the parameter \mu_k=\liminf_\frac. It is
conjecture In mathematics, a conjecture is a conclusion or a proposition that is proffered on a tentative basis without proof. Some conjectures, such as the Riemann hypothesis or Fermat's conjecture (now a theorem, proven in 1995 by Andrew Wiles), ha ...
d that \mu_k=1 for all ''k''. It is known that \mu_1=\mu_2=\mu_3=\mu_5=1 and that \mu_4\geq 1/4.


See also

*
Cage (graph theory) In the mathematics, mathematical field of graph theory, a cage is a regular graph that has as few vertex (graph theory), vertices as possible for its girth (graph theory), girth. Formally, an is defined to be a graph (discrete mathematics), gra ...
* Table of the largest known graphs of a given diameter and maximal degree * Table of vertex-symmetric degree diameter digraphs * Maximum degree-and-diameter-bounded subgraph problem


References

* * * * * Computational problems in graph theory Graph distance {{graph-stub