| Texto completo | |
| Autor(es): |
Furquim, Felipe V.
;
Dardilhac, Valentin
;
Cordeiro, Daniel
;
Cohen, Johanne
Número total de Autores: 4
|
| Tipo de documento: | Artigo Científico |
| Fonte: | FRONTIERS OF ALGORITHMICS, IJTCS-FAW 2025; v. 15828, p. 14-pg., 2025-01-01. |
| Resumo | |
This work focuses on the strategyproofness of voting systems in which voters select multiple options from a set of possibilities. These systems include those that are used for Participatory Budgeting, where elections are held to determine the allocation of a community budget (e.g., city or regional level) for funding various projects. We present a model for analyzing voting mechanisms and the Constrained Change Property (CCP), which serves as a criterion for designing strategyproof voting mechanisms. Additionally, we define a new concept of a social choice function and leverage it to develop a new class of utilitarian voting mechanisms, referred to as score voting. We prove that the mechanisms designed with core voting with a neutral score function are equivalent to knapsack voting on the same instance. Furthermore, we demonstrate that a score voting mechanism based on a total score function is strategyproof if and only if its score function satisfies CCP. Building on these findings, we propose an algorithm capable of identifying the closest total score function that ensures the strategyproofness of any given score voting mechanism. (AU) | |
| Processo FAPESP: | 23/00811-0 - EcoSustain - Ciência de Dados e Computação para o Meio Ambiente |
| Beneficiário: | Antonio Jorge Gomes Abelém |
| Modalidade de apoio: | Auxílio à Pesquisa - Temático |
| Processo FAPESP: | 21/06867-2 - Aplicações de teoria do escalonamento para otimizar o uso de energia verde em plataformas de nuvens computacionais |
| Beneficiário: | Daniel de Angelis Cordeiro |
| Modalidade de apoio: | Auxílio à Pesquisa - Regular |
| Processo FAPESP: | 24/01115-0 - CCD - Cidades Carbono Neutro |
| Beneficiário: | Liedi Legi Bariani Bernucci |
| Modalidade de apoio: | Auxílio à Pesquisa - Centros de Ciência para o Desenvolvimento |
| Processo FAPESP: | 19/26702-8 - Tendências em computação de alto desempenho, do gerenciamento de recursos a novas arquiteturas de computadores |
| Beneficiário: | Alfredo Goldman vel Lejbman |
| Modalidade de apoio: | Auxílio à Pesquisa - Temático |
| Processo FAPESP: | 25/01171-0 - Centro Internacional de Pesquisa CNRS - USP |
| Beneficiário: | Liviu-Petru Nicu |
| Modalidade de apoio: | Auxílio à Pesquisa - Centros Internacionais de Pesquisa |