Showing 1–21 of 21 results for author: Szufa, S

Putting Fair Division on the Map

Authors: Paula Böhm, Robert Bredereck, Paul Gölz, Andrzej Kaczmarczyk, Stanisław Szufa

Abstract: The fair division of indivisible goods is not only a subject of theoretical research, but also an important problem in practice, with solutions being offered on several online platforms. Little is known, however, about the characteristics of real-world allocation instances and how they compare to synthetic instances. Using dimensionality reduction, we compute a map of allocation instances: a 2-dim… ▽ More The fair division of indivisible goods is not only a subject of theoretical research, but also an important problem in practice, with solutions being offered on several online platforms. Little is known, however, about the characteristics of real-world allocation instances and how they compare to synthetic instances. Using dimensionality reduction, we compute a map of allocation instances: a 2-dimensional embedding such that an instance's location on the map is predictive of the instance's origin and other key instance features. Because the axes of this map closely align with the utility matrix's two largest singular values, we define a second, explicit map, which we theoretically characterize. △ Less

Submitted 5 May, 2025; v1 submitted 28 April, 2025; originally announced April 2025.

Comments: 43 pages, 27 figures; v2 fixes typos in the authorship parts

Drawing a Map of Elections

Authors: Stanisław Szufa, Niclas Boehmer, Robert Bredereck, Piotr Faliszewski, Rolf Niedermeier, Piotr Skowron, Arkadii Slinko, Nimrod Talmon

Abstract: Our main contribution is the introduction of the map of elections framework. A map of elections consists of three main elements: (1) a dataset of elections (i.e., collections of ordinal votes over given sets of candidates), (2) a way of measuring similarities between these elections, and (3) a representation of the elections in the 2D Euclidean space as points, so that the more similar two electio… ▽ More Our main contribution is the introduction of the map of elections framework. A map of elections consists of three main elements: (1) a dataset of elections (i.e., collections of ordinal votes over given sets of candidates), (2) a way of measuring similarities between these elections, and (3) a representation of the elections in the 2D Euclidean space as points, so that the more similar two elections are, the closer are their points. In our maps, we mostly focus on datasets of synthetic elections, but we also show an example of a map over real-life ones. To measure similarities, we would have preferred to use, e.g., the isomorphic swap distance, but this is infeasible due to its high computational complexity. Hence, we propose polynomial-time computable positionwise distance and use it instead. Regarding the representations in 2D Euclidean space, we mostly use the Kamada-Kawai algorithm, but we also show two alternatives. We develop the necessary theoretical results to form our maps and argue experimentally that they are accurate and credible. Further, we show how coloring the elections in a map according to various criteria helps in analyzing results of a number of experiments. In particular, we show colorings according to the scores of winning candidates or committees, running times of ILP-based winner determination algorithms, and approximation ratios achieved by particular algorithms. △ Less

Submitted 8 April, 2025; v1 submitted 4 April, 2025; originally announced April 2025.

Comments: Journal article merging results from arxiv:2105.07815, arXiv:2407.11889 and Szufa et al., "Drawing a Map of Elections in the Space of Statistical Cultures", AAMAS '20

Discovering Consistent Subelections

Authors: Łukasz Janeczko, Jérôme Lang, Grzegorz Lisowski, Stanisław Szufa

Abstract: We show how hidden interesting subelections can be discovered in ordinal elections. An interesting subelection consists of a reasonably large set of voters and a reasonably large set of candidates such that the former have a consistent opinion about the latter. Consistency may take various forms but we focus on three: Identity (all selected voters rank all selected candidates the same way), antago… ▽ More We show how hidden interesting subelections can be discovered in ordinal elections. An interesting subelection consists of a reasonably large set of voters and a reasonably large set of candidates such that the former have a consistent opinion about the latter. Consistency may take various forms but we focus on three: Identity (all selected voters rank all selected candidates the same way), antagonism (half of the selected voters rank candidates in some order and the other half in the reverse order), and clones (all selected voters rank all selected candidates contiguously in the original election). We first study the computation of such hidden subelections. Second, we analyze synthetic and real-life data, and find that identifying hidden consistent subelections allows us to uncover some relevant concepts. △ Less

