Contribution: TortoiseHareAlgorithm
Tortoise and the hare algorithm
Authors
- Jean-Christophe Filliâtre
Description
Correctness proof of Floyd's cycle-finding algorithm, also known as the "tortoise and the hare"-algorithm. See http://en.wikipedia.org/wiki/Floyd's_cycle-finding_algorithm
Keywords
program verification, paths, cycle detection, graphs, graph theory, finite sets, floyd