[论文解读] Serial Symmetrical Relocation Algorithm for the Equal Sphere Packing Problem

Wenqi Huang, Liang Yu|arXiv (Cornell University)|Feb 19, 2012

Optimization and Packing Problems参考文献 9被引用 10

一句话总结

本文提出了一种新颖的串行对称重定位算法（SSRA），用于求解球形和立方体容器中的等径球体紧密排列问题。通过迭代地利用基于对称性的重定位方法，并结合‘假想球体’技术以确保严格排列，该方法实现了高密度排列——成功地在半径为5的球体内排列了68个单位球体，从而推翻了长期存在的‘68个球体不可能排列’的猜想。

ABSTRACT

For dealing with the equal sphere packing problem, we propose a serial symmetrical relocation algorithm, which is effective in terms of the quality of the numerical results. We have densely packed up to 200 equal spheres in spherical container and up to 150 equal spheres in cube container. All results are rigorous because of a fake sphere trick. It was conjectured impossible to pack 68 equal spheres of radius 1 into a sphere of radius 5. The serial symmetrical relocation algorithm has proven wrong this conjecture by finding one such packing.

研究动机与目标

• 解决在球体和立方体等有界容器中紧密排列等径球体的计算挑战。
• 克服先前方法在实现高密度、严格排列大球体数量时的局限性。
• 推翻‘68个单位球体无法容纳于半径为5的球体中’的猜想。
• 开发一种稳健的、基于对称性的算法，通过‘假想球体’技巧确保数值上的严格性。
• 为球体内最多200个、立方体内最多150个等径球体的紧密排列问题，实现高质量且可验证的解。

提出的方法

• 该算法采用串行重定位策略，通过迭代移动球体以提升排列密度。
• 采用对称重定位——基于几何对称性重新定位球体，以探索新的、更密集的排列构型。
• 应用‘假想球体’技术以强制实现严格边界，确保所有结果在数学上有效且无近似误差。
• 该方法结合局部搜索与对称性利用，以跳出局部最优解并探索复杂的构型空间。
• 算法通过严格的数值检查实现，以验证最终的排列构型。
• 该方法应用于球形和立方体容器，结果经过正确性和密度的验证。

实验结果

研究问题

• RQ1 系统性算法能否在球形和立方体容器中实现比先前方法更高的球体排列密度？
• RQ2 是否可能在半径为5的球体内排列68个单位球体，从而与广泛持有的猜想相悖？
• RQ3 所提出的算法能否在不依赖启发式近似的情况下，产生严格且可验证的解？
• RQ4 基于对称性的重定位在球体排列优化过程中，能否有效避免陷入局部最优解？
• RQ5 使用确定性且严格的方法，最多可在半径为5的球体内排列多少个等径球体？

主要发现

• SSRA 成功地在半径为5的球体内排列了68个单位球体，直接推翻了‘仅能容纳67个此类球体’的猜想。
• 该算法在球形容器中实现了最多200个等径球体的高密度排列，在立方形容器中实现了最多150个的排列。
• 所有结果均通过‘假想球体’技术严格验证，确保了数学正确性，并消除了近似误差。
• 与先前的启发式或非严格方法相比，该方法在实现高密度排列构型方面表现出更优性能。
• 在半径为5的球体内成功排列68个球体，证实了此前假设的理论上限是错误的。
• 该算法基于对称性的重定位机制，能够有效探索复杂的构型空间，从而获得更优解。