Refinement: Don't determine winner until the end.
C_i is the ith candidate. Initially M is the Identity matrix of size equal to
the number of candidates.
The pairs are ranked in order. Affirm each group of equally ranked pairs in
order, from highest to lowest. To Affirm a group of equally
Candidates are classed in two categories: Winners and Losers. Initially, all
candidates are Winners. C_i is the ith candidate. A matrix M contains how
many times candidates have defeated each other. The element M_ij equals the
number of times that C_i defeats C_j. Initially M is the
