Método de cuotas iguales
El método de partes iguales o método de cuotas iguales (en documentos anteriores, el método también se conoce como Regla X, pero desde 2022 los autores comenzaron a usar el nombre "método de partes iguales") es un método proporcional de conteo de votos que se aplica al presupuesto participativo al comité. elecciones y decisiones públicas simultáneas. Se puede usar cuando los votantes votan a través de boletas de aprobación, boletas clasificadas o boletas cardinales.
Motivación
El método es una alternativa al algoritmo de mochila que utilizan la mayoría de las ciudades, aunque es un método desproporcionado. Por ejemplo, si el 51 % de la población apoya 10 proyectos rojos y el 49 % apoya 10 proyectos azules, y el dinero alcanza solo para 10 proyectos, el presupuesto de mochila elegirá los 10 rojos apoyados por el 51 % e ignorará el 49 % por completo.. Por el contrario, el método de partes iguales elegiría 5 proyectos azules y 5 rojos.
El método garantiza la representación proporcional: satisface la variante más fuerte conocida del axioma de representación justificada que se sabe que es satisfactoria en el presupuesto participativo.
Explicación intuitiva
En el contexto del presupuesto participativo, el método asume que el presupuesto municipal se distribuye inicialmente de manera uniforme entre los votantes. Cada vez que se selecciona un proyecto, su costo se divide entre los votantes que apoyaron el proyecto y que todavía tienen dinero. Los ahorros de estos votantes se reducen en consecuencia. Si los votantes votan a través de boletas de aprobación, entonces el costo de un proyecto seleccionado se distribuye por igual entre los votantes; si votan a través de votos cardinales, entonces el costo se distribuye proporcionalmente a las utilidades que los votantes disfrutan del proyecto. La regla selecciona los proyectos que pueden pagarse de esta manera, comenzando por aquellos que minimizan los costos marginales por utilidad de los votantes.
Ejemplo 1
El siguiente ejemplo con 100 votantes y 9 proyectos ilustra cómo funciona la regla. En este ejemplo el presupuesto total es de $1000, es decir permite seleccionar cinco de los nueve proyectos disponibles. Vea el diagrama animado a continuación, que ilustra el comportamiento de la regla.
- Hay 9 proyectos. Por ejemplo, el tercer grupo de 11 votantes votó por D y G. El presupuesto total de $1000 se divide en partes iguales entre 100 votantes. Cada votante recibe 10. Haga clic en la flecha sobre la imagen para ver los siguientes pasos del método.
El presupuesto primero se divide en partes iguales entre los votantes, por lo que cada votante recibe $10. El proyecto recibió la mayoría de los votos y es seleccionado en la primera ronda. Si dividiéramos el costo de por partes iguales entre los votantes que apoyaron , cada uno de ellos pagaría . Por el contrario, si seleccionamos, por ejemplo, , entonces el costo por votante sería . El método selecciona primero el proyecto que minimiza el precio por votante.
Tenga en cuenta que en el último paso se seleccionó un proyecto a pesar de que hubo proyectos que fueron apoyados por más votantes, por ejemplo . Esto se debe a que, el dinero que los simpatizantes de tenían derecho a controlar, fue utilizado previamente para justificar la selección de , y . Por otra parte, los electores que votaron por forman el 20% de la población, por lo que tendrán derecho a decidir sobre el 20% del presupuesto. Esos votantes solo apoyaron a , y es por eso que se seleccionó este proyecto.
Para ver un ejemplo más detallado que incluye las papeletas cardinales, consulte el Ejemplo 2.
Definición
Esta sección presenta la definición de la regla para las papeletas cardinales. Ver discusión para una discusión sobre cómo aplicar esta definición a las boletas de aprobación y boletas clasificadas.
Tenemos un conjunto de proyectos y un conjunto de votantes . Para cada proyecto , denotemos su costo, y denotemos el tamaño del presupuesto municipal disponible. Para cada votante y cada proyecto denotemos la boleta cardinal de , que es el número que cuantifica el nivel de apreciación del votante hacia el proyecto .
El método de partes iguales funciona en rondas. Al principio pone una parte igual del presupuesto, en la cuenta bancaria virtual de cada votante, . En cada ronda, el método selecciona un proyecto de acuerdo con el siguiente procedimiento.
- Para cada proyecto aún no seleccionado, el método intenta repartir el costo del proyecto proporcionalmente a las papeletas cardinales enviadas por los votantes, teniendo en cuenta el hecho de que algunos votantes podrían haberse quedado sin dinero. Formalmente, para , decimos que un proyecto aún no seleccionado es asequible siIntuitivamente, si un proyecto es asequible, entonces, el costo del proyecto se puede repartir entre los votantes de manera que cada votante pague el precio por utilidad de como máximo .
- Si no hay proyectos asequibles, entonces termina el método de partes iguales. Esto sucede cuando para cada proyecto aún no seleccionado la cantidad de dinero restante en las cuentas privadas de aquellos votantes que votaron positivamente es menor que el costo de : Puede suceder que cuando finalice el método, todavía quede algo de dinero eso permitiría financiar algunos proyectos más. Este dinero se puede gastar mediante el simple procedimiento codicioso que selecciona los proyectos restantes a partir de aquellos con la proporción más baja, hasta agotar el presupuesto. Sin embargo, el método de partes iguales mantiene la mayoría de sus propiedades independientemente de cómo se gaste el presupuesto restante.0}b_{i}
- Si hay al menos un proyecto asequible aún no seleccionado, el método selecciona el proyecto que es asequible por el valor más bajo de (el proyecto que minimiza el precio por servicio que los votantes deben pagar). Los presupuestos de los votantes se actualizan en consecuencia: para cada uno de los conjuntos de métodos .
Ejemplo 2
El siguiente diagrama ilustra el comportamiento del método.
- Hay 8 proyectos disponibles y 250 votantes. Por ejemplo, los primeros 65 votantes asignan el valor 30 al proyecto B y el valor 10 a los proyectos E y G. El presupuesto total de $2500 se divide en partes iguales entre 250 votantes. Cada votante recibe $10. Haga clic en la flecha sobre la imagen para ver los siguientes pasos del método.
Discusión
Esta sección proporciona una discusión sobre otras variantes del método de partes iguales.
Otros tipos de papeletas
El método de partes iguales se puede utilizar con otros tipos de papeletas de votantes.
Boletas de aprobación
El método se puede aplicar de dos maneras al escenario donde los votantes votan marcando los proyectos que les gustan (ver Ejemplo 1):
- Establecer si el proyecto es aprobado por los votantes y en caso contrario. Esto supone que la utilidad de un votante es igual a la cantidad total de dinero gastado en los proyectos apoyados por el votante. Esta suposición se usa comúnmente en otros métodos de contar las boletas de aprobación para el presupuesto participativo, por ejemplo, en el algoritmo de la mochila, y por lo general resulta en la selección de menos proyectos más costosos.
- Establecer si el proyecto es aprobado por los votantes y en caso contrario. Esto supone que la utilidad de un votante es igual al número de proyectos seleccionados aprobados. Esto generalmente resulta en la selección de más proyectos pero menos costosos.
Boletas clasificadas
El método se aplica al modelo en el que los votantes votan clasificando los proyectos desde el más preferido hasta el menos preferido. Asumiendo preferencias lexicográficas, se puede utilizar la convención que depende de la posición del proyecto en el ranking de votantes, y que, siempre que clasifique como más preferido que.
Formalmente, el método se define como sigue.
Para cada votante , denote la clasificación del votante sobre los proyectos. Por ejemplo, significa que es el proyecto más preferido desde la perspectiva del votante , es el segundo proyecto preferido del votante y es el proyecto menos preferido. En este ejemplo, decimos que el proyecto está clasificado en la primera posición y escribimos , el proyecto está clasificado en la segunda posición (), y en la tercera posición ().
A cada votante se le asigna inicialmente una parte igual del presupuesto . La regla procede en rondas, en cada ronda:
- Para cada proyecto aún no seleccionado , decimos que es asequible si el presupuesto restante de los votantes que se clasifican en una posición o superior es mayor o igual a :
- Si ningún proyecto es asequible, la regla se detiene. Esto sucede cuando el presupuesto restante total de los votantes es menor que el costo de cada proyecto aún no seleccionado.
- Si hay proyectos asequibles, la regla elige el proyecto aún no seleccionado que es asequible para el valor más bajo de . Los presupuestos de los votantes se actualizan en consecuencia. Primero, el costo se reparte equitativamente entre los votantes que ocupan el primer puesto. Si los presupuestos de estos votantes son insuficientes para cubrir el costo del proyecto, la parte restante del costo se reparte equitativamente entre los votantes que ocupan la segunda posición, etc. Formalmente comenzamos con y y seguimos en el bucle:
- Si entonces encontramos tal que y para cada votante establecemos.
- De lo contrario, actualizamos el costo: . Cobramos a los votantes: por cada votante establecemos, y pasamos a la siguiente posición.
Elecciones del comité
En el contexto de las elecciones de los comités, los proyectos suelen denominarse candidatos. Se supone que el costo de cada candidato es igual a uno; entonces, el presupuesto puede interpretarse como el número de candidatos en el comité que debe ser seleccionado.
Presupuesto no gastado
El método de partes iguales puede devolver un conjunto de proyectos que no agota todo el presupuesto. Hay varias formas de utilizar el presupuesto no gastado:
- El método utilitario: los proyectos se seleccionan en el orden de hasta que no se puede seleccionar ningún otro proyecto dentro del límite presupuestario.
- Ajuste del presupuesto inicial: el presupuesto inicial se puede ajustar al valor más alto posible, lo que hace que el método seleccione proyectos, cuyo costo total no supere el presupuesto no ajustado.
Propiedades
En el contexto de las elecciones de comités, el método a menudo se compara con la Votación de Aprobación Proporcional (PAV), ya que ambos métodos son proporcionales (satisfacen el axioma de Representación Justificada Extendida (EJR)). La diferencia entre los dos métodos se puede describir de la siguiente manera.
- El método de partes iguales (MES) es computable en tiempo polinomial, y PAV es NP-difícil de calcular. La variante secuencial de PAV es computable en tiempo polinomial, pero no satisface la Representación justificada.
- PAV es Pareto-óptimo, pero MES no lo es.
- MES tiene un precio. Puede verse como una implementación del equilibrio de Lindahl en el modelo discreto, con el supuesto de que los clientes que comparten un artículo deben pagar el mismo precio por el artículo.
- MES se extiende al presupuesto participativo y a las votaciones cardinales, mientras que PAV no satisface la Representación Justificada Extendida (EJR) cuando se aplica al presupuesto participativo oa las votaciones cardinales.
MES es similar a la regla secuencial de Phragmen. La diferencia es que en MES los votantes reciben sus presupuestos por adelantado, mientras que en la regla secuencial de Phragmen los votantes ganan dinero continuamente a lo largo del tiempo. Los métodos se comparan de la siguiente manera:
- Ambos métodos son computables en tiempo polinomial y ambos fallan en la optimización de Pareto.
- MES satisface la Representación Justificada Extendida (EJR), mientras que la regla secuencial de Phragmen satisface la Representación Justificada Proporcional, una variante más débil de la propiedad.
- La regla secuencial de Phragmen satisface la monotonicidad del comité, mientras que MES falla la propiedad.
- MES se extiende al presupuesto participativo con votos cardinales, lo que no es el caso de la regla secuencial de Phragmen.
MES con ajuste del presupuesto inicial, PAV y las reglas de votación de Phragmen pueden verse como extensiones del método D'Hondt al entorno en el que los votantes pueden votar por candidatos individuales en lugar de por partidos políticos. MES se extiende aún más al presupuesto participativo.
Implementación
A continuación se muestra una implementación en Python del método que se aplica al presupuesto participativo. Para el modelo de elecciones de comités, las reglas se implementan como parte del paquete abcvoting de Python.
importar matematicas def leq (a, b): devuelve a < b o matemáticas. está cerca (a, b) # N: una lista de votantes. # C: una lista de proyectos (candidatos). # costo: un diccionario que asigna a cada proyecto su costo. #b: el presupuesto total disponible. # u: un diccionario; u[c][i] es el valor que el votante i asigna al candidato c. # una entrada vacía significa que el valor correspondiente u[c][i] es igual a 0. def complete_utilitarian (N, C, cost, u, b, W): util = { c: sum ([ u [ c ][ i ] for i in N ]) for c in C } comité_cost = sum ([ cost [ c ] para c en W ]) while True : next_candidate = Ningunohigh_util = float (" -inf ") para c en C. diferencia (W): si leq (costo_comité + costo [ c ], b): si util [ c ] / costo [ c ] > util_mas alto: siguiente_candidato = c util_mas alto = util [ c ] / costo [ c ] si next_candidate es Ninguno : romper W. add (siguiente_candidato) costo_comité += costo [ siguiente_candidato ] return W def method_of_equal_shares (N, C, cost, u, b): W = set () total_utility = { c: sum (u [ c ]. valores ()) for c in C } supporters = { c: set ([ i for i en N si u [ c ][ i ] > 0 ]) para c en C } presupuesto = { i: b / len (N) para i en N } while True : next_candidate = None lower_rho = float ("inf") para c en C. diferencia (W): si leq (costo [ c ], suma ([ presupuesto [i ] for i in supporters [ c ]])): supporters_sorted = sorted (supporters [ c ], clave = lambda i: presupuesto [ i ] / u [ c ][ i ]) precio = costo [ c ] util = total_utility [ c ] para i en supporters_sorted: if leq (precio * u [ c ][ i ], presupuesto [ i ] * util): precio de ruptura -= presupuesto [ i ] util -= u [ c ][ i ] rho = precio / util if not math. isclose (util, 0) y no math. isclose (precio, 0) else presupuesto [ supporters_sorted [ - 1 ]] / u [ c ][ supporters_sorted [ - 1 ]] if rho < lower_rho: next_candidate = c lower_rho = rho if next_candidate is None : break W. agregue (next_candidate) para i en N: presupuesto[ i ] -= min (presupuesto [ i ], rho_más bajo * u [ siguiente_candidato ][ i ]) return complete_utilitarian (N, C, cost, u, b, W) # una de las posibles terminaciones
Contenido relacionado
Voto anticipado
Juicio usual
Clyde Coombs