fl25_enum

This data set contains demographic and geographic information about 25
contiguous precincts in the state of Florida. The data lists all possible
partitions of the 25 precincts into three contiguous congressional districts.
The 25-precinct shapefile may be found in <code>fl25</code>

Enables researchers to sample redistricting plans from a pre-specified
target distribution using Sequential Monte Carlo and Markov Chain Monte Carlo
algorithms. The package allows for the implementation of various constraints in
the redistricting process such as geographic compactness and population parity
requirements. Tools for analysis such as computation of various summary statistics
and plotting functionality are also included. The package implements the SMC
algorithm of McCartan and Imai (2023) <doi:10.1214/23-AOAS1763>, the enumeration
algorithm of Fifield, Imai, Kawahara, and Kenny (2020) <doi:10.1080/2330443X.2020.1791773>,
the Flip MCMC algorithm of Fifield, Higgins, Imai and Tarr (2020) <doi:10.1080/10618600.2020.1739532>,
the Merge-split/Recombination algorithms of Carter et al. (2019) <arXiv:1911.01503>
and DeFord et al. (2021) <doi:10.1162/99608f92.eb30390f>, and the Short-burst
optimization algorithm of Cannon et al. (2020) <arXiv:2011.02288>.

Christopher T. Kenny

redist

Simulation Methods for Legislative Redistricting

Cory McCartan

Ben Fifield

Kosuke Imai

Jun Kawahara

Alexander Tarr

Michael Higgins

fl25_enum function

A list with two entries:<dl>
<dt><code>plans</code></dt>
<dd>A matrix containing every partition of the 25 precincts
into three contiguous congressional districts, with no population constraint.</dd><dt><code>pop_dev</code></dt>
<dd>A vector containing the maximum population deviation
across the three districts for each plan.</dd>
</dl>

Format

All Partitions of 25 Precincts into 3 Congressional Districts
(No Population Constraint) — fl25_enum

A list with two entries:<dl>
<dt><code>plans</code></dt>
<dd>A matrix containing every partition of the 25 precincts
into three contiguous congressional districts, with no population constraint.</dd>

<dt><code>pop_dev</code></dt>
<dd>A vector containing the maximum population deviation
across the three districts for each plan.</dd>


</dl>

fl25_enum: All Partitions of 25 Precincts into 3 Congressional Districts (No Population Constraint)

Description

Usage

Arguments

Format

References

Examples