We model the societal task of redistricting political districts as a partitioning problem: Given set n points in plane, each belonging to one two parties, and parameter k, our goal is compute partition P plane into regions so that region contains roughly s = n/k points. should satisfy notion "local" fairness, which related core, well-studied concept cooperative game theory. A associated with ma...