outgoing edge) the vertices of which are the elements of and the edges of which map an element to the corresponding function value, as shown in the figure. The set of vertices reachable from starting vertex form a subgraph with a shape resembling the Greek letter rho : a path of length from to a cycle of vertices.

Practical cycle-detection algorithms do not find and exactly. They usually find lower