通过增量三角分解选择真值表不变圆柱代数分解的变量排序
摘要：解决实数代数几何问题和其他相关问题的关键工具是圆柱代数分解（CAD）。近年来，已经发展出了一种新的方法，其中使用正则链技术首先在复空间中构建分解。我们考虑了这种方法的最新变体，通过多项式逐步构建复分解，并产生在其单元格上真值不变的一系列公式的CAD。像所有的CAD算法一样，用户必须提供一个变量排序，这可能对问题的可处理性产生深远影响。我们评估了现有的启发式方法，帮助选择这个算法的变量排序，提出改进，并导出了一种与新算法的机制更加密切相关的新启发式方法。
作者：Matthew England, Russell Bradford, James H. Davenport and David Wilson
论文ID：1405.6094
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2014-08-28