CLRS 22.1-6

Determine whether a directed graph G contains a universal sink