[论文解读] Algorithms in Real Algebraic Geometry: A Survey

Saugata Basu|arXiv (Cornell University)|Sep 4, 2014

Polynomial and algebraic computation参考文献 63被引用 20

一句话总结

本综述全面概述了实代数几何中算法发展的现状，重点聚焦于量词消去以及贝蒂数和连通分支等拓扑不变量的计算。文章提出了计算前几项贝蒂数的单指数时间算法，并讨论了关于通过二次不等式定义的半代数集的所有贝蒂数和连通分支高效计算的开放问题。

ABSTRACT

We survey both old and new developments in the theory of algorithms in real algebraic geometry -- starting from effective quantifier elimination in the first order theory of reals due to Tarski and Seidenberg, to more recent algorithms for computing topological invariants of semi-algebraic sets. We emphasize throughout the complexity aspects of these algorithms and also discuss the computational hardness of the underlying problems. We also describe some recent results linking the computational hardness of decision problems in the first order theory of the reals, with that of computing certain topological invariants of semi-algebraic sets. Even though we mostly concentrate on exact algorithms, we also discuss some numerical approaches involving semi-definite programming that have gained popularity in recent times.

研究动机与目标

• 综述实代数几何中的基础与最新算法进展，特别是量词消去和拓扑不变量计算方面。
• 分析半代数集算法的最坏情况复杂度，强调单指数时间界。
• 识别并突出计算复杂性中的开放问题，包括贝蒂数和连通分支的高效计算。
• 将实闭域上一阶理论中决策问题的复杂度与计算拓扑不变量的复杂度联系起来。
• 探讨紧致性的作用，并探索将结果推广至构造性层与函子的潜力。

提出的方法

• 利用Tarski-Seidenberg定理和柱状代数分解（CAD）在实数一阶理论中实现有效的量词消去。
• 应用临界点方法和代数Puiseux级数，设计半代数集计算的单指数时间算法。
• 采用路径图算法计算连通性，并在半代数集中构造点之间的路径。
• 使用符号判定和变形技术处理奇异曲面，提升算法的鲁棒性。
• 引入半代数三角剖分和分层技术，以计算贝蒂数等同调不变量。
• 探索与半定规划及平方和表示的联系，用于多项式非负性的数值逼近。

实验结果

研究问题

• RQ1 能否将计算半代数集所有贝蒂数的复杂度降低为变量数的单指数时间？
• RQ2 是否存在一种单指数时间算法，用于计算由二次不等式定义的集合的半代数连通分支数？
• RQ3 能否将路径图构造的复杂度从k²改进为k，使其与空集测试的复杂度一致？
• RQ4 在Blum-Shub-Smale实闭域计算模型中，紧致性起什么作用，它如何影响算法复杂度？
• RQ5 构造性层与函子的框架能否用于推广实代数几何时现有的算法结果？

主要发现

• 对于任意常数ℓ，存在计算半代数集前ℓ个贝蒂数的单指数时间算法，如定理3.20所形式化。
• 目前计算由ℓ个二次不等式定义的半代数集连通分支数的最佳算法复杂度为k^{2^{O(ℓ)}}，远高于空集测试的k^{O(ℓ)}复杂度。
• 一般半代数集的路径图算法复杂度在路径长度上受s^{k'+1}d^{O(k²)}的限制，其中s为多项式个数，d为其次数。
• 对于由二次不等式定义的半代数集，存在测试空集和在每个连通分支中计算样本点的算法，其复杂度为k^{O(ℓ)}。
• 此类集合的欧拉-庞加莱示性数可在k^{O(ℓ)}时间内计算，但连通分支数的计算仍更困难。
• 近期结果表明，可在连通分支内构造长度为d^{O(k)}的半代数路径，尽管其复杂度无法仅用d和k来界定。