解析布尔多项式系统的特征集方法的效率
摘要：改进的特征集算法用于解决布尔多项式系统。该算法基于将所有多项式转换为单项式，并使用加法获得伪剩余的思想。该算法应用了三个重要的技术。第一个是通过新生成的线性多项式消除变量。第二个是优化选择用于零分解的多项式的策略。第三个是通过计算加剩余来消除新生成的单项式的主导变量。通过分析零分解树的深度，我们给出了该算法的一些复杂度界限，这些界限低于之前特征集算法的复杂度界限。广泛的实验结果表明，与之前用于解决布尔多项式系统的特征集算法相比，这个新算法更加高效。
作者：Zhenyu Huang, Yao Sun, Dongdai Lin
论文ID：1405.4596
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2019-11-12