Submitted 26 July, 2024; originally announced July 2024.

Comments: Accepted for publication at AAMAS 2024

Strategic Cost Selection in Participatory Budgeting

Authors: Piotr Faliszewski, Łukasz Janeczko, Andrzej Kaczmarczyk, Grzegorz Lisowski, Piotr Skowron, Stanisław Szufa

Abstract: We study strategic behavior of project proposers in the context of approval-based participatory budgeting (PB). In our model we assume that the votes are fixed and known and the proposers want to set as high project prices as possible, provided that their projects get selected and the prices are not below the minimum costs of their delivery. We study the existence of pure Nash equilibria (NE) in s… ▽ More We study strategic behavior of project proposers in the context of approval-based participatory budgeting (PB). In our model we assume that the votes are fixed and known and the proposers want to set as high project prices as possible, provided that their projects get selected and the prices are not below the minimum costs of their delivery. We study the existence of pure Nash equilibria (NE) in such games, focusing on the AV/Cost, Phragmén, and Method of Equal Shares rules. Furthermore, we report an experimental study of strategic cost selection on real-life PB election data. △ Less

Submitted 29 July, 2024; v1 submitted 25 July, 2024; originally announced July 2024.

Comments: 31 pages

Map of Elections

Authors: Stanisław Szufa

Abstract: Our main contribution is the introduction of the map of elections framework. A map of elections consists of three main elements: (1) a dataset of elections (i.e., collections of ordinal votes over given sets of candidates), (2) a way of measuring similarities between these elections, and (3) a representation of the elections in the 2D Euclidean space as points, so that the more similar two electio… ▽ More Our main contribution is the introduction of the map of elections framework. A map of elections consists of three main elements: (1) a dataset of elections (i.e., collections of ordinal votes over given sets of candidates), (2) a way of measuring similarities between these elections, and (3) a representation of the elections in the 2D Euclidean space as points, so that the more similar two elections are, the closer are their points. In our maps, we mostly focus on datasets of synthetic elections, but we also show an example of a map over real-life ones. To measure similarities, we would have preferred to use, e.g., the isomorphic swap distance, but this is infeasible due to its high computational complexity. Hence, we propose polynomial-time computable positionwise distance and use it instead. Regarding the representations in 2D Euclidean space, we mostly use the Kamada-Kawai algorithm, but we also show two alternatives. We develop the necessary theoretical results to form our maps and argue experimentally that they are accurate and credible. Further, we show how coloring the elections in a map according to various criteria helps in analyzing results of a number of experiments. In particular, we show colorings according to the scores of winning candidates or committees, running times of ILP-based winner determination algorithms, and approximation ratios achieved by particular algorithms. △ Less

Submitted 16 July, 2024; originally announced July 2024.

Comments: PhD thesis

Selecting the Most Conflicting Pair of Candidates

Authors: Théo Delemazure, Łukasz Janeczko, Andrzej Kaczmarczyk, Stanisław Szufa

Abstract: We study committee elections from a perspective of finding the most conflicting candidates, that is, candidates that imply the largest amount of conflict, as per voter preferences. By proposing basic axioms to capture this objective, we show that none of the prominent multiwinner voting rules meet them. Consequently, we design committee voting rules compliant with our desiderata, introducing confl… ▽ More We study committee elections from a perspective of finding the most conflicting candidates, that is, candidates that imply the largest amount of conflict, as per voter preferences. By proposing basic axioms to capture this objective, we show that none of the prominent multiwinner voting rules meet them. Consequently, we design committee voting rules compliant with our desiderata, introducing conflictual voting rules. A subsequent deepened analysis sheds more light on how they operate. Our investigation identifies various aspects of conflict, for which we come up with relevant axioms and quantitative measures, which may be of independent interest. We support our theoretical study with experiments on both real-life and synthetic data. △ Less

Submitted 9 May, 2024; originally announced May 2024.

Comments: Accepted for publication at IJCAI-24; 27 pages; 11 figures

Guide to Numerical Experiments on Elections in Computational Social Choice

