[EM] A completely idiotic Instant Runoff Voting (IRV) election

[Kristofer Munsterhjelm]

C.Benham wrote:

> Kristofer M. wrote:
> 
>> I don't think so. For the first two ballot groups, you have X = 9, Y = 
>> 1, Z = 0, but then you change them to X = 9, Y = 8, Z = 0 for the last.
>>   
> 
> So what does the phrase  "not all equal" refer to then?

It means that you can't assign the same value to all the variables -- if 
you were to do so, the result would always be a tie.

In other words, it is the constraint that at least one of the following 
must be true:

X != Y
X != Z
Y != Z

where != is the not-equals operator.