Maximize Affirmed Majorities

Maximize Affirmed Majorities (MAM) is a voting method developed by Stephen Eppley that selects a single winner using votes that express each voter's order of preference. MAM also constructs the complete order of finish, and is defined in terms of constructing the "best" order of finish.

A simple summary of it is that it looks at all pairwise matchups, orders them from strongest (largest) to weakest (smallest), and starting from the first defeat, fixes the winner of the pairwise matchup higher in the order of finish than the loser, and repeats this for all successive defeats (if doing this for a particular defeat would contradict a previous fixed ranking, then that defeat is ignored). The winner is the candidate or candidate(s) who are in 1st place in the constructed order of finish.

MAM is a Condorcet method. If there is a candidate X who, for every other candidate Y, is ranked by a majority over Y, then X will be elected. In other words, MAM will place X atop the order of finish. Such a candidate is a Condorcet winner, and requiring it be elected (when it exists) is the Condorcet criterion.

Like many Condorcet methods, MAM always elects a candidate in the Smith set (a.k.a. top cycle), which is the smallest non-empty subset of the candidates such that, for each candidate x in the subset and each candidate y outside the subset, a majority rank x over y. (When there is a Condorcet winner, it alone is in the Smith set.) Requiring that the winner be in the Smith set generalizes the Condorcet criterion to the case where there is not necessarily a Condorcet winner and has a similar justification. With MAM, all candidates in the Smith set finish over all candidates outside the Smith set.

MAM satisfies numerous desirable criteria, including Nicolaus Tideman's independence from clone alternatives, Peyton Young's local independence from irrelevant alternatives, Mike Ossipoff's strong defensive strategy criterion, weak defensive strategy criterion and truncation resistance, and Eppley's immunity from majority complaints. (Only MAM and extremely similar variations satisfy immunity from majority complaints.)

MAM is highly deterministic, satisfying the resolvability and reasonable determinism criteria. To a casual observer, MAM may appear less deterministic than it is. When sorting the majorities into the largest-to-smallest order of precedence, the order in which same-size majorities are sorted would depend on chance. That often won't affect the order of finish. Even when it does affect the order of finish, it often doesn't affect which alternative finishes on top, which is the common standard for evaluating determinism.

Originally MAM was defined as the voting method that finds the order of finish that minimizes the largest "thwarted" majority. (A majority is thwarted if the order of finish does not place their more preferred candidate over their less preferred candidate.) It was originally named "Minimize Thwarted Majorities." The original definition is equivalent (same order of finish) to the quicker procedure with which MAM is more commonly described. (The equivalence is helpful when proving some properties of MAM.) The name was soon changed to MAM to emphasize the positive rather than the negative.

Some people treat MAM as a variation of the Ranked Pairs (RP) voting method invented by Tideman in 1987 and refined by Tideman & Zavist in 1989. However, some differences cause MAM and RP to behave significantly differently. The two most important differences are: (1) RP expects votes to be linear orderings whereas MAM allows weak orderings. (That is, a vote can rank two or more candidates as equals to express indifference between them.) (2) RP subtracts the size of the opposing coalition when measuring the size of each pair, whereas MAM does not subtract the size of the opposing minority when measuring the size of each majority. These differences allow MAM to satisfy desirable criteria that RP fails, making it risky and misleading to treat MAM as just a variant of RP.

There are also some minor differences between MAM and RP: (1) When RP sorts the pairs into its order of precedence, it includes all N2-N ordered pairs, including tied pairs and minorities, whereas MAM sorts only the majorities and ignores minorities & ties completely (except in rare cases, when sorting majorities that are the same size). When votes can be weak orderings, ties may be larger than majorities, which means tied pairs could affect the outcome if included in the order of precedence. (2) Since RP includes ties and minorities in its order of precedence, RP does more tiebreaking during sorting and none later, whereas with MAM there may be a tiebreaking step after the sorted majorities are considered (if more than one alternative is atop the order of finish). (3) Since RP requires votes to be linear orderings, a linear tiebreak order can be had by randomly picking a single vote, whereas MAM, which allows votes to be weak orderings, may need to pick multiple votes to construct the linear tiebreak order. (4) The details of how MAM uses the tiebreak order differ subtly from how Zavist & Tideman's Ranked Pairs uses their tiebreak order, so that MAM completely satisfies the strong Pareto criterion.

