利用维度上的单元分布进行圆柱代数分解
摘要：通过维度在圆柱代数分解（CAD）中的细胞分布，我们进行了研究。我们发现它们遵循一种标准的分布，这似乎在很大程度上独立于所用的底层问题或CAD算法。相反，这种分布是固有的圆柱结构，主要由变量的数量决定。 然后，将这一见解与一个仅产生全维细胞的算法相结合，给出了一个准确预测完整CAD中细胞数量的方法。由于仅构造全维细胞相对廉价（不涉及昂贵的代数式计算），因此这为在CAD的问题形式化的各种问题上提供了启发式方法，例如选择最佳变量排序。我们的实验证明，这种方法可以非常有效。
作者：David Wilson, Matthew England, Russell Bradford and James H. Davenport
论文ID：1409.1781
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2015-02-13