On 04/04/2010 11:25 AM, Ed Murphy wrote:
I was trying to implement instant runoff voting, e.g. if the votes are 3 for ais523 3 for BobTHJ 2 for comex 1 for (comex, ais523) then the last vote evaluates to ais523.Attempted rewrite: An ordered list of multiple choices is equivalent to a conditional vote for the first choice in the list that could be the outcome, depending on the evaluation of all conditional votes.
This is exactly the issue; multiple such votes would be instantly ambiguous because they depend on each other, and circularity leads to PRESENT - see Rule 2127.
-coppro
