Descrizione del progetto
Algoritmi rapidi per un voto multi-vincitore
La scelta sociale computazionale si situa all’incrocio tra la teoria della scelta sociale, l’informatica e l’economia. Considerato che l’efficacia di un particolare sistema di voto è limitata se il calcolo del vincitore di un’elezione necessita di molto tempo, la scelta sociale computazionale si occupa del calcolo efficiente dei risultati delle regole di voto. Il progetto PRAGMA, finanziato dall’UE, studierà le elezioni multi-vincitore per fornire un’adeguata struttura alle applicazioni di voto multi-vincitore in una vasta gamma di casi reali. Il progetto creerà algoritmi nuovi e rapidi per il calcolo dei risultati delle regole di voto multi-vincitore e nuovi linguaggi per specificare le preferenze, conseguendo una comprensione algoritmica e matematica dei dati di preferenza, nonché fornendo algoritmi per l’analisi delle elezioni.
Obiettivo
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.).
Campo scientifico
Parole chiave
Programma(i)
Argomento(i)
Meccanismo di finanziamento
ERC-COG - Consolidator GrantIstituzione ospitante
30-059 Krakow
Polonia