Authors: Niclas Boehmer, Piotr Faliszewski, Łukasz Janeczko, Andrzej Kaczmarczyk, Grzegorz Lisowski, Grzegorz Pierczyński, Simon Rey, Dariusz Stolicki, Stanisław Szufa, Tomasz Wąs

Abstract: We analyze how numerical experiments regarding elections were conducted within the computational social choice literature (focusing on papers published in the IJCAI, AAAI, and AAMAS conferences). We analyze the sizes of the studied elections and the methods used for generating preference data, thereby making previously hidden standards and practices explicit. In particular, we survey a number of s… ▽ More We analyze how numerical experiments regarding elections were conducted within the computational social choice literature (focusing on papers published in the IJCAI, AAAI, and AAMAS conferences). We analyze the sizes of the studied elections and the methods used for generating preference data, thereby making previously hidden standards and practices explicit. In particular, we survey a number of statistical cultures for generating elections and their commonly used parameters. △ Less

Submitted 18 February, 2024; originally announced February 2024.

Single-Winner Voting with Alliances: Avoiding the Spoiler Effect

Authors: Grzegorz Pierczyński, Stanisław Szufa

Abstract: We study the setting of single-winner elections with ordinal preferences where candidates might be members of \emph{alliances} (which may correspond to e.g., political parties, factions, or coalitions). However, we do not assume that candidates from the same alliance are necessarily adjacent in voters' rankings. In such case, every classical voting rule is vulnerable to the spoiler effect, i.e., t… ▽ More We study the setting of single-winner elections with ordinal preferences where candidates might be members of \emph{alliances} (which may correspond to e.g., political parties, factions, or coalitions). However, we do not assume that candidates from the same alliance are necessarily adjacent in voters' rankings. In such case, every classical voting rule is vulnerable to the spoiler effect, i.e., the presence of a candidate may harm his or her alliance. We therefore introduce a new idea of \emph{alliance-aware} voting rules which extend the classical ones. We show that our approach is superior both to using classical cloneproof voting rules and to running primaries within alliances before the election. We introduce several alliance-aware voting rules and show that they satisfy the most desirable standard properties of their classical counterparts as well as newly introduced axioms for the model with alliances which, e.g., exclude the possibility of the spoiler effect. Our rules have natural definitions and are simple enough to explain to be used in practice. △ Less

Submitted 29 January, 2024; originally announced January 2024.

An Experimental Comparison of Multiwinner Voting Rules on Approval Elections

Authors: Piotr Faliszewski, Martin Lackner, Krzysztof Sornat, Stanisław Szufa

Abstract: In this paper, we experimentally compare major approval-based multiwinner voting rules. To this end, we define a measure of similarity between two equal-sized committees subject to a given election. Using synthetic elections coming from several distributions, we analyze how similar are the committees provided by prominent voting rules. Our results can be visualized as ``maps of voting… ▽ More In this paper, we experimentally compare major approval-based multiwinner voting rules. To this end, we define a measure of similarity between two equal-sized committees subject to a given election. Using synthetic elections coming from several distributions, we analyze how similar are the committees provided by prominent voting rules. Our results can be visualized as ``maps of voting rules'', which provide a counterpoint to a purely axiomatic classification of voting rules. The strength of our proposed method is its independence from preimposed classifications (such as the satisfaction of concrete axioms), and that it indeed offers a much finer distinction than the current state of axiomatic analysis. △ Less

Submitted 22 January, 2024; originally announced January 2024.

Evaluation of Project Performance in Participatory Budgeting

Authors: Niclas Boehmer, Piotr Faliszewski, Łukasz Janeczko, Dominik Peters, Grzegorz Pierczyński, Šimon Schierreich, Piotr Skowron, Stanisław Szufa

Abstract: We study ways of evaluating the performance of losing projects in participatory budgeting (PB) elections by seeking actions that would have led to their victory. We focus on lowering the projects' costs, obtaining additional approvals for them, and asking supporters to refrain from approving other projects: The larger a change is needed, the less successful is the given project. We seek efficient… ▽ More We study ways of evaluating the performance of losing projects in participatory budgeting (PB) elections by seeking actions that would have led to their victory. We focus on lowering the projects' costs, obtaining additional approvals for them, and asking supporters to refrain from approving other projects: The larger a change is needed, the less successful is the given project. We seek efficient algorithms for computing our measures and we analyze and compare them experimentally. We focus on the greedyAV, Phragmén, and Equal-Shares PB rules. △ Less

