[论文解读] Bonsai: A class of effective methods for independent sampling of graph partitions

Jeanne N. Clelland, Kristopher Tapp|arXiv (Cornell University)|Mar 18, 2026

Markov Chains and Monte Carlo Methods被引用 0

一句话总结

Bonsai 引入对图分区的独立采样以生成区划方案，并将其与 Markov 链方法如 ReCom 进行比较，同时提供在网格和真实世界 VTD 图上的分布与性能的理论与经验证据。

ABSTRACT

We develop effective methods for constructing an ensemble of district plans via independent sampling from a reasonable probability distribution on the space of graph partitions. We compare the performance of our algorithms to that of standard Markov Chain based algorithms in the context of grid graphs and state congressional and legislative maps. For the case of perfect population balance between districts, we provide an explicit description of the distribution from which our method samples.

研究动机与目标

• 说明需要独立采样以避免在重新划分集合中的遍历性与混合问题。
• 开发可实际操作的 Bonsai 算法，使区划方案从显式分布中独立采样。
• 在严格平衡情况下对 Bonsai 采样进行理论表征，并提供一个适用于不完美平衡的灵活框架。
• 在网格和真实世界投票区图上对 Bonsai 与 ReCom 变体进行实证比较，以评估分布特性与效率属性。

提出的方法

• 引入 Complete Cut 作为基线独立采样方法，利用统一生成树将 G 分割成 k 个人口相等的区界。
• 开发 Bonsai：从生成树中生成所有可能的平衡切分，递归地分割产生的子图，并使用回溯来避免卡死状态。
• 通过容忍乘子函数 phi 和一个最佳边选择规则扩展 Bonsai 以实现不完美平衡的情况，以及有效切分。
• 给出算法 2 的采样分布等价表述，并讨论多项式时间采样与基于生成树的分布。
• 描述回溯参数（MaxTrees、MaxFails）以增强鲁棒性并确保最终分割。
• 探索变体包括使用最小生成树和不同的边选择策略。

Figure 1: Bonsai algorithm for partitioning a $6\times 6$ grid graph into $6$ equal-size districts: (a) uniformly sampled spanning tree; (b) valid cut edges on spanning tree; (c) partial partition of graph; (d) uniformly sampled spanning trees on double-district-sized-pieces; (e) valid cut edges on

实验结果

研究问题

• RQ1 通过 Bonsai 的独立采样，是否能够生成具有严格或接近严格人口平衡的区划方案？
• RQ2 Bonsai 的采样分布与基于生成树的集成以及基于 ReCom 的集合在网格与真实世界图上的比较如何？
• RQ3 使用统一生成树与最小生成树对方案质量及与 ReCom 变体的分布相似性有何影响？
• RQ4 Bonsai 能否在多项式时间内高效地对大样本进行采样并利用并行化而不产生遍历性问题？
• RQ5 在不完美平衡设置中，有效切边定义和容忍函数 phi 如何影响成功率与鲁棒性？

主要发现

• Bonsai 产生的方案集合统计量介于 ReCom 的区对和切边变体之间，且通常更接近区对变体。
• Bonsai 的统一生成树实现和最小生成树实现对网格与 VTD 图均表现出一致的性能，通常最小生成树产生的区块更加紧凑。
• Bonsai 实现独立采样，避免了 Markov 链方法固有的遍历性与混合问题，并使并行化变得直接可行。
• 论文对严格平衡情形下 Bonsai 的采样分布给出显式描述，并对通过 phi 实现的不完美平衡提供了一个灵活框架，支持该情形下的理论保证。
• 在 7x7、50x50 网格以及 PA 与 NC VTD 图上的经验结果表明 Bonsai 在区划数量与平衡容忍度下具有鲁棒性。

(b)