短程线与距离

$u\sim v$, $u$ 与 $v$ 之间长度最短的通路称为短程线.

短程线的长度称为 $u$ 与 $v$ 的距离, 记为 $d(u,v)$.

• $d(u,v)\ge 0$.
• $u\nsim v$ 时, $d(u,v)=\infty$.
• $d(u,v)=d(v,u)$.
• $d(u,v)+d(v,w)\ge d(u,w)$.