Submitted 18 February, 2025; v1 submitted 22 December, 2023; originally announced December 2023.

Participatory Budgeting: Data, Tools, and Analysis

Authors: Piotr Faliszewski, Jarosław Flis, Dominik Peters, Grzegorz Pierczyński, Piotr Skowron, Dariusz Stolicki, Stanisław Szufa, Nimrod Talmon

Abstract: We provide a library of participatory budgeting data (Pabulib) and open source tools (Pabutools and Pabustats) for analysing this data. We analyse how the results of participatory budgeting elections would change if a different selection rule was applied. We provide evidence that the outcomes of the Method of Equal Shares would be considerably fairer than those of the Utilitarian Greedy rule that… ▽ More We provide a library of participatory budgeting data (Pabulib) and open source tools (Pabutools and Pabustats) for analysing this data. We analyse how the results of participatory budgeting elections would change if a different selection rule was applied. We provide evidence that the outcomes of the Method of Equal Shares would be considerably fairer than those of the Utilitarian Greedy rule that is currently in use. We also show that the division of the projects into districts and/or categories can in many cases be avoided when using proportional rules. We find that this would increase the overall utility of the voters. △ Less

Submitted 18 May, 2023; originally announced May 2023.

Diversity, Agreement, and Polarization in Elections

Authors: Piotr Faliszewski, Andrzej Kaczmarczyk, Krzysztof Sornat, Stanisław Szufa, Tomasz Wąs

Abstract: We consider the notions of agreement, diversity, and polarization in ordinal elections (that is, in elections where voters rank the candidates). While (computational) social choice offers good measures of agreement between the voters, such measures for the other two notions are lacking. We attempt to rectify this issue by designing appropriate measures, providing means of their (approximate) compu… ▽ More We consider the notions of agreement, diversity, and polarization in ordinal elections (that is, in elections where voters rank the candidates). While (computational) social choice offers good measures of agreement between the voters, such measures for the other two notions are lacking. We attempt to rectify this issue by designing appropriate measures, providing means of their (approximate) computation, and arguing that they, indeed, capture diversity and polarization well. In particular, we present "maps of preference orders" that highlight relations between the votes in a given election and which help in making arguments about their nature. △ Less

Submitted 16 May, 2023; originally announced May 2023.

A Map of Diverse Synthetic Stable Roommates Instances

Authors: Niclas Boehmer, Klaus Heeger, Stanisław Szufa

