Graph partitioning: redistricting games and the spherical zoning problem