Otimizar o Orçamento Participativo de Barcelona — O Algoritmo de Mochila do Decidim Supera a Seleção por Ordenação

A plataforma Decidim de Barcelona gere o processo de orçamento participativo da cidade: os residentes submetem propostas, uma análise técnica filtra-as quanto à viabilidade, e os cidadãos votam numa lista restrita que é financiada de forma descendente por número de votos ('rank and select') até esgotar o orçamento. Investigadores do Instituto de Investigação em Inteligência Artificial (IIIA-CSIC) e da Universidade de Barcelona argumentaram que este método desperdiça orçamento em folgas parcialmente financiadas e sub-seleciona propostas menores com apoio semelhante.

No âmbito do projeto 'Decidim Intel·ligent', os investigadores reformularam a seleção de propostas como um problema de mochila de escolha múltipla — um programa linear inteiro que maximiza o apoio total dos cidadãos sujeito ao limite orçamental.

O método foi testado retrospetivamente com dados reais de votação de dois projetos-piloto municipais: Eixample (orçamento de 500.000 €, 200 propostas submetidas, 22 na votação final, 17 financiadas, outubro de 2016 a maio de 2018) e Gràcia (orçamento de 150.000 €, 14 propostas finalistas).

Nos resultados reais do Eixample, o método de otimização alcançou 89,73% do apoio máximo possível dos cidadãos, face a 84,15% no método rank-and-select efetivamente utilizado; em Gràcia alcançou 70% face a 63,86%. Ao testar uma gama de orçamentos hipotéticos, a diferença aumentou ainda mais — por exemplo, mais 91,8% de votos apoiados e mais 150% de propostas financiadas (5 vs. 2) em Gràcia, com um orçamento simulado de 60.000 €, sem qualquer aumento da despesa total.

Trata-se de uma simulação retrospetiva, revista por pares, validada face a resultados históricos reais, e não de um sistema em funcionamento ao vivo. O artigo propõe a futura agregação de propostas por PLN como próximo passo, e o orçamento participativo de Barcelona continuou a funcionar com o método rank-and-select desde então — não há evidência confirmada de que o modelo de otimização o tenha substituído operacionalmente.