FJR+ Rafforza la Proporzionalità nelle Elezioni di Comitato
Un recente articolo su arXiv presenta FJR+, una versione potenziata dell'assioma di rappresentanza giustificata piena (FJR) adattata per elezioni di comitato basate su approvazione, che può essere verificata e soddisfatta in tempo polinomiale. Lo studio, intitolato 'Rafforzare la Rappresentanza Giustificata Piena: Verifica e Calcolo Efficienti' (arXiv:2608.11500), esamina l'algoritmo Residual-Budget Greedy (RBG), dimostrando che può formare un comitato parziale dove ogni completamento di dimensione k aderisce a FJR+. Ciò consente l'applicazione del metodo sequenziale di Phragmén per ottenere un completamento prezzabile. La regola stabilita soddisfa sempre FJR+ e i requisiti del sub-core, essendo prezzabile quando almeno k candidati sono approvati. Inoltre, l'articolo introduce una variante con quota di Droop di FJR+ e estende FJR+ al bilancio partecipativo basato su approvazione con costi di progetto variabili.
Fatti principali
- FJR+ è un rafforzamento rigoroso di FJR e EJR+ che può essere verificato e soddisfatto in tempo polinomiale.
- L'algoritmo Residual-Budget Greedy (RBG) seleziona un comitato parziale tale che ogni completamento di dimensione k soddisfi FJR+.
- Il metodo sequenziale di Phragmén può essere utilizzato per ottenere un completamento prezzabile.
- La regola risultante soddisfa sempre FJR+ e il sub-core.
- La regola è prezzabile ogni volta che almeno k candidati ricevono un'approvazione.
- Viene ottenuta anche una versione con quota di Droop di FJR+.
- FJR+ è esteso al bilancio partecipativo basato su approvazione con costi di progetto arbitrari.
- L'articolo è disponibile su arXiv con identificatore 2608.11500.
Entità
Istituzioni
- arXiv