[EM] Automatic LIIA Independent of Locking Order

[Gustav Thorzen]

On Fri, 1 May 2026 16:28:54 +0000 (UTC)
Toby Pereira <tdp201b at yahoo.co.uk> wrote:

>  I'm not sure if this relates to your question at all, but any method can easily be converted to an LIIA-passing method, without changing the winner. Instead of using the method's "natural" finishing order, declare just the winner initially and then for 2nd place, remove the winner from the process and find the new winner and declare them to be 2nd, and so on.

It is still a nice possibility theorem to learn that LIIA is trivial to obtain
at the expense of extra computation to produce the candidate ordering,
multiplying by an O(Number of candidates) factor.

Actually, do we really get LIIA that way?
Because if we do get LIIA this way,
then any base method which fails ISDA but satisfy Majority,
including all Condorcet and Mutual Majority methods,
should now be passing ISDA, without changing the winner.
(Can this procedure remove Majority criterion compliance?)
The electowiki page
https://electowiki.org/wiki/Local_independence_of_irrelevant_alternatives
should include this either way.

Gustav