Un sistema de votación se denomina decisivo , resoluble o resolutivo si garantiza una baja probabilidad de elecciones empatadas. Existen dos criterios diferentes que lo formalizan. [1]
Una función de elección social no resoluble suele considerarse solo un método electoral parcial , a veces llamado correspondencia de votación o regla de votación con valores establecidos . Dichos métodos requieren frecuentemente desempates que pueden afectar sustancialmente el resultado. Sin embargo, los métodos no resolubles pueden utilizarse como una primera etapa para eliminar candidatos antes de que se desempaten con algún otro método. Los métodos que se han utilizado de esta manera incluyen el conjunto de Copeland , el conjunto de Smith y el conjunto de Landau .