Coombs Ex.17 — Ranked Robin: the Condorcet winner Arlo¶
Generated from bv2164_xbqq8t_ranked_robin.yaml — do not edit by hand. Regenerate: python STARVote_LH_tabulation_engine/tools_adam/scripts/build_yaml_pages.py.
Method: Ranked Robin (RCV-RR / Copeland) · 1 seat · Expected winner: Arlo
▶ Live on BetterVoting: vote · results ↗ (election xbqq8t · test BV2164).
Scenario¶
Race 3 of 3 in the Coombs Condorcet-failure election (BV2164, bvid xbqq8t; BV-confirmed). Source: Dan S. Felsenthal (2010), Appendix A7, Example 17 — see bv2164_xbqq8t_star.yaml for the setup. The same 33 rankings counted by Ranked Robin (Copeland): Arlo wins every head-to-head (Bree 19–14, Cole 17–16, Dana 17–16) — the Condorcet winner, elected directly. The irony this case teaches: Coombs deletes candidates for being ranked LAST by many, and Arlo — everyone's pairwise favorite — is also the most-frequent last choice (12 ballots), so Coombs deletes the Condorcet winner FIRST. Felsenthal conjectures four candidates are the minimum for this failure. Live results: https://bettervoting.com/xbqq8t/results
Ballots¶
Each row is one voter's ranking, most-preferred first (N: prefix = N identical ballots).
11:Arlo>Bree>Cole>Dana
12:Bree>Cole>Dana>Arlo
2:Bree>Arlo>Dana>Cole
4:Cole>Arlo>Dana>Bree
4:Dana>Arlo>Bree>Cole
What the engine says¶
The count, step by step — the rounds and how the winner is reached:
--- Ranked Robin (RCV-RR / Copeland) Method (single winner) ---
Tabulating 33 ballots (ranked ballots).
Ballots:
11 × Arlo > Bree > Cole > Dana
12 × Bree > Cole > Dana > Arlo
2 × Bree > Arlo > Dana > Cole
4 × Cole > Arlo > Dana > Bree
4 × Dana > Arlo > Bree > Cole
Round-Robin — every pair, head-to-head (For – Against):
Arlo beats Bree 19 – 14
Arlo beats Cole 17 – 16
Arlo beats Dana 17 – 16
Bree beats Cole 29 – 4
Bree beats Dana 25 – 8
Cole beats Dana 27 – 6
--- Pairwise (Round-Robin) Matrix ---
Head-to-head / pairwise comparison — the Ranked Robin tally
Legend: For - Equal Support - Against (row vs column)
| Arlo | Bree | Cole | Dana |
-------------------------------------------------------------------
Arlo > | --- |19 - 0 - 14 |17 - 0 - 16 |17 - 0 - 16 |
Bree > | 14 - 0 - 19 | --- |29 - 0 - 4 |25 - 0 - 8 |
Cole > | 16 - 0 - 17 | 4 - 0 - 29 | --- |27 - 0 - 6 |
Dana > | 16 - 0 - 17 | 8 - 0 - 25 | 6 - 0 - 27 | --- |
Win–loss record — Copeland score = wins + ½·ties (highest score wins; ties broken by total margin, then lot order):
# Candidate W–L–T Copeland Margin Beats
1 Arlo 3–0–0 3 +7 Bree, Cole, Dana
2 Bree 2–1–0 2 +37 Cole, Dana
3 Cole 1–2–0 1 -5 Dana
4 Dana 0–3–0 0 -39 —
Winner — Ranked Robin (RCV-RR): Arlo
beats every opponent head-to-head — the Condorcet winner.
Full audit — preference matrix, Condorcet, and score distribution¶
--- Smith Set (the generalized Condorcet winner) ---
The smallest group whose every member beats every candidate outside it —
the honest answer to "who is even in contention?".
Smith set (1 of 4): Arlo
Outside (3): Bree, Cole, Dana
One member ⇒ Arlo is the Condorcet winner, beating every rival head-to-head.
Ranked Robin (RCV-RR) winner Arlo is INSIDE the Smith set. ✓
Guaranteed: Ranked Robin (Copeland) is Smith-efficient — every member of
the set outscores every outsider, so the top of the win–loss table is
always inside the set, however the tie among them is then broken.
More: 07_Concepts/topics/smith_set.md
Everything in one file: the _tabulated mirror (regenerated on every run; every analysis forced on).
Run it yourself:
python STARVote_LH_tabulation_engine/starvote_larry_hastings.py method_comparisons/felsenthal_paradoxes/cases/bv2164_xbqq8t_ranked_robin.yaml
See also¶
More cases in this set: bv2144_mxfmhm_plurality · bv2144_mxfmhm_star · bv2145_6fj2kg_irv · bv2145_6fj2kg_ranked_robin · bv2145_6fj2kg_star · bv2146_krk2px_irv · bv2146_krk2px_ranked_robin · bv2146_krk2px_star · bv2147_9gdrqg_irv · bv2147_9gdrqg_star · bv2148_h87k6v_irv · bv2148_h87k6v_star · bv2149_byk9v2_irv · bv2149_byk9v2_star · bv2150_dxg8pb_irv · bv2150_dxg8pb_ranked_robin · bv2150_dxg8pb_star · bv2151_97hbpw_irv · bv2151_97hbpw_ranked_robin · bv2151_97hbpw_star · bv2152_r6ctvy_approval · bv2152_r6ctvy_ranked_robin · bv2153_pcttmr_approval · bv2153_pcttmr_irv · bv2153_pcttmr_ranked_robin · bv2154_wq6yv7_approval · bv2154_wq6yv7_irv · bv2154_wq6yv7_ranked_robin · bv2160_r6qc8h_plurality · bv2160_r6qc8h_star · bv2161_q3h4fk_plurality · bv2161_q3h4fk_star · bv2162_4htk44_irv · bv2162_4htk44_ranked_robin · bv2162_4htk44_star · bv2163_74j6vv_irv · bv2163_74j6vv_ranked_robin · bv2163_74j6vv_star · bv2164_xbqq8t_plurality · bv2164_xbqq8t_star · bv2165_9vxcj7_plurality · bv2165_9vxcj7_star · bv2166_b7b8dv_plurality · bv2166_b7b8dv_star · bv2167_f3dxq9_plurality · bv2167_f3dxq9_star · coombs_ex18_monotonicity · coombs_ex20_amalgamated · coombs_ex20_district1 · coombs_ex20_district2 · coombs_ex21_twin_after · coombs_ex21_twin_before · coombs_ex22_scc · felsenthal_ex6_pareto_approval · felsenthal_ex6_ranked_robin · minimax_ex30_noshow_after · minimax_ex30_noshow_before · minimax_ex31_truncation · minimax_ex32_amalgamated · minimax_ex32_district2 · minimax_ex33_scc · succ_elim_ex10_amalgamated · succ_elim_ex10_district1 · succ_elim_ex10_district2 · succ_elim_ex11_twin_after · succ_elim_ex11_twin_before · succ_elim_ex12_sincere · succ_elim_ex12_truncated · succ_elim_ex9_noshow · succ_elim_ex9_pareto