拉塞尔·布拉德福德；詹姆斯·H·达文波特。；英格兰，马修；斯科特·麦卡勒姆；大卫·威尔逊 真值表不变量柱面代数分解。 （英语） Zbl 1351.68314号 J.塞姆。计算。 76, 1-35 (2016). 摘要：当使用柱面代数分解（CAD）来解决一组多项式的问题时，最重要的可能不是这些多项式的符号，而是涉及它们的某些无量词公式的真值。这一观察激发了我们的文章和真值表不变量CAD（TTICAD）的定义。在[“布尔组合的柱面代数分解”中，见：第38届符号和代数计算国际研讨会论文集，ISSAC’13。纽约州纽约市：计算机协会（ACM）。125–132 (2013;doi:10.1145/2465506.2465516)]当前作者提出了一种算法，该算法可以有效且直接地为公式列表构造TTICAD，其中每个公式都有一个等式约束。这是通过推广McCallum的简化投影算子理论实现的。在本文中，我们提出了我们的理论的一个扩展版本，它可以应用于任意的公式列表，如果至少有一个公式具有等式约束，则可以实现节省。我们还解释了简化投影算子的理论如何允许进一步改进CAD算法的提升阶段，即使是在单个方程约束的情况下。该算法已在Maple中完全实现，我们给出了实验结果和复杂性分析，显示了我们的贡献的好处。 引用于22文件 MSC公司： 68瓦30 符号计算和代数计算 第14页99 实代数和实解析几何 1999年第14季度 代数几何中的计算方面 关键词：圆柱代数分解；等式约束 软件：梅蒂塔斯基；投影CAD；BranchCuts（分支切割）；枫树；QEPCAD公司；正则链 PDF格式BibTeX公司 XML格式引用 \textit{R.Bradford}等人，J.Symb。计算。76，1--35（2016；Zbl 1351.68314） 全文： 内政部 arXiv公司 参考文献： [1] Arnon，D.，基于聚类的柱面代数分解算法，J.Symb。计算。，5, 1-2, 189-212 (1988) ·Zbl 0648.68056号 [2] Arnon，D。；柯林斯，G。；McCallum，S.，《柱代数分解I：基本算法》，SIAM J.Compute。，13, 865-877 (1984) ·Zbl 0562.14001号 [3] Arnon，D。；柯林斯，G。；McCallum，S.，《圆柱代数分解II：平面的邻接算法》，SIAM J.Compute。，1878-889年（1984年）·Zbl 0562.14001号 [4] Arnon，D。；柯林斯，G。；McCallum，S.，三维空间柱面代数分解的邻接算法，J.Symb。计算。，5, 1/2, 163-187 (1988) ·Zbl 0648.68055号 [5] 巴苏，S。；波拉克，R。；Roy，M.，《关于量词消除的组合和代数复杂性》，J.ACM，43，6，1002-1045（1996）·Zbl 0885.68070号 [6] 布拉德福德，R。；陈，C。；Davenport，J.H。；英格兰，M。；莫雷诺·马扎（Moreno Maza，M.）。；Wilson，D.，通过正则链进行真值表不变柱面代数分解，（CASC’14（2014），Springer），44-58·Zbl 1350.68293号 [7] 布拉德福德，R。；Davenport，J.H.，《为了更好地简化初等函数》，（ISSAC’02（2002），ACM），16-22·Zbl 1072.68651号 [8] 布拉德福德，R。；Davenport，J.H。；英格兰，M。；McCallum，S。；Wilson，D.，布尔组合的柱面代数分解，（ISSAC’13（2013），ACM），125-132·Zbl 1359.68327号 [9] 布拉德福德，R。；Davenport，J.H。；英格兰，M。；Wilson，D.，优化圆柱代数分解的问题公式，（智能计算机数学。智能计算机数学，LNAI，第7961卷（2013），施普林格：施普林格柏林，海德堡），19-34·Zbl 1390.68775号 [10] Brown，C.，真不变柱面代数分解的简化，（ISSAC’98（1998），ACM），295-301·Zbl 0918.68058号 [11] Brown，C.，《圆柱代数分解的改进投影》，J.Symb。计算。，32, 5, 447-465 (2001) ·Zbl 0981.68186号 [12] Brown，C.，使用CAD计算半代数集的程序，ACM SIGSAM Bull。，37, 4, 97-108 (2003) ·Zbl 1083.68148号 [13] Brown，C.，教程伴侣，圆柱代数分解（ISSAC’04（2004）） [14] Brown，C.，The McCallum projection，lifting，and order invariance（2005），美国海军学院，计算机科学部，技术代表 [15] Brown，C.，在圆柱形代数分解中构造单个开单元，（ISSAC’13（2013），ACM），133-140·兹比尔1360.68924 [16] 布朗，C。；Davenport，J.H.，量词消除和柱面代数分解的复杂性，（ISSAC’07（2007），ACM），54-60·Zbl 1190.68028号 [17] 布朗，C。；Kahoui，M.E。；诺沃特尼博士。；Weber，A.，《流行病建模中平衡研究的算法方法》，J.Symb。计算。，41, 1157-1173 (2006) ·Zbl 1120.92034号 [18] 布朗，C。；McCallum，S.，《关于在CAD构造中使用双方程约束》，（ISSAC’05（2005），ACM），76-83·Zbl 1360.68925号 [19] Buchberger，B。；Hong，H.，《加速Gröbner碱基消除量词》（1991），RISC，约翰内斯·开普勒大学，技术代表91-06 [20] 陈，C。；Davenport，J.H。；May，J。；莫雷诺·马扎（Moreno Maza，M.）。；夏，B。；Xiao，R。；Xie，Y.，Maple中几何分解算法的用户界面设计，（Proc.Mathematical User-interface（2009）），第12页 [21] 陈，C。；莫雷诺·马扎（Moreno Maza，M.）。；夏，B。；Yang，L.，通过三角分解计算柱面代数分解，（ISSAC’09（2009），ACM），95-102·Zbl 1237.14068号 [22] Collins，G.，通过柱面代数分解消除量词——20年的进展·Zbl 0900.03053号 [23] 柯林斯，G。；Hong，H.，量词消除的部分柱面代数分解，J.Symb。计算。，12, 299-328 (1991) ·Zbl 0754.68063号 [24] Davenport，J.H。；布拉德福德，R。；英格兰，M。；Wilson，D.，存在复数的程序验证，带分支切割的函数等，（SYNASC’12（2012），IEEE），83-88 [25] Davenport，J.H。；Heintz，J.，实量词消除是双指数的，J.Symb。计算。，5，1-2，29-35（1988年）·Zbl 0663.03015号 [26] Dolzmann，A。；塞德尔，A。；Sturm，T.，CAD的有效投影订单，（ISSAC'04（2004），ACM），111-118·Zbl 1134.68575号 [27] 英格兰，M。；布拉德福德，R。；陈，C。；Davenport，J.H。；莫雷诺·马扎（Moreno Maza，M.）。；Wilson，D.，通过增量三角分解实现真稳定不变柱面代数分解的问题公式，（智能计算机数学。智能计算机数学，LNAI，第8543卷（2014），Springer International），45-60·Zbl 1304.68223号 [28] 英格兰，M。；布拉德福德，R。；Davenport，J.H.，《改进柱面代数分解中等式约束的使用》，（ISSAC’15（2015），ACM），165-172·兹比尔1346.68283 [29] 英格兰，M。；布拉德福德，R。；Davenport，J.H。；Wilson，D.，理解表达式的分支，（智能计算机数学。智能计算机数学，LNAI，第7961卷（2013），施普林格：施普林格柏林，海德堡），136-151·Zbl 1390.68777号 [30] 英格兰，M。；布拉德福德，R。；Davenport，J.H。；Wilson，D.，通过增量三角分解为真稳定不变柱面代数分解选择变量顺序，（数学软件-ICMS 2014）。数学软件-ICMS 2014，LNCS，第8592卷（2014），Springer:Springer-Hidelberg），450-457·Zbl 1350.68294号 [31] 英格兰，M。；Cheb-Terrab，E。；布拉德福德，R。；Davenport，J.H。；Wilson，D.Branch切入枫树17，ACM CCA，187，1，24-27（2014）·Zbl 1369.68358号 [32] 英格兰，M。；Wilson，D。；布拉德福德，R。；Davenport，J.H.，《使用正则链库通过投影和提升构建柱面代数分解》（数学软件-ICMS 2014）。数学软件-ICMS 2014，LNCS，第8592卷（2014），Springer:Springer-Hidelberg），458-465·兹比尔1437.14008 [33] Erascu，M。；Hong，H.，使用实数消除的最优数值算法的合成（案例研究：平方根计算），（ISSAC’14（2014），ACM），162-169·Zbl 1325.68276号 [34] Fotiou，I。；帕里罗，P。；Morari，M.，使用柱面代数分解的非线性参数优化，（CDC-ECC’05（2005）），3735-3740 [35] Han，J。；戴，L。；Xia，B.，通过CAD投影中的gcd计算构建更少的开放单元，（ISSAC’14（2014），ACM），240-247·Zbl 1325.68286号 [36] Hong，H.，圆柱代数分解中投影算子的改进，（ISSAC’90（1990），ACM），261-264 [37] 黄，Z。；英格兰，M。；Wilson，D。；Davenport，J.H。；Paulson，L。；Bridge，J.，《将机器学习应用于选择启发式方法以选择圆柱代数分解的变量顺序的问题》，（智能计算机数学。智能计算机数学，LNAI，第8543卷（2014），Springer International），92-107·Zbl 1304.68224号 [38] Iwane，H。；Yanami，H。；阿奈，H。；Yokoyama，K.，用于量词消除的符号-数字柱面代数分解的有效实现，（SNC’09（2009）），55-64·Zbl 1356.68282号 [39] 约万诺维奇，D。；de Moura，L.，《求解非线性算法》，（IJCAR.IJCAR，LNCS，第7364卷（2012），施普林格出版社），339-354·兹比尔1358.68257 [40] Kahan，W.，《复杂初等函数的分支切割》（Iserles，A.；Powell，M.，Proc.State of Art in Numerical Analysis（1987），Clarendon Press），165-211·Zbl 0615.65014号 [41] Lazard，D.，圆柱代数分解的改进投影，（代数几何及其应用：阿比扬卡60岁生日会议论文集（1994），施普林格：施普林格柏林），467-476·Zbl 0822.68118号 [42] McCallum，S.，《圆柱代数分解的改进投影运算》（1985），威斯康星大学麦迪逊分校，博士论文（计算机科学技术代表578） [43] McCallum，S.，《三维空间柱面代数分解的改进投影操作》，J.Symb。计算。，5, 1-2, 141-161 (1988) ·Zbl 0648.68054号 [44] McCallum，S.，圆柱代数分解的改进投影操作，（Caviness，B.；Johnson，J.，量词消除和圆柱代数分解。量词消除与圆柱代数分解，符号计算中的文本与专题（1998），Springer-Verlag），242-268·Zbl 0900.68279号 [45] McCallum，S.，《基于CAD的等式约束量词消除中的投影》，（ISSAC’99（1999），ACM），145-149 [46] McCallum，S.，《关于基于CAD的量词消除中等式约束的传播》，（ISSAC’01（2001），ACM），223-231·Zbl 1356.68287号 [47] Paulson，L.，Metitarski:过去与未来，（交互式定理证明。交互式定理证明，LNCS，第7406卷（2012），Springer），1-10·Zbl 1360.68765号 [48] 菲桑布特，N。；布拉德福德，R。；Davenport，J.H.，《分支切割的几何形状》，美国机械工程师协会CCA，44，3，132-135（2010）·Zbl 1305.68367号 [49] 施瓦茨，J。；Sharir，M.，《关于“钢琴搬运工”问题：II》。计算实代数流形拓扑性质的一般技术，Adv.Appl。数学。，4, 298-351 (1983) ·Zbl 0554.51008号 [50] 塞德尔，A。；Sturm，T.，部分柱面代数分解的通用投影算子，（ISSAC’03（2003），ACM），240-247·Zbl 1072.68696号 [51] 斯特泽波恩斯基，A.，《使用验证数值的圆柱代数分解》，J.Symb。计算。，41, 9, 1021-1038 (2006) ·Zbl 1124.68123号 [52] 斯特泽波恩斯基，A.，用圆柱代数公式表示的半代数集进行计算，（ISSAC’10（2010），ACM），61-68·Zbl 1321.68543号 [53] 斯特泽波恩斯基，A.，使用局部投影的柱代数分解，（ISSAC’14（2014），ACM），389-396·兹比尔1325.68302 [54] Wilson，D。；布拉德福德，R。；Davenport，J.H.，CAD示例库，ACM CCA，46，3，67-69（2012）·Zbl 1322.68294号 [55] Wilson，D。；布拉德福德，R。；Davenport，J.H.，用Gröbner基加速柱面代数分解，（智能计算机数学。智能计算机数学，LNAI，第7362卷（2012），Springer），280-294·Zbl 1360.68959号 [56] Wilson，D。；布拉德福德，R。；Davenport，J.H。；England，M.，圆柱代数子分解，数学。计算。科学。，8, 263-288 (2014) ·Zbl 1309.68232号 [57] Wilson，D。；Davenport，J.H。；英格兰，M。；Bradford，R.，“钢琴搬运工”问题重新制定，（2013年，IEEE，SYNASC’13），53-60 [58] Wilson，D。；英格兰，M。；布拉德福德，R。；Davenport，J.H.，《在柱面代数分解中使用单元按维度的分布》（SYNASC’14（2014），IEEE），53-60 [59] Yanami，H。；Anai，H.，《SyNRAC的发展》，（第六届国际计算科学大会：第二部分，第六届计算科学国际大会：第II部分，ICCS’06）。程序。第六届国际计算科学大会：第二部分。程序。第六届国际计算科学大会：第二部分，ICCS’06，LNCS，第3992卷（2006）），462-469·Zbl 1155.68599号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。