> On Sep 14, 2017, at 9:36 PM, Kerim Aydin <ke...@u.washington.edu> wrote: > > > > An endorsement is a type of conditional. Does formalizing the "endorse" mean > other types of conditionals are forbidden? are they allowed outside the list > but not inside? > > For example, would "I vote for {Incumbent if e does X, Someone else if e does > Y, > Third person}" (assuming X and Y are pretty easy to determine) be allowed? > > If not, could you get the same effect by conditionals outside the list, e.g. > "If incumbent does X, I vote {Incumbent, Y}, otherwise I vote {Y, incumbent}.”
I think IRV is easier to resolve, by a considerable margin, if conditionals only apply to the whole ballot. Reasonable conditions can generally be hoisted out of the list the way you describe, so I don’t think barring conditionals within the list does any damage to expressiveness, but it might be that combinatorial explosions for even medium-sized ballots make hoisting impractical. More generally, I think IRV ballots should be able to use the same conditions any other ballot can. If that means dropping ENDORSE from the list, so be it, but I did specifically want to resolve the question of whether {a, ENDORSE n, b} is a valid ballot. -o
signature.asc
Description: Message signed with OpenPGP