TY - JOUR AU - Fitzsimmons, Zack AU - Hemaspaandra, Edith AU - Hoover, Alexander AU - Narváez, David E. PY - 2019/07/17 Y2 - 2024/03/29 TI - Very Hard Electoral Control Problems JF - Proceedings of the AAAI Conference on Artificial Intelligence JA - AAAI VL - 33 IS - 01 SE - AAAI Technical Track: Game Theory and Economic Paradigms DO - 10.1609/aaai.v33i01.33011933 UR - https://ojs.aaai.org/index.php/AAAI/article/view/4021 SP - 1933-1940 AB - <p>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 these 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 ∑<sup><em>p</em></sup><sub>2</sub> (i.e., NP<sup>NP</sup>, 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 ∑<sup><em>p</em></sup><sub>2</sub>-complete problems. However, answer set programming is suited to express problems in ∑<sup><em>p</em></sup><sub>2</sub>, and we present an encoding for Kemeny control.</p> ER -