formula_44が空集合の場合、formula_50上のformula_3とformula_4を結ぶ最短経路は明らかに次のようになる。