Il ragionamento automatico restringe i limiti sulla dimensione dell'insieme vincente di Condorcet
Un nuovo preprint su arXiv (2604.19851) indaga il numero minimo di candidati necessario per garantire un insieme vincente di Condorcet nelle elezioni con classifica. Il paradosso di Condorcet mostra che in alcune elezioni nessun singolo candidato può essere un vincitore di Condorcet, e lo stesso vale per comitati di due membri. Lavori recenti dimostrano che esiste sempre un insieme di cinque candidati. Ciò lascia un divario tra il limite inferiore (k≥3) e il limite superiore (k≤5). Gli autori impiegano il ragionamento automatico tramite un programma lineare misto intero (MILP) per cercare controesempi ai limiti ipotizzati, con l'obiettivo di restringere il divario tra garanzie di esistenza e risultati di impossibilità.
Fatti principali
- arXiv:2604.19851v1 è un annuncio di tipo cross.
- Insieme vincente di Condorcet: un comitato di k candidati tale che per qualsiasi candidato esterno, la maggioranza degli elettori preferisce un membro del comitato.
- Il paradosso di Condorcet mostra che alcune elezioni non hanno un vincitore di Condorcet (k=1).
- Non esiste un insieme vincente di Condorcet di dimensione k=2 per alcune elezioni.
- Un insieme di dimensione k=5 esiste per ogni elezione.
- Divario teorico: limite inferiore k≥3, limite superiore k≤5.
- Gli autori utilizzano un programma lineare misto intero (MILP) per cercare controesempi.
- Obiettivo: restringere i limiti tra garanzie di esistenza e risultati di impossibilità.
Entità
Istituzioni
- arXiv