Searcharxiv⌕ Search

arXiv subjects

Joanna Kaczmarek

Publications and source records attributed to Joanna Kaczmarek.

3 recordsLinked to original sources

How to Tamper with a Parliament: Strategic Campaigns in Apportionment Elections

In parliamentary elections, parties compete for a limited, typically fixed number of seats. Most parliaments are assembled using apportionment methods that distribute the seats based on the parties' vote counts. Common apportionment methods include divisor sequence methods (like D'Hondt or Sainte-Laguë), the largest-remainder method, and first-past-the-post. In many countries, an electoral threshold is implemented to prevent very small parties from entering the parliament. Further, several countries have apportionment systems that incorporate multiple districts. We study how computationally hard it is to change the election outcome (i.e., to increase or limit the influence of a distinguished party) by convincing a limited number of voters to change their vote. We refer to these bribery-style attacks as \emph{strategic campaigns} and study the corresponding problems in terms of their computational (both classical and parameterized) complexity. We also run extensive experiments on real-world election data and study the effectiveness of optimal campaigns, in particular as opposed to using heuristic bribing strategies and with respect to the influence of the threshold and the influence of the number of districts. For apportionment elections with threshold, finally, we propose -- as an alternative to the standard top-choice mode -- the second-chance mode where voters of parties below the threshold receive a second chance to vote for another party, and we establish computational complexity results also in this setting.

cs.GT↗

Control by Deleting Players from Weighted Voting Games Is NP^PP-Complete for the Penrose-Banzhaf Power Index

Weighted voting games are a popular class of coalitional games that are widely used to model real-life situations of decision-making. They can be applied, for instance, to analyze legislative processes in parliaments or voting in corporate structures. Various ways of tampering with these games have been studied, among them merging or splitting players, fiddling with the quota, and controlling weighted voting games by adding or deleting players. While the complexity of control by adding players to such games so as to change or maintain a given player's power has been recently settled, the complexity of control by deleting players from such games (with the same goals) remained open. We show that when the players' power is measured by the probabilistic Penrose-Banzhaf index, some of these problems are complete for NP^PP -- the class of problems solvable by NP machines equipped with a PP ("probabilistic polynomial time") oracle. Our results optimally improve the currently known lower bounds of hardness for much smaller complexity classes, thus providing protection against SAT-solving techniques in practical applications.

cs.GT↗

Control by Adding Players to Change or Maintain the Shapley-Shubik or the Penrose-Banzhaf Power Index in Weighted Voting Games Is Complete for NP^PP

Weighted voting games are a well-known and useful class of succinctly representable simple games that have many real-world applications, e.g., to model collective decision-making in legislative bodies or shareholder voting. Among the structural control types being analyzing, one is control by adding players to weighted voting games, so as to either change or to maintain a player's power in the sense of the (probabilistic) Penrose-Banzhaf power index or the Shapley-Shubik power index. For the problems related to this control, the best known lower bound is PP-hardness, where PP is "probabilistic polynomial time," and the best known upper bound is the class NP^PP, i.e., the class NP with a PP oracle. We optimally raise this lower bound by showing NP^PP-hardness of all these problems for the Penrose-Banzhaf and the Shapley-Shubik indices, thus establishing completeness for them in that class. Our proof technique may turn out to be useful for solving other open problems related to weighted voting games with such a complexity gap as well.

cs.GT↗