MAM has some similarity to the Kemeny-Young voting method (KY), which is also defined in terms of finding the "best" order of finish but defines "best" differently. KY finds the order of finish that maximizes the sum over all pairings of the voters who ranked the pair the same as in the order of finish. Unlike MAM and RP, KY satisfies Young's reinforcement criterion, which requires that if two collections of votes produce the same order of finish, then the order of finish given all the votes must be the same. (This is weaker than the same-named criterion satisfied by the Borda count, which requires that if two collections of votes produce the same winner, then the winner given all the votes must be the same.) KY fails independence of clones in a way that could induce nominations of large numbers of clones, which arguably is much more important than MAM's failure to satisfy reinforcement. A small minority can easily manipulate failures of clone independence since it doesn't take many people to nominate alternatives, whereas election rules can easily prevent a minority from manipulating failures of reinforcement.

Two other voting methods that can be considered close variations of MAM are Maximum Majority Voting (MMV) and River.

One of the main "competing" Condorcet methods is the Schulze method. Many of the criteria listed above that are satisfied by MAM are also satisfied by Schulze. But not local independence of irrelevant alternatives, nor immunity from majority complaints. (Schulze also fails a weaker immunity criterion, immunity from second place complaints, which requires that the candidate that would win if the winner were deleted must not be ranked over the winner by a majority.) When there are three or fewer candidates, MAM and Schulze always elect the same candidate. When there are four or more candidates, computer simulations independently designed by Norm Petry and Steve Eppley have shown that majorities prefer MAM winners over Schulze winners more often than vice versa.

Procedure
Assuming the reader is already familiar with the basic Condorcet concept that there is more than one majority when there are more than two alternatives, the MAM procedure can be briefly summarized: '''Construct the order of finish by considering the majorities one at a time, from largest majority to smallest majority. For each majority, place their higher-ranked candidate over their lower-ranked candidate in the order of finish, unless the lower-ranked candidate is already over the higher-ranked candidate.'''

Simple Examples
EXAMPLE 1. Assume three candidates Left, Center and Right were nominated. Suppose the voters' orders of preference, expressed top to bottom, are as follows:

36%    12%      8%      44%   Left    Center   Center  Right Center Left     Right   Center Right  Right    Left    Left

Not surprisingly, Right is least preferred by voters whose most preferred candidate is Left, and Left is least preferred by voters whose most preferred candidate is Right.

Since there are three candidates, there are three pairings: Left versus Center, Left versus Right, and Center versus Right.

When the votes are counted for each pairing, three majorities are identified: A majority of 64% rank Center over Left: (12% + 8% + 44%) A majority of 56% rank Center over Right: (36% + 12% + 8%) A majority of 52% rank Right over Left: (8% + 44%)

MAM begins with the largest majority, the 64% for Center over Left, and places Center over Left in the order of finish: Center Left Then MAM considers the second largest majority, the 56% for Center over Right, and places Center over Right in the order of finish: Center Left, Right Then MAM considers the third largest majority, the 52% for Right over Left, and places Right over Left in the order of finish: Center Right Left The complete order of finish is Center on top, Right next, and Left at the bottom. Center is elected.

Note that Center would appear least popular using primitive election methods such as plurality rule, top two runoff and Instant Runoff, even though large majorities rank it over the other candidates. This is a primary source of polarization with primitive methods, since candidates who want to win will avoid taking median positions on the issues. Center would win given the most widely used voting method, the one Robert's Rules of Order prescribes for assemblies like committees, councils, and legislatures. The Robert's Rules method is analogous to a single elimination tournament like football playoffs and tennis tournaments. The alternatives are voted on two at a time&mdash;for instance a proposed bill versus a proposed amended bill&mdash;and the loser by majority rule is eliminated, until eventually only one alternative remains. The Robert's Rules method is a Condorcet method and elects a candidate in the Smith set, but is impractical for public elections because it would involve many rounds of voting: expensive to administer, time-consuming for the voters, and costly for the candidates and their donors.

EXAMPLE 2. Assume three candidates Rock, Paper and Scissors were nominated. Suppose the voters' orders of preference are as follows:

40%       35%         25%   Rock       Scissors    Paper Scissors  Paper       Rock Paper     Rock        Scissors

Since there are three candidates, there are three pairings: Rock versus Scissors, Rock versus Paper, and Scissors versus Paper.

When the votes are counted for each pairing, three majorities are identified: A majority of 75% rank Scissors over Paper: (40% + 35%) A majority of 65% rank Rock over Scissors: (40% + 25%) A majority of 60% rank Paper over Rock: (35% + 25%)

