PPT Slide
(ii) Advancing edge matches
Edge A at first is matched against edge C. The first possible matching for edge B
is against edge D. It is inconsistent with matching of A, the next position we try
for A must be consistent with current matching for B.