Gerrymandering Trees: Parameterized Hardness

05/13/2022
by   Andrew Fraser, et al.
0

In a representative democracy, elections involve partitioning geographical space into districts which each elect a single representative. Legislation is then determined by votes from these representatives, and thus political parties are incentivized to win as many districts as possible (ideally a plurality). Gerrymandering is the process by which these districts' boundaries are manipulated to give favor to a certain candidate or party. Cohen-Zemach et al. (AAMAS 2018) proposed Gerrymandering as a formalization of this problem on graphs (as opposed to Euclidean space) where districts partition vertices into connected subgraphs. More recently, Gupta et al. (SAGT 2021) studied its parameterized complexity and gave an FPT algorithm for paths with respect to the number of districts k. We prove that Gerrymandering is W[2]-hard on trees (even when the depth is two) with respect to k, answering an open question of Gupta et al. Moreover, we prove that Gerrymandering remains W[2]-hard in trees with ℓ leaves with respect to the combined parameter k+ℓ. To complement this result, we provide an algorithm to solve Gerrymandering that is FPT in k when ℓ is a fixed constant.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/17/2021

The Complexity of Gerrymandering Over Graphs: Paths and Trees

Roughly speaking, gerrymandering is the systematic manipulation of the b...
research
02/24/2022

Parameterized Intractability for Multi-Winner Election under the Chamberlin-Courant Rule and the Monroe Rule

Answering an open question by Betzler et al. [Betzler et al., JAIR'13], ...
research
01/30/2022

Solving Routing Problems via Important Cuts

We introduce a novel approach of using important cuts which allowed us t...
research
02/19/2021

Gerrymandering on graphs: Computational complexity and parameterized algorithms

Partitioning a region into districts to favor a particular candidate or ...
research
08/11/2023

Finding Long Directed Cycles Is Hard Even When DFVS Is Small Or Girth Is Large

We study the parameterized complexity of two classic problems on directe...
research
03/12/2018

Partitioning a graph into degenerate subgraphs

Let G = (V, E) be a graph with maximum degree k≥ 3 distinct from K_k+1. ...
research
08/04/2022

Almost Consistent Systems of Linear Equations

Checking whether a system of linear equations is consistent is a basic c...

Please sign up or login with your details

Forgot password? Click here to reset