If there is a majority Condorcet winner, any voting system that passes the majority criterion will elect that candidate in a unique strong Nash equilibrium. But the standard version of chicken dilemma involves a non-majority Condorcet winner:<div>

40: X</div><div>35: Y>Z</div><div>25: Z>Y</div><div><br></div><div>Y is the CW, but the victory over Z is non-majority, only 35 to 25, because the X voters are indifferent.</div><div><br></div><div>In that case, and (I believe but haven't proven) all other cases with a CW, rated systems like Approval, Score or (Graduated?) Majority Judgment still have a strong Nash equilibrium for the CW: Y voters top-rate only Y, while Z voters top-rate both Y and Z. The problem is that this is no longer unique; there's another strong Nash equilibrium where Y voters bullet and Z voters compromise, and if both groups shoot for the equilibrium they prefer, the result is a non-equilibrium where the Condorcet loser Z wins.</div>

<div><br></div><div>(SODA mostly solves this problem by forcing candidate X to pre-declare a preference between Y and Z; but that's not the point of this message.)</div><div><br></div><div>My question for the list is: can anyone prove, or give a counterexample for, the proposition that, in IRV, there always  strong Nash equilibrium in which the CW wins? My suspicion is that it's not true, and I'll be looking at scenarios myself to see if I can prove it either way, but I thought I'd open up this interesting puzzle to the list as well.</div>

<div><br></div><div>(This message was inspired by comments on the wikipedia talk page for Voting system.)</div><div><br></div><div>Jameson</div>