Waltz’s Algorithm Factoids
Guaranteed to find unique correct figure labeling if one exists.
If more than one labeling exists, at least one vertex set will have multiple entries; by doing a depth-first exhaustive traversal of the graph you can generate all possible labelings.
Illumination serves to reduce ambiguity.