基于 CEGAR 的对象装配与顺序 3D 打印策略组合
人工智能
2026-03-13 v1
摘要
数十年前仅在超级计算机上可获得的计算力量，尤其是其并行能力，如今甚至可以在标准个人计算机 CPU，甚至移动电话的 CPU 上获得。我们展示了如何有效利用现代多核个人计算机 CPU 的计算力来解决对象排列和调度的复杂组合问题，以实现顺序 3D 打印。我们通过将 CEGAR-SEQ 算法（用于解决顺序对象排列和调度）表述为线性算术公式，然后采用类似反例引导抽象细化 (CEGAR) 的技术进行求解来实现并行化。原始 CEGAR-SEQ 算法使用一种将对象排列至打印板中心的策略。我们提出了将对象排列至打印板角落和根据对象高度调度对象等备用对象排列策略。我们的并行化是在高层次上完成的，即在多个对象排列策略的组合中并行执行 CEGAR-SEQ 算法，称为 Portfolio-CEGAR-SEQ。我们的实验评估表明，Portfolio-CEGAR-SEQ 优于原始 CEGAR-SEQ。当对多个打印板的物体批处理进行调度时，Portfolio-CEGAR-SEQ 常常使用更少的打印板。
引用
@article{arxiv.2603.12224,
title = {Portfolio of Solving Strategies in CEGAR-based Object Packing and Scheduling for Sequential 3D Printing},
author = {Pavel Surynek},
journal= {arXiv preprint arXiv:2603.12224},
year = {2026}
}
备注
arXiv admin note: substantial text overlap with arXiv:2503.05071