Use four vertices, with lengths , , and every other non-loop arc of length . The two arcs between and form a negative-length cycle in a graph. For , , ,
The recurrence would give , by concatenating and . That walk repeats , so it is not a simple graph path. Every simple graph path from to still has length at least zero, attained by . Thus
a strict inequality in part (a).

Articles by others on the same topic (0)

There are currently no matching articles.