×
费德里科·贝根蒂;莫妮卡，斯蒂芬妮娅

有限域上高次多项式约束推理的细分算法。 （英语） Zbl 1474.68323号

安。数学。Artif公司。智力。 87，第4期，343-360（2019）.
摘要：本文提出了一种算法来推理以整数系数多项式表示的约束，这些多项式的变量取自整数的有限子集。该算法假设变量域的初始近似可用边界盒表示，并递归地将边界盒细分为不相交的盒，直到满足终止条件。该算法包括三个终止条件，允许将其用于三个相关的推理任务：约束满足、解决方案枚举和超圆弧一致性强制。所考虑的终止条件是基于箱上多项式函数的适当上界和下界，这些上界是使用本文证明的新结果确定的。该算法特别适合于对高次多项式约束进行推理，因为当考虑中等数量变量中的高次多项式时，所提出的确定上下界的方法可以优于其他方法。

MSC公司：

68T20型 人工智能背景下的问题解决（启发式、搜索策略等）
68T27型 人工智能中的逻辑

关键词：

高次多项式约束;有限域上的多项式约束;约束满足问题

软件：

SWI序言;clpfd公司
PDF格式BibTeX公司 XML格式引用
\textit{F.Bergenti}和\textit{S.Monica}，Ann.数学。Artif公司。智力。87，第4号，343--360（2019；Zbl 1474.68323）
全文： 内政部

参考文献：

