Shadoks 团队解决平行三角网重构挑战的做法

我们描述了 Team Shadoks 解决 CG:SHOP 2026 挑战中平行三角网重构问题的方法。该挑战的实例由一组共点的三角网组成。我们需要选择一个中心三角网，并为每个输入三角网找到一条短的平行翻转路径到达中心，从而最小化路径长度之和。我们的做法结合了基于 SAT 的精确方法与若干贪心启发式方法，并利用 SAT 和 MaxSAT 进行解决方案的改进。我们提出了有界长度路径的 SAT 编码以及固定路径长度向量的全局公式。我们讨论了这些组件在实际中的交互方式，并总结了在基准实例上我们求解器的性能。