, :
s t, d(u, v) node u node v.
node X, 2 :
1 , , (2) ( , @user2040251), d(X, s), d(X, t). - , d(X, u), u s t , d(s, t), . , (3), d(s, t).
2, (2), 2 :
2.1 Y. - 1 , , Y , s, t. , X, s, t. , (3), d(s, t).
2.2 , X Z. X Z , X, Z, s, t , , node v X Z, node W s t. X Z - , X, d(X, V) + d(V, W) + d(W, t) < d(X, Z). d(Z, V) + d(V, W) + d(W, s) < d(X, Z). : d(X, Z) > 2d(V, W) + d(s, t) > d(s, t), , s to t - .
, 2.2:
s Z
| |
| |
| |
W-------------V
| |
| |
| |
t X
, :
d(X, V) + d(V, W) + d(W, t) < d(X, Z), X Z - , X;
d(Z, V) + d(V, W) + d(W, s) < d(X, Z), X to Z - , Z;
:
d(X, Z) + 2d(V, W) + d(s, t) < 2d(X, Z)
, d(X, Z) > 2d(V, W) + d(s, t) > d(s, t), .