Efficient, traceable, and numerical error-free implementation of the MMS voting rule

Luis Sánchez-Fernández
DOI: https://doi.org/10.48550/arXiv.2309.15104
2023-10-14
Abstract:I propose an alternative algorithm to compute the MMS voting rule. Instead of using linear programming, in this new algorithm the maximin support value of a committee is computed using a sequence of maximum flow problems.
Computer Science and Game Theory
What problem does this paper attempt to address?
The problems that this paper attempts to solve are the efficiency, traceability, and numerical error issues in the existing calculation methods of the Maximin Support (MMS) voting rule. Specifically: 1. **Disadvantages of the existing methods**: - **High complexity**: Although linear programming can be solved in polynomial time, its time complexity in the worst - case scenario is relatively high (for example, the time complexity of the Karmarkar algorithm is \(O(n^{3.5}L)\), where \(n\) is the number of variables and \(L\) is the number of bits required to represent non - zero coefficients). - **Trust issues**: Although commercial linear programming solvers are reliable and widely used, in the sensitive process of calculating election results, using "black - box" software tools may lead to distrust. - **Numerical error**: Commercial linear programming solvers use floating - point arithmetic, which may lead to numerical errors, especially when determining whether there is a tie. 2. **The new method proposed in the paper**: - **Alternative algorithm**: The author proposes a new algorithm to calculate the MMS voting rule. This algorithm calculates the maximin support value of the committee through a series of maximum - flow problems (instead of linear programming). - **Advantages**: - **High efficiency**: The maximum - flow problem can be solved efficiently, thereby increasing the calculation speed of the MMS rule. - **Openness and transparency**: The algorithms for solving the maximum - flow problem are public, and anyone can implement these algorithms, avoiding dependence on "black - box" tools. - **Accuracy**: The new algorithm only uses integer arithmetic, so it can provide accurate solutions and avoid numerical errors. ### Specific content of the paper - **Introduction to the MMS voting rule**: The MMS voting rule is an approval - based multi - winner election method that extends the well - known D'Hondt method. It has good representativeness and monotonicity properties, such as proportionally fair representation and weak support monotonicity. - **Principle of the new algorithm**: The new algorithm calculates the maximin support value by constructing a flow network and solving the maximum - flow problem in this network. Specific steps include: - Constructing a flow network: The set of nodes includes voters, candidate groups, and source and sink nodes; the set of edges includes edges from the source to each voter, edges from each voter to the candidates they approve, and edges from each candidate to the sink. - Solving the maximum - flow: If the maximum - flow value is equal to the number of voters, the maximin support value can be directly calculated; otherwise, gradually adjust the candidate group according to the result of the maximum - flow until a maximum - flow that meets the conditions is found. Through this method, the author has solved multiple problems in the existing methods and provided a more efficient, transparent, and accurate method for calculating the MMS voting rule.