CohenAddad, Vincent ;
Klein, Philip N. ;
Marx, Dániel ;
Wheeler, Archer ;
Wolfram, Christopher
On the Computational Tractability of a Geographic Clustering Problem Arising in Redistricting
Abstract
Redistricting is the problem of dividing up a state into a given number k of regions (called districts) where the voters in each district are to elect a representative. The three primary criteria are: that each district be connected, that the populations of the districts be equal (or nearly equal), and that the districts are "compact". There are multiple competing definitions of compactness, usually minimizing some quantity.
One measure that has been recently been used is number of cut edges. In this formulation of redistricting, one is given atomic regions out of which each district must be built (e.g., in the U.S., census blocks). The populations of the atomic regions are given. Consider the graph with one vertex per atomic region and an edge between atomic regions with a shared boundary of positive length. Define the weight of a vertex to be the population of the corresponding region. A districting plan is a partition of vertices into k pieces so that the parts have nearly equal weights and each part is connected. The districts are considered compact to the extent that the plan minimizes the number of edges crossing between different parts.
There are two natural computational problems: find the most compact districting plan, and sample districting plans (possibly under a compactness constraint) uniformly at random.
Both problems are NPhard so we consider restricting the input graph to have branchwidth at most w. (A planar graph’s branchwidth is bounded, for example, by its diameter.) If both k and w are bounded by constants, the problems are solvable in polynomial time. In this paper, we give lower and upper bounds that characterize the complexity of these problems in terms of parameters k and w. For simplicity of notation, assume that each vertex has unit weight. We would ideally like algorithms whose running times are of the form O(f(k,w) n^c) for some constant c independent of k and w (in which case the problems are said to be fixedparameter tractable with respect to those parameters). We show that, under standard complexitytheoretic assumptions, no such algorithms exist. However, the problems are fixedparameter tractable with respect to each of these parameters individually: there exist algorithms with running times of the form O(f(k) n^{O(w)}) and O(f(w) n^{k+1}). The first result was previously known. The new one, however, is more relevant to the application to redistricting, at least for coarse instances. Indeed, we have implemented a version of the algorithm and have used to successfully find optimally compact solutions to all redistricting instances for France (except Paris, which operates under different rules) under various populationbalance constraints. For these instances, the values for w are modest and the values for k are very small.
BibTeX  Entry
@InProceedings{cohenaddad_et_al:LIPIcs.FORC.2021.3,
author = {CohenAddad, Vincent and Klein, Philip N. and Marx, D\'{a}niel and Wheeler, Archer and Wolfram, Christopher},
title = {{On the Computational Tractability of a Geographic Clustering Problem Arising in Redistricting}},
booktitle = {2nd Symposium on Foundations of Responsible Computing (FORC 2021)},
pages = {3:13:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {9783959771870},
ISSN = {18688969},
year = {2021},
volume = {192},
editor = {Ligett, Katrina and Gupta, Swati},
publisher = {Schloss Dagstuhl  LeibnizZentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2021/13871},
URN = {urn:nbn:de:0030drops138718},
doi = {10.4230/LIPIcs.FORC.2021.3},
annote = {Keywords: redistricting, algorithms, planar graphs, lower bounds}
}
31.05.2021
Keywords: 

redistricting, algorithms, planar graphs, lower bounds 
Seminar: 

2nd Symposium on Foundations of Responsible Computing (FORC 2021)

Issue date: 

2021 
Date of publication: 

31.05.2021 