[论文解读] Computing Pretropisms for the Cyclic n-Roots Problem

Jeff Sommars, Jan Verschelde|arXiv (Cornell University)|Feb 23, 2016

Polynomial and algebraic computation参考文献 11被引用 3

一句话总结

本文提出了一种基于多面体方法的优化算法，用于计算循环 $n$-根问题中的预拓扑（pretropisms），通过锥交集剪枝和边骨架探索提升效率。该方法通过检测锥包含关系并消除重复路径，减少冗余计算，在 $n=10$ 时相比先前方法实现 10 倍性能提升。

ABSTRACT

The cyclic n-roots problem is an important benchmark problem for polynomial system solvers. We consider the pruning of cone intersections for a polyhedral method to compute series for the solution curves.

研究动机与目标

• 开发一种更高效的算法，用于计算循环 $n$-根问题中的预拓扑，该问题在多项式系统求解中是一个关键基准。
• 减少在用于解的级数展开的多面体方法中，由冗余锥交集带来的计算开销。
• 利用牛顿多面体的结构对称性与几何特性，加速预拓扑计算。
• 通过引入锥包含性检查与搜索树中重复节点的消除，改进先前算法。
• 通过在边骨架上优化卷包裹（gift-wrapping）方法，实现对更高 $n$ 的预拓扑计算的可扩展性。

提出的方法

• 该算法采用类似卷包裹的方式，探索牛顿多面体的边骨架，以计算候选预拓扑。
• 对于搜索树中的每个锥，检查当前锥是否被包含在某条边的法锥中，或与之相交，从而避免冗余的锥交集。
• 通过生成元包含性检查来测试锥包含性，其计算成本低于完整的锥交集计算。
• 对搜索树中的重复节点（例如，由多条路径共享的锥）进行剪枝，以消除冗余探索。
• 通过将锥加入队列并在多个进程间分发，实现算法并行化，以提升性能。
• 使用约化后的循环 $n$-根问题作为重写形式，以消除对称性并降低环境维数，最终将结果映射回原问题。

实验结果

研究问题

• RQ1 锥交集剪枝在循环 $n$-根问题的预拓扑计算中如何提升效率？
• RQ2 锥包含性与重复节点检测在减少冗余计算中起到何种作用？
• RQ3 新算法在计算工作量（交集与包含性检查）方面相比先前方法提升了多少？
• RQ4 性能提升随 $n$ 增大如何变化，尤其是在 $n>10$ 时？
• RQ5 通过约化循环 $n$-根问题形式实现的对称性约化，能否实现更具可扩展性的预拓扑计算？

主要发现

• 对于 $n=10$，新算法共执行 9,011,556 次操作（交集与包含性检查），而先前方法为 93,865,153 次，效率提升达 10.4 倍。
• 先前方法工作量与新方法工作量的比值随 $n$ 增大而增加，在 $n=10$ 时达到 10.4，表明剪枝带来的收益呈累积效应。
• 通过检测锥包含性，算法显著提升了速度，避免了昂贵的锥交集计算。
• 重复节点剪枝减少了冗余探索路径，尤其在多面体数量增加时效果显著。
• 使用约化循环 $n$-根问题简化了几何结构，实现更快计算，同时保持预拓扑等价性。
• 尽管原型实现速度仍慢于 Gfan 工具，但作者预计通过引入对称性感知优化与并行化可实现性能提升。