Very Hard Electoral Control Problems

11/13/2018
by   Zack Fitzsimmons, et al.
0

It is important to understand how the outcome of an election can be modified by an agent with control over the structure of the election. Electoral control has been studied for many election systems, but for all studied systems the winner problem is in P, and so control is in NP. There are election systems, such as Kemeny, that have many desirable properties, but whose winner problems are not in NP. Thus for such systems control is not in NP, and in fact we show that it is typically complete for Σ_2^p (i.e., NP^ NP, the second level of the polynomial hierarchy). This is a very high level of complexity. Approaches that perform quite well for solving NP problems do not necessarily work for Σ_2^p-complete problems. However, answer set programming is suited to express problems in Σ_2^p, and we present an encoding for Kemeny control.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/18/2019

P-Optimal Proof Systems for Each coNP-Complete Set and no Complete Problems in NP∩coNP Relative to an Oracle

We build on a working program initiated by Pudlák [Pud17] and construct ...
research
08/03/2023

Design Tasks and Their Complexity for Hybrid Level 3 of the European Train Control System

Railway networks have become increasingly important in recent times, esp...
research
09/17/2021

Adapting to the Behavior of Environments with Bounded Memory

We study the problem of synthesizing implementations from temporal logic...
research
08/08/2016

Complexity Results for Manipulation, Bribery and Control of the Kemeny Procedure in Judgment Aggregation

We study the computational complexity of several scenarios of strategic ...
research
06/22/2021

A Negative Answer to P?=PSPACE

There is a conjecture on P?=PSPACE in computational complexity zoo. It i...
research
05/12/2021

Application of the Level-2 Quantum Lasserre Hierarchy in Quantum Approximation Algorithms

The Lasserre Hierarchy is a set of semidefinite programs which yield inc...
research
07/07/2022

Search versus Search for Collapsing Electoral Control Types

Electoral control types are ways of trying to change the outcome of elec...

Please sign up or login with your details

Forgot password? Click here to reset