MAM begins with the largest majority, the 75% for Scissors over Paper, and places Scissors over Paper in the order of finish: Scissors Paper Then MAM considers the second largest majority, the 65% for Rock over Scissors, and places Rock over Scissors in the order of finish: Rock Scissors Paper Then MAM considers the third largest majority, the 60% for Paper over Rock. Since Rock is already over Paper in the order of finish, MAM does not place Paper over Rock. The complete order of finish is Rock on top, Scissors next, and Paper at the bottom. Rock is elected.

The majority rule heuristic is that the larger the number of people who think an alternative x is better than another alternative y, the more likely it is that x is better than y. (All else being equal.) This is also the basis for treating large majorities as more significant than small majorities. It explains why MAM disregarded the smaller majority who ranked Paper over Rock when their preference conflicted with the preferences of larger majorities. The larger a majority, the stronger is the evidence that their more preferred alternative is better than their less preferred alternative.

The Procedure, In Greater Detail

 * 1) Each voter may rank the candidates from top to bottom (best to worst) and may rank candidates as equals (to express indifference or save time). Such votes are called weak orderings. Candidates omitted from the voter's ranking will be treated as if the voter ranked them at the bottom.
 * 2) When there are more than two candidates, there is more than one possible pairing. For example, if there are three candidates X, Y and Z, there are three pairings: X versus Y, X versus Z and Y versus Z. For each possible pairing of candidates, for instance X versus Y, count how many voters rank X over Y and how many rank Y over X. If the number of voters who rank X over Y exceeds the number who rank Y over X, call this a majority for X over Y (and an opposing minority for Y over X).
 * 3) Sort the majorities from largest majority to smallest majority. This ordering is called the order of precedence of the majorities. The size of a majority is simply the number of voters who ranked their more preferred candidate over their less preferred candidate. (If two majorities are the same size&mdash;rare when there are many voters&mdash;give precedence to the majority opposed by a smaller minority. If two majorities are the same size and their opposing minorities are the same size, resolve those majorities' precedence according to the Random Voter Hierarchy procedure, described below.) Note that the order of precedence will be a linear ordering, so the majorities can be processed one at a time in that order with no ambiguity.
 * 4) Construct the order of finish a piece at the time by considering the majorities one at a time in the order of precedence. (In other words, largest majority first.) For each majority, place their more preferred candidate over their less preferred candidate in the order of finish, unless their less preferred candidate is already over their more preferred candidate.
 * 5) Elect the candidate atop the order of finish. (If the goal is to elect more than one candidate, elect the candidates that finish in the top N places.) After having processed all the majorities, the order of finish will typically be a linear ordering with one candidate over every other candidate; that's the winner. However, in rare cases one or more pairings might have no majority; such a pairing is said to be tied. When one or more pairings is tied, it's possible that two or more candidates can top the order of finish; that is, MAM did not place any of them below any candidates. The simplest example is an election between two candidates where half the voters rank one on top and the other half rank the other on top; since there are no majorities, neither candidate is placed over the other. (Note that this kind of tie can happen with any voting method.) Ties in the order of finish are resolved according to the tiebreak ordering constructed by the Random Voter Hierarchy procedure described below.

Random Voter Hierarchy tiebreak procedure
The Random Voter Hierarchy procedure (RVH) was not invented by Steve Eppley, and MAM is not the only voting method that uses RVH to construct a tiebreak order. For instance, the Schulze method uses RVH too. MAM uses the RVH tiebreak order in a different way. However, many of its properties are relevant to all voting methods that use it.

One notable property is that the tiebreak order is independent of clone alternatives. This allows voting methods that are independent of clones in non-tied cases to use RVH to completely satisfy the "independence of clones" criterion. This matters even in scenarios that are not ties, because people will not know during the nominating phase whether or not there will be a tie later (unless the number of voters is so large that the chance of a tie is negligible). So, if a group of people use a tiebreak scheme that is not independent of clones&mdash;for instance, randomly electing one of the candidates tied for first place&mdash;members of the group will have bad incentives to nominate extra candidates just in case of a tie later. That could turn their elections into farces as many factions try to nominate as many similar candidates as possible, just in case there is a tie later.

There are two cases in MAM where "tiebreaking" is called for: (1) When sorting the majorities from largest to smallest, two or more majorities may be the same size. (2) If one or more pairings is a tie, it is possible that two or more candidates may be tied for first place after MAM has constructed the (partial) order of finish, in the sense that none of those candidates has been placed over all others (yet).

