木工设计与制作计划的协同优化：补充材料
摘要：通过给定木工设计，优化制造计划的过去工作可以提供在材料浪费、制造时间、精确度和其他考虑因素之间权衡的帕累托最优计划。然而，在开发制造计划时，专家很少局限于单一设计，而是考虑设计变体的家族，有时调整设计以简化制造过程。使用当前技术来同时探索每个设计的设计和制造计划空间是棘手的。我们提出了一种新的方法，来同时优化木制物品的设计和制造计划。为了使这种双层优化可行，我们借鉴了基于等式图（e-graphs）的程序合成最新工作，它可以编码一组等效的程序。我们的洞察力是，双层问题中的子问题共享重要的子结构。通过在新的部件包（BOP）e-graph中表示设计和制造计划，我们摊销了在多个候选者之间共享的设计组件的优化成本。即使使用了BOP e-graphs，优化空间在实践中迅速增长。因此，我们还展示了一种名为迭代收缩与等式图扩展（ICEE）的反馈引导搜索策略，以使e-graph的大小可管理，并将搜索引导到有前景的候选者上。我们通过木工领域的示例说明了我们的流程的优势。
作者：Haisen Zhao, Max Willsey, Amy Zhu, Chandrakana Nandi, Zachary Tatlock, Justin Solomon, Adriana Schulz
论文ID：2107.14745
分类：Graphics
分类简称：cs.GR
提交时间：2021-08-02