<div dir="auto"><div>Kris,</div><div dir="auto"><br></div><div dir="auto">Your comments remind me that (if I remember correctly) there is supposed to always exists a Nash equilibrium approval ballot set which elects the sincere CW candidate when one exists. </div><div dir="auto"><br></div><div dir="auto">But a DSV method that finds such an equilibrium (along with its concomitant candidate) would have to satisfy the FBC, since any one voter defecting from that equilibrium to approve her favorite F would get away with it ... if the winner changed at all it would have to change to F.</div><div dir="auto"><br></div><div dir="auto">So all we need is a constructive proof of the alleged Nash Equilibrium existence.</div><div dir="auto"><br></div><div dir="auto">Can someone clear up this mystery?<br><br><div class="gmail_quote" dir="auto"><div dir="ltr" class="gmail_attr">El lun., 18 de abr. de 2022 2:40 a. m., Kristofer Munsterhjelm <<a href="mailto:km_elmet@t-online.de">km_elmet@t-online.de</a>> escribió:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 18.04.2022 02:21, Forest Simmons wrote:<br>
> It is well known that Range Voting, no matter its level of resolution,<br>
> is strategically equivalent to Approval. In particular, this means that<br>
> under perfect information conditions there always exists an optimal<br>
> strategy that makes no use of any intermediate ratings. [However, as in<br>
> Linear Programming, existence of an optimal "corner" solution in no way<br>
> denies the possible existence of other equally optimal non-corner<br>
> solutions.]<br>
> <br>
> Not so well known, but equally true, is that every Condorcet compliant,<br>
> Universal Domain (i.e. RCV) method reduces to  Approval when voters vote<br>
> only at the extremes.<br>
> <br>
> Question 1. Does every perfect information UD Condorcet election have an<br>
> optimal strategy that makes no use of the intermediate rankings? This<br>
> certainly seems to be the tacit assumption of many Designated Strategy<br>
> Voting methods.<br>
<br>
As I understand it, in proper Condorcet methods, it's sometimes useful<br>
to use intermediate rankings because you can both express a preference<br>
for A over B and one for B over C at the same time.<br>
<br>
There are modifications of Condorcet that pass the FBC, e.g. Kevin's ICA<br>
and Mike Ossipoff's ICT and Symmetrical ICT. These work by making<br>
Approval strategy equally-optimal so that if (for the purpose of<br>
contradiction) your favorite is F and compromise is C, then F=C>... can<br>
be no worse then C>... But in so doing, they lose Condorcet efficiency.[1]<br>
<br>
Kevin's simulations of<br>
<a href="http://lists.electorama.com/pipermail/election-methods-electorama.com/2005-June/114476.html" rel="noreferrer noreferrer" target="_blank">http://lists.electorama.com/pipermail/election-methods-electorama.com/2005-June/114476.html</a><br>
seem to indicate that Condorcet methods (at least "advanced" ones like<br>
Schulze) have a low rate of FBC failure. The "Improved Condorcet"<br>
methods would presumably be the flipside of this coin, passing FBC<br>
absolutely but having some (low?) rate of Condorcet failure.<br>
<br>
I also seem to recall that MMPO doesn't reduce to Approval despite<br>
passing FBC, but my memory is not the clearest, so I could be mistaken.<br></blockquote></div></div><div dir="auto"><br></div><div dir="auto">It doesn't, in fact Kevin's first EM post twenty years ago (plus or minus a few months) was MMPO in the context of Approval ballots. His example showed that MMPO does not reduce to approval and (unlike Approval) fails both Plurality and the ballot Condorcet criterion.</div><div dir="auto"><br></div><div dir="auto">My example DSV method M below is a conversion of any RCV style ballot set beta into an approval ballot set M(beta) such that the approval winner of M(beta) is the only possibility for a CW of beta. </div><div dir="auto"><br></div><div dir="auto">Kevin gave a  example to show that method M fails the FBC, and I showed that changing the phrase "is not defeated by" to " is not majority defeated by " makes the method FBC compliant and even preserves the property of the CW getting maximum DSV approval ... but is not decisive because (analogous to Copeland) there is an appreciable chance that the argmaxapproval set will not be a singleton. If you break this DSV approval tie with something like Plurality or Implicit approval, it seems that the CW is not guaranteed to win. So the situation is very similar to ICT and MDDA.</div><div dir="auto"><br></div><div dir="auto">-Forest</div><div dir="auto"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
-km<br>
<br>
[1] A similar trick applied to Borda is Mike's Summed Ranks method.<br>
</blockquote></div></div></div>