An example of the first case: Suppose the election is between three candidates X, Y and Z. Suppose a majority rank X over Y, a majority rank Y over Z, and both these majorities are the same size. (In a moment we'll get to the third majority, in the X versus Z pairing.) Which of these two majorities is given more precedence when MAM sorts the three majorities into the order of precedence? MAM will use the RVH tiebreak ordering to resolve this, in the manner described below. Note that this "tiebreaking" might not affect which candidate finishes first: If the third majority rank X over Z, then the order of finish does not depend on chance and X wins with certainty. If the third majority rank Z over X and that majority is smaller than the other two majorities, then the order of finish does not depend on chance and X wins with certainty. So, even though the tiebreak procedure involves chance, this does not mean the outcome depends on chance whenever the tiebreak procedure is invoked. If the third majority rank Z over X and that majority is larger than the other two majorities, then chance would affect the winner: X will definitely not win, and Y's chance of winning is greater than Z's because the fact that a majority rank Y over Z makes it more likely that RVH will randomly pick a vote that ranks Y over Z than a vote that ranks Z over Y. (Note that in this 3-candidate scenario where chance affects the winner, each candidate's chance of winning would be the same with MAM, the Schulze method, or several other methods that use the RVH tiebreaker.)

An example of the second case where MAM can use tiebreaking: Suppose the election is between two candidates X and Y, and suppose the number of voters who ranked X over Y equals the number who ranked Y over X. There are no majorities, so the order of precedence of majorities is empty. A tiebreak will be needed to pick one of the two candidates. (This kind of tie can occur with any voting method.) Note that Ranked Pairs would sort the two tied pairs (X over Y and Y over X) into an order of precedence, which would require tiebreaking as in the first case; Ranked Pairs has no second case.

Assuming the votes will be tallied by computer, the simplest way to define the RVH tiebreaking procedure is to assume tiebreaking will always be done, since the extra labor is insignificant for a computer. In other words, prior to sorting the majorities into the largest-to-smallest order of precedence, a tiebreak ordering of the candidates is constructed just in case it will be needed. The tiebreak order is constructed to be a linear ordering&mdash;it contains no ties&mdash;thus it can be used later, if needed, to break any tie.

To construct the tiebreak order, RVH randomly picks one vote at a time and copies its strict preferences into the tiebreak order wherever the tiebreak order isn't already strict, repeating until either the tiebreak order has become a linear ordering or no more unpicked votes remain. For example, suppose the first vote randomly picked ranks A over B, B equal to C, and D at the bottom. RVH places A atop the tiebreak order, D at the bottom, and B & C tied in between. This isn't yet a linear ordering since B & C are at the same position, so another vote is randomly picked, hoping it ranks B over C or C over B. If it does, its preference regarding B & C is incorporated into the tiebreak order, making the order linear (with A still on top and D still at the bottom). On the other hand, if the second vote ranks B=C too, a third vote is randomly picked, etc. Sooner or later, unless every vote ranks B=C, a vote is picked that has a preference between B & C, and the tiebreak ordering is made linear. In the extremely rare but not impossible case that every vote ranks B=C (a situation which could be quickly recognized merely by checking whether both counts in the B versus C pairing are zero) a totally random ordering of the candidates is constructed and its relative ranking of B & C is used to make the tiebreak ordering linear. (For simplicity, this totally random ordering can be constructed at the very beginning in case it will be needed later, and reused each time it's needed. On the other hand, for efficiency's sake the totally random ordering can be constructed only when needed, which would be almost never.)

If each vote were required to be a linear ordering (which Ranked Pairs and some other methods require) then RVH is equivalent to simply randomly picking a single vote and using it as the tiebreak order. In the literature of social choice theory, this scheme is named Random Dictator (which unfortunately has a negative connotation). Although it would simplify tiebreaking, requiring each vote to be a linear ordering would have significant consequences&mdash;failure of important criteria&mdash;and is not recommended.

Now that we've discussed how RVH constructs the tiebreak order, here are the two ways MAM can use the tiebreak order:

