La independencia de las alternativas dominadas por Smith ( ISDA , también conocida como Smith- IIA ) es un criterio del sistema de votación que dice que el ganador de una elección no debe verse afectado por candidatos que no están en el conjunto de Smith . [1]
Digamos que clasificamos a todos los candidatos en una elección en dos categorías, favoritos y no favoritos , donde cada candidato del grupo de favoritos derrota a todos los candidatos del grupo de no favoritos. Entonces, la independencia de las alternativas dominadas por Smith dice que siempre es posible eliminar a todos los candidatos del grupo de no favoritos sin cambiar el resultado de la elección.
Otra forma de definir ISDA es decir que agregar un nuevo candidato no debería cambiar el ganador de una elección, a menos que ese nuevo candidato venza al ganador original, ya sea directa o indirectamente (venciendo a un candidato que vence a un candidato que... que vence a el ganador).
Schulze y las parejas clasificadas son independientes de las alternativas dominadas por Smith. Se puede obligar a cualquier sistema de votación a satisfacer ISDA eliminando primero a todos los candidatos fuera del conjunto de Smith y luego ejecutando el algoritmo completo.
A veces se puede interpretar que Smith- IIA significa independencia de alternativas irrelevantes no Smith, es decir, que ningún candidato perdedor fuera del conjunto de Smith puede afectar el resultado. [ cita necesaria ] Esto difiere ligeramente de la definición anterior, en que los métodos que pasan la independencia de alternativas irrelevantes (pero no el criterio de Smith ) también satisfacen esta definición de Smith-IIA.
Si se considera que el criterio significa independencia de alternativas no Smith, independientemente de si son relevantes (es decir, ganadoras) o no, la independencia de Smith requiere pasar el criterio de Smith .
Smith-IIA [ISDA] Definición: Eliminar de la boleta a un candidato que no es miembro del conjunto de Smith no cambiará el resultado de la elección. ("IIA" aquí significa "independencia de alternativas irrelevantes".)