Two-alternative majority rule (source code)

= Two-alternative majority rule

With an odd number of agents and two alternatives, select the alternative ranked first by a strict majority. The rule is onto, <strategyproof>, and for at least three agents has no <dictator in social choice>. A pivotal agent already gets its preferred alternative by reporting truthfully; a nonpivotal agent cannot change the outcome alone.