Независимость альтернатив, доминируемых Смитом ( ISDA , также известная как Smith - IIA ) — это критерий системы голосования , который гласит, что победитель выборов не должен быть под влиянием кандидатов, не входящих в набор Смита . [1]
Другой способ определения ISDA — сказать, что добавление нового кандидата не должно менять победителя выборов, если только этот новый кандидат не победит первоначального победителя, напрямую или косвенно (победив кандидата, который побеждает кандидата, который... который побеждает победителя). [ необходима цитата ]
Пары Шульце и Ранжированные пары независимы от альтернатив, доминируемых Смитом. Любую систему голосования можно заставить удовлетворять ISDA, сначала исключив всех кандидатов за пределами набора Смита, а затем запустив полный алгоритм.
Иногда критерий Смита- IIA можно понимать как независимость от нерелевантных альтернатив, не соответствующих критерию Смита, т. е. ни один проигравший кандидат за пределами множества Смита не может повлиять на результат. [ необходима ссылка ] Это немного отличается от приведенного выше определения тем, что методы, проходящие критерий независимости от нерелевантных альтернатив (но не критерий Смита ), также удовлетворяют этому определению Смита-IIA.
Если критерий подразумевает независимость от альтернатив, не относящихся к Смиту, независимо от того, являются ли они релевантными (т.е. победителями) или нет, то независимость от Смита требует соответствия критерию Смита .
Smith-IIA [ISDA] Определение: Исключение из бюллетеня кандидата, не входящего в набор Смита, не изменит результат выборов. («IIA» здесь означает «независимость от нерелевантных альтернатив».)