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 . Thusa strict inequality in part (a).
Articles by others on the same topic
There are currently no matching articles.