La Máquina de Votar hace tangible la teoría de la elección social. Los votantes son puntos en un espacio ideológico 2-D (económico I→D, social ↑); cada uno ordena a los candidatos A–E por proximidad, produciendo una papeleta completa por ranking a partir de pura geometría. Esas mismas papeletas se escrutan luego de cuatro formas distintas — Mayoría simple, Borda, Condorcet, Voto alternativo — y el ganador cambia con la regla de recuento. La lección: la regla no es un cauce neutral. Puede ganar un candidato que la mayoría rechaza, un casi clon puede hacer de spoiler, y las mayorías pareadas pueden formar un ciclo sin ganador alguno — el teorema de imposibilidad de Arrow (1951), hecho arrastrable.
Parámetros — cómo usarlos
Mayoría simple
El control estrella — cambia cómo se cuentan las mismas papeletas. Mayoría simple cuenta solo las primeras opciones; Borda da puntos posicionales (premia la aceptabilidad amplia); Condorcet busca el candidato que vence a todos en cara a cara (y puede no encontrar ninguno); el Voto alternativo elimina repetidamente al último y transfiere los votos. Recorre los cuatro en una disposición disputada y observa cómo el ganador marcado con el anillo salta entre candidatos.
Borda
Borda otorga puntos posicionales en cada papeleta — la primera opción suma más, la última cero — así que premia la aceptabilidad amplia por encima de una minoría apasionada. Mira cómo corona a un candidato de consenso que Mayoría simple enterró, sobre todo cuando dos casi clones se reparten un bloque.
Condorcet
Condorcet busca el candidato que vence a todos los demás en cara a cara — y puede no encontrar ninguno, mostrando un ciclo literal (A→B→C→A) cuando las mayorías pareadas son intransitivas. Cuando sí hay ganador de Condorcet, el indicador de Acuerdo te dice si los otros métodos coinciden con él.
Voto alternativo
El Voto alternativo (IRV o segunda vuelta instantánea) recuenta solo las primeras opciones entre los candidatos supervivientes, elimina al último y transfiere esas papeletas a su siguiente opción hasta que alguien alcanza mayoría. Pruébalo en la disposición spoiler inicial: los votos transferidos del casi clon suelen cambiar el ganador.
Votantes
Tamaño de la nube de votantes (50–600). Bájalo a 50 y los empates exactos se vuelven comunes — verás el indicador de Ganador marcar "(empate→lado A)" cuando entra el desempate determinista por índice menor. Súbelo a 600 para suavizar las regiones de apoyo y hacer los empates raros. Usa Nuevo sorteo de votantes para generar un electorado nuevo de este tamaño.
Candidatos
Número de candidatos en el mapa (2–5). Déjalo en 3 — el mínimo para producir un ciclo de Condorcet o un spoiler. Sube a 4–5 para abarrotar el espacio y hacer que los cuatro métodos discrepen más a menudo. La semilla inicial de 3 candidatos ya planta un casi clon de A a la izquierda para demostrar la división del voto.
Nuevo sorteo de votantes
Lanza una nube de votantes uniforme y nueva manteniendo fijos los candidatos. Púlsalo repetidamente con Mayoría simple para ver cuánto depende el ganador de la suerte del sorteo del electorado frente a la geometría de los candidatos.
Restablecer candidatos
Devuelve a los candidatos a la disposición inicial integrada — una configuración spoiler deliberada con dos casi clones repartiéndose el bloque izquierdo. Úsalo para volver a una discrepancia conocida después de arrastrar candidatos, y luego cambia de método para comparar.
Arrastra un candidato para moverlo
Haz clic y arrastra cualquier marcador de candidato por el espacio ideológico; los cuatro escrutinios se recalculan en vivo (sin reloj). Arrastra al casi clon B justo encima de A con Mayoría simple y mira cómo se reparten la izquierda y regalan la victoria al candidato de la derecha — luego cambia a Condorcet/Borda y verás desvanecerse el efecto spoiler.
En qué fijarse
El anillo naranja marca al ganador según el método elegido; los puntos de votantes se tiñen del candidato que favorecen ahora mismo, así que al arrastrar se deslizan las regiones de apoyo tipo Voronoi. El indicador "Ganador de Condorcet" muestra al campeón de los cara a cara, o un literal "ciclo A→B→C→A" cuando las mayorías pareadas son intransitivas — la paradoja visible. "Acuerdo" te dice si el método elegido coincide con el ganador de Condorcet: una ✗ (spoiler) significa que la regla de recuento, no el electorado, eligió al ganador.