Method
The project uses 2020 Census data for Washington State and builds a county adjacency matrix to represent geographic restrictions.
Linear programming was then used to assign counties into districts while respecting allocation rules, county minimums, demographic variables, and manually defined geographic cut constraints included in the assignment model.
Result
The model generated 10 assigned districts and an interactive map. The population-balance chart also makes the limits of the simplified county-level model visible: district populations are not perfectly balanced, and King County dominates one assignment because the model allocates at county granularity.
That honesty helps the project read as decision analytics rather than a polished political map.