圆柱代数分解问题形式的优化
摘要：圆柱代数分解（CAD）是研究实数代数几何的重要工具，具有数学和其他领域内的许多应用。它在最坏情况下的复杂度为双指数级，但实际计算时间可能差异很大。对于给定的问题，可以提供不同的公式，导致可处理性上的巨大差异。在本文中，我们提出了一种考虑问题的实际几何性质的CAD复杂度新度量方法。这导致了选择CAD问题的变量排序，指定的等式约束和真值表不变CAD（TTICAD）公式的新启发式方法。然后，我们考虑使用Groebner基础作为TTICAD的预处理，并讨论这类公式是否构成了一个新问题的创造。
作者：Russell Bradford and James H. Davenport and Matthew England and David Wilson
论文ID：1304.7222
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2013-07-10