Suppose that when sorting the majorities into the largest-to-smallest order of precedence, two majorities are the same size, for example both are 52% of the voters. Which should be given more precedence? If their opposing minorities are not also the same size, the majority opposed by the smaller minority is given precedence, and RVH is not needed. Suppose however that the opposing minorities are also the same size, for example both are 47% of the voters. (Since 52% + 47% is 99%, in both pairings 1% must have expressed indifference.) For clarity, let's say the two majorities are the majority that ranked X over Y and the majority that ranked W over Z. (It is possible that X is W or Z, or that Y is W or Z, so we might be dealing with only 3 distinct candidates even though 4 letters are being used. For instance, a majority that ranked X over Y might be the same size as a majority that ranked Y over Z, in which case the labels Y and W refer to the same candidate.) There are two possible cases: either Y is Z or Y is not Z. If Y is not Z, the order of precedence of the two majorities depends on the relative ranking of Y & Z in the tiebreak ordering: If the tiebreak ordering ranks Z over Y, give precedence to the X over Y majority; else give precedence to the W over Z majority. If Y is Z, the order of precedence of the two majorities depends on the relative ranking of X & W in the tiebreak ordering: If the tiebreak ordering ranks X over W, give precedence to the X over Y majority; else give precedence to the W over Z majority. (Note that this differs slightly from the tiebreaking scheme Zavist & Tideman specified for Ranked Pairs. If MAM used Zavist's tiebreaker, MAM would not completely satisfy the strong Pareto criterion.)

Next we examine the other case where MAM invokes tiebreaking. Suppose the order of finish is not a linear ordering after MAM has considered all the majorities (one majority at a time in their order of precedence). If some pairs are ties, the order of finish might be only a partial ordering at this point. In particular, suppose two or more candidates were not placed below any candidates. Typically a single winner needs to be elected, so tiebreaking is needed, and the tiebreak order constructed by RVH is used. Taking those candidates that MAM didn't place below any other, the winner is the one ranked over the others by the tiebreak order. In this manner, the entire order of finish can be made into a linear order (if needed, and assuming it is not already linear) iteratively, by resolving the topmost remaining ties according to their positions in the RVH tiebreak order (one tied candidate per iteration).

Although it's simpler to define MAM and RVH so a computer will construct the tiebreak order before sorting the majorities just in case it will be needed, for the sake of efficiency the tiebreak order can be constructed only when needed. Also, its linearity only needs to be ironed out as far as needed to resolve the particular tie(s) encountered. In the example above in which the first randomly picked vote ranked A over B=C over D, this weak ordering suffices to break ties involving A & B or A & C or A & D or B & D or C & D. So, for example, if a majority who ranked A over B is the same size as a majority who ranked C over D, the two majorities' relative precedence can be determined, which means it's unnecessary to randomly pick a second vote. B is over D in the partially constructed tiebreak ordering, so the C over D majority is given precedence over the A over B majority.

There are other reasonable tiebreakers that don't involve randomness. In some scenarios it may be okay to distinguish the voters according to a property like seniority. Rather than picking votes randomly one at a time to construct the tiebreak order, votes can be picked in order of seniority. Similarly, it may be okay to treat the chairperson of a committee in a special way, requiring him/her to submit a vote that is a linear ordering, which would be used as the tiebreak order if needed. Both of these schemes violate the anonymity criterion (which requires no voter be given special treatment) but strict anonymity isn't important when it's only violated to resolve ties. This variation of MAM would still completely satisfy independence of clones and the other criteria MAM satisfies (except anonymity). Of course, these schemes can't be used in elections that have secret ballot.