Abstract: Focusing on Stable Roommates (SR) instances, we contribute to the toolbox for conducting experiments for stable matching problems. We introduce a polynomial-time computable pseudometric to measure the similarity of SR instances, analyze its properties, and use it to create a map of SR instances. This map visualizes 460 synthetic SR instances (each sampled from one of ten different statistical cult… ▽ More Focusing on Stable Roommates (SR) instances, we contribute to the toolbox for conducting experiments for stable matching problems. We introduce a polynomial-time computable pseudometric to measure the similarity of SR instances, analyze its properties, and use it to create a map of SR instances. This map visualizes 460 synthetic SR instances (each sampled from one of ten different statistical cultures) as follows: Each instance is a point in the plane, and two points are close on the map if the corresponding SR instances are similar to each other. Subsequently, we conduct several exemplary experiments and depict their results on the map, illustrating the map's usefulness as a non-aggregate visualization tool, the diversity of our generated dataset, and the need to use instances sampled from different statistical cultures. Lastly, to demonstrate that our framework can also be used for other matching problems under preference, we create and analyze a map of Stable Marriage instances. △ Less

Submitted 8 August, 2022; originally announced August 2022.

How to Sample Approval Elections?

Authors: Stanisław Szufa, Piotr Faliszewski, Łukasz Janeczko, Martin Lackner, Arkadii Slinko, Krzysztof Sornat, Nimrod Talmon

Abstract: We study the multifaceted question of how to sample approval elections in a meaningful way. Our analysis aims to discern the properties of various statistical cultures (both established and new ones). Based on the map-of-elections framework by Szufa et al. [2020], we graphically represent statistical cultures; and, by that, provide an intuitive understanding of their differences and properties. We study the multifaceted question of how to sample approval elections in a meaningful way. Our analysis aims to discern the properties of various statistical cultures (both established and new ones). Based on the map-of-elections framework by Szufa et al. [2020], we graphically represent statistical cultures; and, by that, provide an intuitive understanding of their differences and properties. △ Less

Submitted 3 July, 2022; originally announced July 2022.

Comments: Accepted to IJCAI 2022

Expected Frequency Matrices of Elections: Computation, Geometry, and Preference Learning

Authors: Niclas Boehmer, Robert Bredereck, Edith Elkind, Piotr Faliszewski, Stanisław Szufa

Abstract: We use the ``map of elections'' approach of Szufa et al. (AAMAS-2020) to analyze several well-known vote distributions. For each of them, we give an explicit formula or an efficient algorithm for computing its frequency matrix, which captures the probability that a given candidate appears in a given position in a sampled vote. We use these matrices to draw the ``skeleton map'' of distributions, ev… ▽ More We use the ``map of elections'' approach of Szufa et al. (AAMAS-2020) to analyze several well-known vote distributions. For each of them, we give an explicit formula or an efficient algorithm for computing its frequency matrix, which captures the probability that a given candidate appears in a given position in a sampled vote. We use these matrices to draw the ``skeleton map'' of distributions, evaluate its robustness, and analyze its properties. Finally, we develop a general and unified framework for learning the distribution of real-world preferences using the frequency matrices of established vote distributions. △ Less

Submitted 11 January, 2023; v1 submitted 16 May, 2022; originally announced May 2022.

Comments: Accepted to NeurIPS '22

Understanding Distance Measures Among Elections

Authors: Niclas Boehmer, Piotr Faliszewski, Rolf Niedermeier, Stanisław Szufa, Tomasz Wąs

Abstract: Motivated by putting empirical work based on (synthetic) election data on a more solid mathematical basis, we analyze six distances among elections, including, e.g., the challenging-to-compute but very precise swap distance and the distance used to form the so-called map of elections. Among the six, the latter seems to strike the best balance between its computational complexity and expressiveness… ▽ More Motivated by putting empirical work based on (synthetic) election data on a more solid mathematical basis, we analyze six distances among elections, including, e.g., the challenging-to-compute but very precise swap distance and the distance used to form the so-called map of elections. Among the six, the latter seems to strike the best balance between its computational complexity and expressiveness. △ Less

Submitted 1 May, 2022; originally announced May 2022.

Comments: Accepted to IJCAI 2022

Spoiler Susceptibility in Multi-District Party Elections

Authors: Daria Boratyn, Wojciech Słomczyński, Dariusz Stolicki, Stanisław Szufa

Abstract: Electoral spoilers are such agents that there exists a coalition of agents whose total gain when a putative spoiler is eliminated exceeds that spoiler's share in the election outcome. So far spoiler effects have been analyzed primarily in the context of single-winner electoral systems. We consider this problem in the context of multi-district party elections. We introduce a formal measure of a par… ▽ More Electoral spoilers are such agents that there exists a coalition of agents whose total gain when a putative spoiler is eliminated exceeds that spoiler's share in the election outcome. So far spoiler effects have been analyzed primarily in the context of single-winner electoral systems. We consider this problem in the context of multi-district party elections. We introduce a formal measure of a party's excess electoral impact, treating "spoilership" as a manner of degree. This approach allows us to compare multi-winner social choice rules according to their degree of spoiler susceptibility. We present experimental results, as well as analytical results for toy models, for seven classical rules ($k$-Borda, Chamberlin--Courant, Harmonic-Borda, Jefferson--D'Hondt, PAV, SNTV, and STV). Since the probabilistic models commonly used in computational social choice have been developed for non-party elections, we extend them to be able to generate multi-district party elections. △ Less

Submitted 10 February, 2022; originally announced February 2022.

Comments: 19 pages, 3 figures

