Criterio de resolución

Un sistema de votación se denomina decisivo , resoluble o resuelto si garantiza una baja probabilidad de empates electorales. Existen dos criterios diferentes que formalizan esto. ^{[ 1 ]}

• En la versión del criterio de Nicolaus Tideman , añadir un voto extra (sin empates) debería hacer que el ganador sea único.
• La versión de Douglas R. Woodall requiere que la probabilidad de un empate en un modelo de cultura imparcial se aproxime a cero a medida que el número de votantes aumenta hacia el infinito.

Una función de elección social no resoluble suele considerarse únicamente un método electoral parcial , a veces denominado correspondencia de votación o regla de votación con valores de conjunto . Estos métodos suelen requerir criterios de desempate que pueden afectar sustancialmente el resultado. Sin embargo, los métodos no resolubles pueden utilizarse como primera etapa para eliminar candidatos antes de que se resuelvan los empates con algún otro método. Entre los métodos que se han utilizado de esta manera se incluyen el conjunto de Copeland , el conjunto de Smith y el conjunto de Landau .