ETH Flippers：三角网重构的并行重新配置方法：SAT 建模与启发式
计算几何
2026-03-25 v1
摘要
我们描述了 ETH Flippers 团队在 CG:SHOP 2026 挑战中使用的算法。每个实例包含一组在共同点集上的三角网，目标是找到一种中心三角网，以最小化其到输入集中所有三角网的总平行翻转距离。我们的策略将小型和中型实例的精确求解器与大型实例的一套启发式方法相结合。对于精确方法，我们将问题建模为 SAT 实例，使用 XOR 子句来建模跨多个轮次的边缘转换，并通过从精确成对距离导出的下界进行优化。对于大型实例，我们使用贪心局部搜索和边缘着色技术来识别最大的独立翻转集合。我们的方法在整体排名中位居第二，在 junior 类别中位居第一，计算出 186 个 250 个实例的严谨最优解。
关键词
引用
@article{arxiv.2603.22456,
title = {ETH Flippers Approach to Parallel Reconfiguration of Triangulations: SAT formulation and Heuristics},
author = {Lorenzo Battini and Marko Milenković},
journal= {arXiv preprint arXiv:2603.22456},
year = {2026}
}