[1] Apt，K.，《约束编程原理》（2003），剑桥：剑桥大学出版社，剑桥·Zbl 1187.68132号
[2] Bergenti，F。；Monica，S.，有限域上多项式约束的超弧一致性，使用修正的Bernstein形式，Ann.Math。Artif公司。智力。，80, 2, 131-151 (2017) ·Zbl 1409.68268号 ·doi:10.1007/s10472-017-9544-z
[3] Bergenti，F.，Monica，S.：使用函数值满足有限域上的多项式约束。摘自：Della Monica，D.、Murano，A.、Rubin，S.、Sauro，L.（编辑）《第十八届意大利理论计算机科学会议和第三十二届意大利计算逻辑会议联合会议记录》（ICTCS 2017和CILC 2017），CEUR研讨会记录，第1949卷，第262-275页。亚琛RWTH（2017）
[4] Bergenti，F.，Monica，S.：使用区间算法实现简单有效的符号一致性。在：Casagrande，A.，Omodeo，E.G.（编辑）《第34届意大利计算逻辑会议论文集》（CILC 2019），CEUR研讨会论文集，第2396卷，第89-103页。亚琛RWTH（2019）
[5] Bergenti，F.，Monica，S.，Rossi，G.：有限域上多项式约束的修正Bernstein形式求解。In：佛罗伦萨，C.，Momigliano，A.（eds.）《第31届意大利计算逻辑会议论文集》（CILC 2016），CEUR研讨会论文集，第1645卷，第118-131页。亚琛RWTH（2016）·Zbl 1430.68287号
[6] Bergenti，F.，Monica，S.，Rossi，G.：用改进的Bernstein形式求解有限域上多项式约束的细分方法。In：Adorni，G.，Cagnoni，S.、Gori，M.、Maratea，M.（eds.）AI*IA 2016《人工智能进展》，《计算机科学讲义》，第10037卷，第179-191页。施普林格国际出版公司（2016）·兹比尔1430.68287
[7] Bergenti，F。；莫妮卡，S。；Rossi，G.，有限域上多项式约束的约束逻辑规划，基础信息学，161，1-2，9-27（2018）·Zbl 1396.68030号 ·doi:10.3233/FI-2018-1693
[8] Bhansali，S。；佐治亚州克莱默；Hoar，Tj，符号几何约束满足的原则方法，J.Artif。智力。决议，4419-443（1996）·Zbl 0900.68428号 ·doi:10.1613/jair.292
[9] Farouki，Rt，《伯恩斯坦多项式基础：百年回顾》，计算机-辅助Geom。设计。，29, 6, 379-419 (2012) ·Zbl 1252.65039号 ·doi:10.1016/j.cagd.2012.03.001
[10] 法鲁基，Rt；Rajan，Vt，伯恩斯坦形式多项式的算法，计算-辅助Geom。设计。，5, 1, 1-26 (1988) ·Zbl 0648.65007号 ·doi:10.1016/0167-8396（88）90016-7
[11] Garloff，J.：多元多项式范围的收敛界。收录：Nickel，K.（编辑）《间隔数学1985》，《计算机科学讲义》，第212卷，第37-56页。施普林格国际出版公司（1986）·Zbl 0598.65006号
[12] Garloff，J.，Smith，A.P.：用Bernstein展开法求解多项式方程组。收录：Alefeld，G.，Rohn，J.，Rump，S.，Yamamoto，T.（编辑）《符号代数方法和验证方法》，第87-97页。施普林格国际出版公司（2001）·Zbl 0987.65043号
[13] Grimstad，B。；Sandnes，A.，《带样条约束的全局优化：基于B样条的新分枝定界方法》，J.Glob。最佳。，第65,3401-439页（2016年）·Zbl 1372.90074号 ·doi:10.1007/s10898-015-0358-4
[14] 洛伦茨，Gg，伯恩斯坦多项式（1953），多伦多：多伦多大学出版社，多伦多·Zbl 0051.05001号
[15] Malapert，A。；雷金，Jc；Rezgui，M.，约束编程中令人尴尬的并行搜索，人工制品杂志。智力。决议，57，421-464（2016）·Zbl 1401.68292号 ·doi:10.1613/jair.5247
[16] 穆兰，B。；Pavone，J.，求解多项式方程的细分方法，J.Symb。计算。，44, 3, 292-306 (2009) ·兹比尔1158.13010 ·doi:10.1016/j.jsc.2008.04.016
[17] Nataraj，P。；Arounassalame，M.，Bernstein多项式全局优化方法的新细分算法，Int.J.Autom。计算。，4, 4, 342-352 (2007) ·doi:10.1007/s11633-007-0342-7
[18] 佩尼亚，Jm；Sauer，T.，关于多元Horner方案，SIAM J.Numer。分析。，37, 4, 1186-1197 (2000) ·Zbl 0961.65007号 ·doi:10.1137/S0036142997324150
[19] Ray，S。；Nataraj，P.，使用Bernstein形式计算多项式范围的有效算法，J.Glob。最佳。，45, 403-426 (2009) ·Zbl 1191.90046号 ·doi:10.1007/s10898-008-9382-y
[20] Ray，S。；Nataraj，P.，高效计算伯恩斯坦系数的矩阵方法，Reliab。计算。，17, 40-71 (2012)
[21] Rivlin，Tj，多项式上的边界，J.Res.Natl。伯尔。支架。，74B，147-54（1970）·Zbl 0197.34704号 ·doi:10.6028/jres.074B.006
[22] 罗西，F。；Van Beek，P.公司。；Walsh，T.，《约束编程手册》（2006），纽约：Elsevier，纽约·兹比尔1175.90011
[23] Sánchez-Reyes，J.，通过卷积简化Bernstein形式的代数操作，计算。辅助设计。，35, 959-967 (2003) ·Zbl 1206.68375号 ·doi:10.1016/S0010-4485（03）00021-6
[24] Smith，Ap，稀疏多项式常界函数的快速构造，J.Glob。最佳。，43, 2, 445-458 (2009) ·Zbl 1168.90011号 ·doi:10.1007/s10898-007-9195-4
[25] Steffens，Kg，《近似理论的历史：从Euler到Bernstein》（2006），波士顿：Birkhäuser出版社，波士顿
[26] Titi，J。；Garloff，J.，张量Bernstein形式的矩阵方法，应用。数学。计算。，346254-271（2019）·Zbl 1429.65125号
[27] Triska，M.：SWI-Prolog的有限域约束求解器。收录于：Schrijvers，T.，Thiemann，P.（编辑）《函数和逻辑编程》，《计算机科学讲义》，第7294卷，第307-316页。施普林格国际出版公司（2012）
[28] Wielemaker，J。；施里杰弗斯，T。；特里斯卡，M。；Lager，T.，SWI-Prolog，理论实践逻辑程序。，12, 1-2, 67-96 (2012) ·Zbl 1244.68023号 ·文件编号：10.1017/S1471068411000494
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。