在CAD投影中通过GCD计算构建较少的开放单元
摘要：基于圆柱代数分解（CAD）的新投影算子被提出。新算子计算不同CAD投影顺序产生的投影因子集的交集。换句话说，它计算不同CAD投影顺序产生的同一变量的投影多项式的最大公约数。我们证明了新的算子仍然能够保证从最高维度的每个连通组件获得至少一个样本点，因此可以用于测试多项式的半定性。虽然新方法的复杂度仍然是双指数级的，但在许多情况下，新算子确实会产生较小的投影因子集和较少的开放单元。我们的程序基于新方法高效地解决了一些难以通过现有工具解决的多项式的半定性测试问题。
作者：Jingjun Han, Liyun Dai, Bican Xia
论文ID：1401.4953
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2014-05-20