Insight into Voting Problem Complexity Using Randomized Classes

04/27/2022
by   Zack Fitzsimmons, et al.
0

The first step in classifying the complexity of an NP problem is typically showing the problem in P or NP-complete. This has been a successful first step for many problems, including voting problems. However, in this paper we show that this may not always be the best first step. We consider the problem of constructive control by replacing voters (CCRV) introduced by Loreggia et al. (2015) for the scoring rule First-Last, which is defined by ⟨ 1, 0, …, 0, -1⟩. We show that this problem is equivalent to Exact Perfect Bipartite Matching, and so CCRV for First-Last can be determined in random polynomial time. So on the one hand, if CCRV for First-Last is NP-complete then RP = NP, which is extremely unlikely. On the other hand, showing that CCRV for First-Last is in P would also show that Exact Perfect Bipartite Matching is in P, which would solve a well-studied 40-year-old open problem. By considering RP as an option we also gain insight into the complexity of CCRV for 2-Approval, ultimately showing it in P, which settles the complexity of the sole open problem in the comprehensive table from Erdélyi et al. (2021).

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/26/2023

Using Weighted Matching to Solve 2-Approval/Veto Control and Bribery

Determining the complexity of election attack problems is a major resear...
research
09/20/2017

Complexity of Finding Perfect Bipartite Matchings Minimizing the Number of Intersecting Edges

Consider a problem where we are given a bipartite graph H with vertices ...
research
02/22/2023

Cutting Barnette graphs perfectly is hard

A perfect matching cut is a perfect matching that is also a cutset, or e...
research
03/25/2022

Exact Matching: Algorithms and Related Problems

In 1982, Papadimitriou and Yannakakis introduced the Exact Matching (EM)...
research
01/22/2018

Polynomial-Time Random Oracles and Separating Complexity Classes

Bennett and Gill (1981) showed that P^A != NP^A != coNP^A for a random o...
research
02/24/2022

Exact Matching in Graphs of Bounded Independence Number

In the Exact Matching Problem (EM), we are given a graph equipped with a...
research
05/04/2018

A Note on "New techniques for noninteractive zero-knowledge"

In 2012, Groth, et al. [J. ACM, 59 (3), 1-35, 2012] developed some new t...

Please sign up or login with your details

Forgot password? Click here to reset