Description du projet
Des algorithmes rapides pour le vote cumulatif
Le choix social computationnel (COMSOC, pour «computational social choice») se situe au carrefour de la théorie du choix social, de l’informatique et de l’économie. L’efficacité d’un système de vote particulier étant limitée si le calcul du vainqueur d’une élection prend beaucoup de temps, le choix social computationnel porte sur un calcul efficace des résultats en fonction des modalités de vote. Le projet PRAGMA, financé par l’UE, s’intéressera aux élections à vote cumulatif en vue de proposer une structure adéquate pour les applications de vote où plusieurs candidats doivent être élus, dans un large éventail de cas réels. Le projet concevra de nouveaux algorithmes rapides pour le calcul des résultats des votes cumulatifs et de nouveaux langages pour spécifier les préférences, afin de parvenir à une compréhension algorithmique et mathématique des données relatives aux préférences et de proposer des algorithmes d’analyse des élections.
Objectif
This proposal is in the area of computational social choice, an area on the intersection of computer science and economics. We study multiwinner elections, with a focus on a pragmatic approach. Our goal is to provide a principled framework for applying multiwinner voting in various settings that may appear in real-life (ranging from small-scale elections in various institutions, through participatory budgeting settings, to applications directly within computer science). In particular, we are interested in: (a) designing new, fast algorithms for computing the outcomes of multiwinner voting rules (results of such rules are often NP-hard to compute), also for new languages of specifying preferences that are needed in practical settings; (b) obtaining algorithmic and mathematical understanding of preference data; and (c) providing algorithms for analyzing elections and their results. We are interested both in theoretical studies (designing new algorithms, analyzing computational complexity of election-related problems, establishing axiomatic features of multiwinner voting rules, etc.) and in experimental evaluations (finding out running times of algorithms, establishing their approximation ratios, evaluating properties of preference data, etc.).
Champ scientifique
Mots‑clés
Programme(s)
Régime de financement
ERC-COG - Consolidator GrantInstitution d’accueil
30-059 Krakow
Pologne