标签: minizinc
我正在研究政治重新划分,并想知道什么是最好的模式
示例问题是: 7000个人口普查区,每个都有坐标和人口, 被分配到53个地区。
约束:所有地区的人口在1%以内
最大化:"紧凑性"地区(即:尽量减少gerrymandering)
对于紧凑性的简单测量,我可以使用距质心的距离的平均值/中值。
这似乎是一个相当简单的约束聚类问题, 但是在教程中我没有提到聚类问题。
本教程的背包模型似乎无法满足紧凑性要求。
与Minizinc兼容的最佳型号是什么?