MSC Class: 91B12 (Primary); 91B14

The Complexity of Subelection Isomorphism Problems

Authors: Piotr Faliszewski, Krzysztof Sornat, Stanisław Szufa

Abstract: We study extensions of the Election Isomorphism problem, focused on the existence of isomorphic subelections. Specifically, we propose the Subelection Isomorphism and the Maximum Common Subelection problems and study their computational complexity and approximability. Using our problems in experiments, we provide some insights into the nature of several statistical models of elections. We study extensions of the Election Isomorphism problem, focused on the existence of isomorphic subelections. Specifically, we propose the Subelection Isomorphism and the Maximum Common Subelection problems and study their computational complexity and approximability. Using our problems in experiments, we provide some insights into the nature of several statistical models of elections. △ Less

Submitted 20 December, 2021; v1 submitted 25 May, 2021; originally announced May 2021.

Comments: 18 pages, 2 figures, 1 table. A preliminary conference version of this work will appear in AAAI 2022

MSC Class: 68Q17; 68Q25; 68Q27; 68W05; 91B12 (Primary); 68W25; 68T42; 91C05 (Secondary) ACM Class: F.2.2; I.2.11

Putting a Compass on the Map of Elections

Authors: Niclas Boehmer, Robert Bredereck, Piotr Faliszewski, Rolf Niedermeier, Stanisław Szufa

Abstract: Recently, Szufa et al. [AAMAS 2020] presented a "map of elections" that visualizes a set of 800 elections generated from various statistical cultures. While similar elections are grouped together on this map, there is no obvious interpretation of the elections' positions. We provide such an interpretation by introducing four canonical "extreme" elections, acting as a compass on the map. We use the… ▽ More Recently, Szufa et al. [AAMAS 2020] presented a "map of elections" that visualizes a set of 800 elections generated from various statistical cultures. While similar elections are grouped together on this map, there is no obvious interpretation of the elections' positions. We provide such an interpretation by introducing four canonical "extreme" elections, acting as a compass on the map. We use them to analyze both a dataset provided by Szufa et al. and a number of real-life elections. In effect, we find a new variant of the Mallows model and show that it captures real-life scenarios particularly well. △ Less

Submitted 17 May, 2021; originally announced May 2021.

Comments: Accepted to IJCAI 2021

Pabulib: A Participatory Budgeting Library

Authors: Dariusz Stolicki, Stanisław Szufa, Nimrod Talmon

Abstract: We describe the PArticipatory BUdgeting LIBrary website (in short, Pabulib), which can be accessed via http://pabulib.org/, and which is a library of participatory budgeting data. In particular, we describe the file format (.pb) that is used for instances of participatory budgeting. We describe the PArticipatory BUdgeting LIBrary website (in short, Pabulib), which can be accessed via http://pabulib.org/, and which is a library of participatory budgeting data. In particular, we describe the file format (.pb) that is used for instances of participatory budgeting. △ Less

Submitted 1 December, 2020; originally announced December 2020.

Participatory Budgeting with Cumulative Votes

Authors: Piotr Skowron, Arkadii Slinko, Stanisław Szufa, Nimrod Talmon

Abstract: In participatory budgeting we are given a set of projects---each with a cost, an available budget, and a set of voters who in some form express their preferences over the projects. The goal is to select---based on voter preferences---a subset of projects whose total cost does not exceed the budget. We propose several aggregation methods based on the idea of cumulative votes, e.g., for the setting… ▽ More In participatory budgeting we are given a set of projects---each with a cost, an available budget, and a set of voters who in some form express their preferences over the projects. The goal is to select---based on voter preferences---a subset of projects whose total cost does not exceed the budget. We propose several aggregation methods based on the idea of cumulative votes, e.g., for the setting when each voter is given one coin and she specifies how this coin should be split among the projects. We compare our aggregation methods based on (1) axiomatic properties, and (2) computer simulations. We identify one method, Minimal Transfers over Costs, that demonstrates particularly desirable behavior. In particular, it significantly improves on existing methods, satisfies a strong notion of proportionality, and, thus, is promising to be used in practice. △ Less

Submitted 6 September, 2020; originally announced September 2020.