Another way to avoid randomness is to distinguish between candidates in a nonrandom way. For instance, the tiebreak order could simply be the order in which the alternatives were nominated. (Continuing the status quo would typically top the tiebreak order, if it's an alternative.) This violates the neutrality criterion (which requires no alternative be given special treatment). This variation of MAM might not completely satisfy independence of clones, but it comes close and it would be difficult to manipulate the failures.

Variations on preference order voting
When there are many candidates, some voters may have trouble ranking them in a meaningful order; some voters may neglect to rank some good compromise over worse candidates, some other voters may neglect to rank another good compromise over worse candidates, etc., allowing a worse candidate to win. Or the voting technology may be so primitive in an underdeveloped country that voters can't rank the candidates on ballots readable by machine. In both scenarios, it's possible to provide a shortcut: Prior to election day, each candidate publishes a top-to-bottom ordering of the candidates. (Presumably each candidate will place him/herself at the top.) On election day, each voter simply selects one candidate, then each vote is treated as if it were the ordering published by the selected candidate. This collection of "indirectly" voted rankings can then be tallied by MAM (or by some other voting method).

Technology permitting, a hybrid of the two systems could be used. After the voter selects a candidate, the ordering the candidate published would be displayed to the voter. Then the voter could rearrange it if desired, perhaps using drag&drop, before submitting it as her vote.

MAM voting on ballot propositions
Traditionally, propositions placed on a public ballot are voted on by expressing Yes or No; a proposition passes if it receives more Yes votes than No votes. This method breaks down if two or more propositions are being voted on if they conflict in a way such that they can't all pass. For example, in the 1990s the Los Angeles Charter Reform Commission placed two propositions on the ballot. One would increase the size of the city council from 15 to 21, the other would increase it to 25. That created a strategy problem and muddled the results. Before the election, the L.A. Times opined that both 21 and 25 would be better than 15, yet recommended voting No on 21 because they preferred 25. Many voters who considered both 21 and 25 better than 15 may have voted No on 21, causing it to fail. It will never be known if a majority preferred 21 over 15.

A solution is to vote on the entire set of propositions using MAM, regardless of whether the propositions conflict with each other. In addition, continuing the status quo would be an alternative that voters could include in their orders of preference. (It might be given a label like "None of the Rest" if that would be less confusing.) The propositions that pass would be the ones that finish higher than the status quo, that do not conflict with any that finish even higher and also pass.

MAM in U.S. presidential elections
Assuming the Electoral College is not eliminated, methods like MAM could be used in presidential elections if candidates may withdraw from contention after election day, before the states decide which delegates go the EC. Candidates could withdraw to allow a similar or compromise candidate to achieve a majority of the EC. (A withdrawal option could be useful in many kinds of elections, since it would permit candidates to thwart voting strategies.)

MAM with a supermajority requirement
In some situations, a very large majority may be required to enact certain changes. For instance, a 3/4 supermajority might be needed to amend a group's charter. Continuing the status quo is a highly privileged alternative. What voting method should be used if more than one change is proposed, and the changes conflict so they can't all pass? They can be voted on using MAM. (Continuing the status quo would be an alternative too.) If the status quo tops the order of finish, or if the alternative that tops the order of finish isn't ranked over the status quo by a sufficiently large supermajority, then the status quo wins. Otherwise the alternative atop the order of finish wins (and becomes the new status quo).

Mike Ossipoff's restatement of MAM
User:MichaelOssipoff proposed the following definition of MAM, which is copied here from the for MAM page

1. X beats Y iff the number of ballots ranking X over Y is greater than the number of ballots ranking Y over X.

2. If X beats Y, then there is said to be a "defeat" of Y, by X. "XY" refers to that defeat.

3. XY is "stronger" than AB iff the number of ballots ranking X over Y is greater than the number of ballots ranking Y over X.

...but if those numbers are equal, then XY is stronger than AB iff the number of ballots ranking B over A is greater than the number of ballots ranking Y over X.

If neither XY nor AB is stronger than the other, then they're "equal".

4. A "cycle" is a sequence of defeats in which each defeat's defeated candidate is the defeating candidate in the next defeat, and in which the sequence's initial defeating candidate is the defeated candidate in the sequence's last defeat.

5. A defeat "contradicts" a set of other defeats iff it is in a cycle consisting only of it and them.

6. A defeat is a "discarded defeat" iff it contradicts a set of not-discarded defeats each of which is either stronger than it, or equal to it and above it in the "dominance-order".

7. How to determine two defeats' dominance-order:

...a) Randomly choose one of the election's ballots. It will be referred to as the "comparison-ballot", and used as such for entire count, for all defeat-dominance-order comparisons.

...b) If XY and AB are equal (neither stronger than the other, as defined above), then XY is above AB in the dominance order iff B is ranked higher than Y on the comparison ballot.

...c) ...but if the comparison-ballot ranks Y and B equal (at the same rank-position), then XY is above AB in the dominance-order iff X is ranked higher than A on the comparison-ballot.

...d) If XY and AB are equal, and if, by b) and c), neither XY nor AB is above the other in the dominance-order, then randomly choose another ballot as the comparison-ballot, for the purpose of comparing XY and AB with regard to dominance-order.

8. A candidate wins if s/he has no not-discarded defeats.

External Resources

 * The Maximize Affirmed Majorities voting procedure (MAM)
 * A mailing list containing technical discussions about election methods
 * Ranked Pairs
 * Accurate Democracy
 * Maximum Majority Voting page on https://RadicalCentrism.org (archived copy: radicalcentrism.org/majority_voting.html
 * "Maximum Majority Voting" seems to be a slightly different system.
 * Descriptions of ranked-ballot voting methods
 * Voting methods resource page