Mathematics — Graph Theory · distances-cycle-bound
Problem
Let G be a connected multigraph. Let x, y, z and w be four vertices of G.
Assume that the two largest ones among the three numbers
d(x,y)+d(z,w),d(x,z)+d(y,w)andd(x,w)+d(y,z)
are not equal.
Prove that G has a cycle of length ≤d(x,z)+d(y,w)+d(x,w)+d(y,z).
[Hint: This is a strengthening of Exercise 5.14. Try deriving it by applying the latter exercise to a strategically chosen subgraph of G.]