<?xml version="1.0" encoding="UTF-8"?>

<record version="8" id="2765">
 <title>distance (in a graph)</title>
 <name>DistanceInAGraph</name>
 <created>2002-03-07 12:11:37</created>
 <modified>2007-10-08 09:42:16</modified>
 <type>Definition</type>
 <creator id="8605" name="Cosmin"/>
 <author id="8605" name="Cosmin"/>
 <author id="76" name="digitalis"/>
 <classification>
	<category scheme="msc" code="05C12"/>
 </classification>
 <defines>
	<concept>diameter (of a graph)</concept>
	<concept>radius (of a graph)</concept>
	<concept>central vertex</concept>
 </defines>
 <synonyms>
	<synonym concept="distance (in a graph)" alias="distance"/>
 </synonyms>
 <related>
	<object name="Graph"/>
	<object name="Path"/>
	<object name="Diameter3"/>
	<object name="PathConnected"/>
 </related>
 <preamble>% This is Cosmin's preamble.

% Packages
  \usepackage{amsmath}
  \usepackage{amssymb}
  \usepackage{amsfonts}
  \usepackage{amsthm}
  \usepackage{mathrsfs}
  %\usepackage{graphicx}
  %\usepackage{xypic}
  %\usepackage{babel}

% Theorem Environments
  \newtheorem*{thm}{Theorem}
  \newtheorem{thmn}{Theorem}
  \newtheorem*{lem}{Lemma}
  \newtheorem{lemn}{Lemma}
  \newtheorem*{cor}{Corollary}
  \newtheorem{corn}{Corollary}
  \newtheorem*{prop}{Proposition}
  \newtheorem{propn}{Proposition}

  \newcommand{\bbN}[1]{\mathbb{#1}}
  \DeclareMathOperator{\diam}{diam}
  \DeclareMathOperator{\rad}{rad}

  % Other Commands
    \renewcommand{\geq}{\geqslant}
    \renewcommand{\leq}{\leqslant}
    \newcommand{\vect}[1]{\boldsymbol{#1}}
    \newcommand{\mat}[1]{\mathsf{#1}}
    \renewcommand{\div}{\!\mid\!}</preamble>
 <content>The \emph{distance} $d(x,y)$ of two vertices $x$ and $y$ of a graph $G$ is the length of the shortest path (or, equivalently, walk) from $x$ to $y$. If there is no path from $x$ to $y$ (i.e. if they lie in different components of G), we set $d(x,y) := \infty.$ 

Two basic graph invariants involving distance are the \emph{diameter} $\diam G := \max_{(x,y)\in V(G)^2} d(x,y)$ (the maximum distance between two vertices of $G$) and the \emph{radius} $\rad G := \min_{x\in V(G)} \max_{y\in V(G)} d(x,y)$ (the maximum distance of a vertex from a \emph{central} vertex of $G$, i.e. a vertex such that the maximum distance to another vertex is minimal).</content>
</record>
