Jesús A.De Loera。;彼得·马尔金（Peter N.Malkin）。;巴勃罗·帕里洛。 使用组合优化中出现的多项式方程和不等式进行计算。 （英语） Zbl 1242.90191号 Lee，Jon（编辑）等，混合整数非线性规划。2008年11月17日至21日，美国明尼苏达州明尼阿波利斯市，基于IMA研讨会混合整数非线性优化：算法进步和应用上的演讲而选出的论文。纽约州纽约市：施普林格出版社（ISBN 978-1-4614-1926-6/hbk；978-1-41614-1927-3/电子书）。IMA数学及其应用卷154，447-481（2012）。 摘要：这是对最近解决组合优化中出现的问题的多项式方程组和不等式组的方法的综述。我们讨论的技术使用域上具有系数的多元多项式的代数来创建许多类型的可行性或优化问题的大规模线性代数或半定规划松弛。关于整个系列，请参见[Zbl 1230.90005号]. 引用于7文件 MSC公司： 90C27型 组合优化 90C22型 半定规划 68周05 非数值算法 关键词：多项式方程和不等式;组合优化;nullstellensatz公司;位置信号卫星;图形着色性;Max-cut公司;稳定集;半定规划;大规模线性代数;半代数集;实代数 软件：YALMIP公司;GloptiPoly公司 PDF格式BibTeX公司 XML格式引用 \textit{J.A.De Loera}等人，IMA卷数学。申请。154447--481（2012；Zbl 1242.90191） 全文： DOI程序 arXiv公司 参考文献： [1] 巴拉斯，E。；Ceria，S。；Cornu´ejols，G.，混合0-1程序的提升和投影切割平面算法，《数学规划》，58295-324（1993）·Zbl 0796.90041号 [2] J.Bochnak、M.Coste和M.-F.Roy，《实代数几何》，施普林格出版社，1998年·兹比尔0912.14023 [3] M.Clegg、J.Edmonds和R.Impagliazzo，《使用Groebner基算法寻找不可满足性的证明》，收录于STOC’96：美国纽约州纽约市第二十八届ACM计算理论研讨会论文集，1996年，ACM，第174-183页·Zbl 0938.68825号 [4] N.Courtois、A.Klimov、J.Patarin和A.Shamir，《求解多维多项式方程超定义系统的高效算法》，载于EUROCRYPT，2000年，第392-407页·Zbl 1082.94514号 [5] D.Cox、J.Little和D.O'Shea，《理想、多样性和算法：计算代数几何和交换代数导论》，Springer Verlag出版社，1992年·Zbl 0756.13017号 [6] 《使用代数几何》，《数学研究生教材》第185卷，斯普林格出版社，第二版，2005年·Zbl 1079.13017号 [7] J.De Loera、C.Hillar、P.Malkin和M.Omar，用多项式理想识别图论性质。http://arxiv.org/abs/1002.4435, 2010. ·Zbl 1210.05059号 [8] J.De Loera、J.Lee、P.Malkin和S.Margulies，Hilbert的Nullstellensatz和证明组合不可行的算法，载于第二十届符号和代数计算国际研讨会（ISSAC 2008），2008年·Zbl 1297.05229号 [9] J.De Loera、J.Lee、S.Margulies和S.Onn，《用多项式方程组和nullstellensatz表示组合优化问题》，发表于《组合数学、概率与计算杂志》（2008）·Zbl 1197.05155号 [10] A.Dickenstein和I.Emiris编辑，《求解多项式方程：基础、算法和应用》，数学算法和计算第14卷，Springer Verlag，海德堡，2005年·Zbl 1061.12001号 [11] Eberly，W。；Giesbrecht，M.，有限域上结合代数的有效分解，符号计算杂志，29441-458（2000）·兹比尔0996.16032 ·文件编号：10.1006/jsco.1999.0308 [12] 盖尔德，AV，《通过命题可满足性研究图着色》，《离散应用》。数学。，156, 230-243 (2008) ·Zbl 1131.05090号 ·doi:10.1016/j.dam.2006.07.016 [13] Gilbert，E.，《随机图》，《数理统计年鉴》，第30期，第1141-1144页（1959年）·Zbl 0168.40801号 ·doi:10.1214/aoms/1177706098 [14] J.Gouveia，M.Laurent，P.A.Parrilo，and R.R.Thomas，二元拟阵循环和图割的新半定规划松弛。http://arxiv.org/abs/0907.4518, 2009. ·兹比尔1262.90123 [15] Gouveia，J。；宾夕法尼亚州帕里罗；Thomas，RR，多项式理想的Theta体，SIAM优化杂志，202097-2118（2010）·Zbl 1213.90190号 ·doi:10.1137/090746525 [16] 格里戈里耶夫，D。；Vorobjov，N.，Nullstellensatz和Positivestellensatz证明的复杂性，《纯粹和应用逻辑年鉴》，113153-160（2002）·Zbl 0992.03073号 ·doi:10.1016/S0168-0072（01）00055-0 [17] 亨利安，D。；Lasserre，J-B，GloptiPoly:使用MATLAB和SeDuMi对多项式进行全局优化，ACM Trans。数学。软质。，29, 165-194 (2003) ·Zbl 1070.65549号 ·数字对象标识代码：10.1145/779359.7793363 [18] 《检测全局最优性并提取GloptiPoly中的溶液》，《控制与信息中的正多项式》第312卷。科学。，柏林施普林格出版社，2005年，第293-310页·Zbl 1119.93301号 [19] Hogg，T。；Williams，C.，《最难的约束问题：双相变》，Artif。智力。，69, 359-377 (1994) ·Zbl 0938.68826号 ·doi:10.1016/0004-3702（94）90088-4 [20] Kehrein，A。；Kreuzer，M.，边界基的特征，《纯粹与应用代数杂志》，196251-270（2005）·Zbl 1081.13011号 ·doi:10.1016/j.jpaa.2004.08.028 [21] A.Kehrein、M.Kreuzer和L.Robbiano，代数学家关于边界基的观点，摘自《解决多项式方程：基础、算法和应用》，A.Dickenstein和I.Emiris编辑，数学算法和计算第14卷，Springer Verlag，海德堡，2005年，第4章，第160-202页·兹比尔1152.13304 [22] J.Koll´ar，Sharp effective Nulstellenstz，AMS期刊，1（1988），第963-975页·Zbl 0682.14001号 [23] Lasserre，J.，用多项式和矩问题进行全局优化，SIAM J.on optimization，11796-817（2001）·Zbl 1010.90061号 ·doi:10.1137/S1052623400366802 [24] 拉塞尔，J。；洛朗，M。；Rostalski，P.，零维实根理想的半定刻画与计算，Found。计算。数学。，8, 607-647 (2008) ·Zbl 1176.14010号 ·doi:10.1007/s10208-007-9004-y [25] 《计算零维理想实零点和复零点的统一方法》，载于《代数几何的新兴应用》，M.Putinar和S.Sullivant主编，《数学及其应用IMA卷》第149卷，Springer，2009年，第125-155页·Zbl 1171.12001号 [26] Lasserre，JB，非线性0-1规划的显式等价半正定规划，SIAM J.on Optimization，12756-769（2002）·Zbl 1007.90046号 ·doi:10.1137/S1052623400380079 [27] Laurent，M.，《0-1编程中Sherali-Adams、Lov´asz-Schrijver和Lasserre松弛的比较》，数学。操作。Res.，28，470-496（2003）·兹比尔1082.90084 ·doi:10.1287/门28.3.470.16391 [28] 《max-cut的半定松弛》，载于《The Sharpest cut:The Impact of Manfred Padberg and His Work》，M.Gr¨otschel主编，MPS-SIAM Series in Optimization第4卷，SIAM，2004年，第257-290页·Zbl 1152.90556号 [29] 《有限变量的半定表示》，《数学规划》，109（2007），第1-26页·Zbl 1152.90007 [30] 《代数几何新兴应用中的平方和、矩矩阵和多项式优化》，M.Putinar和S.Sullivant主编，《数学及其应用IMA卷》第149卷，Springer，2009年，第157-270页·Zbl 1163.13021号 [31] J.L¨ofberg，YALMIP:MATLAB中建模和优化的工具箱，载于《CACSD会议论文集》，台湾台北，2004年。 [32] L.Lov´asz，稳定集与多项式，离散数学。，124（1994），第137-153页·Zbl 0792.05082号 [33] 《半定规划和组合优化》，收录于《算法和组合学的最新进展》，B.Reed和C.Sales主编，CMS数学图书第11卷，纽约春，2003年，第137-194页·Zbl 1040.90032号 [34] Lov´asz，L。；Schrijver，A.，矩阵和集函数锥与0-1优化，SIAM J.Optim。，1, 166-190 (1991) ·Zbl 0754.90039号 [35] S.Margulies，《计算机代数、组合数学和复杂性：希尔伯特的Nullstellensatz和NP-完全问题》，博士论文，加州大学戴维斯分校，2008年。 [36] M.Marshall，正多项式和平方和。，数学调查和专著，146。普罗维登斯，RI：美国数学学会（AMS）。xii，第187页，2008年·Zbl 1169.13001号 [37] B.Mourrain，规范形式算法的新标准，见Proc。AAECC，LNCS第1719卷，Springer，1999年，第430-443页·Zbl 0976.12005号 [38] B.Mourrain和P.Tr´ebuchet，多项式系统求解的稳定正规形式，理论计算机科学，409（2008），第229-240页。符号-数值计算·兹比尔1159.68045 [39] Y.Nesterov，平方函数系统和优化问题，载于《高性能优化》，J.F.等人，编辑，Kluwer学术，2000年，第405-440页·Zbl 0958.90090号 [40] P.A.Parrilo，结构化半定程序和鲁棒性和优化中的半代数几何方法，博士论文，加州理工学院，2000年5月。 [41] 《半代数问题的半定规划松弛》，《数学规划》，96（2003），第293-320页·Zbl 1043.14018号 [42] 宾夕法尼亚州帕里罗；Sturmfels，B。；巴苏，S。；Gonzalez-Vega，L.，最小化多项式函数，《DIMACS数学和计算机科学中实代数几何的算法和数量方面研讨会论文集》（2001年3月），83-100（2003），美国数学学会：Providence RI，美国数学协会·Zbl 1099.13516号 [43] S.Prajna、A.Papachistodoulou、P.Seiler和P.A.Parrilo，SOSTOOLS:MATLAB的平方和优化工具箱，2004年。 [44] 里德·G。；Zhi，L.，通过符号数字化简为几何对合形式求解多项式系统，符号计算杂志，44280-291（2009）·Zbl 1177.13065号 ·doi:10.1016/j.jsc.2007.10.13 [45] S.Roman，《高等线性代数》，《数学研究生教材》第135卷，纽约斯普林格出版社，第三版，2008年·Zbl 1132.15002号 [46] A.Schrijver，《线性和整数规划理论》，威利出版社，1986年·Zbl 0665.90063号 [47] Sherali，H。；Adams，W.，零规划问题的连续和凸壳表示之间的松弛层次，SIAM离散数学杂志，3411-430（1990）·Zbl 0712.90050号 ·数字对象标识代码：10.1137/0403036 [48] 新西兰肖尔，多项式函数的全局最小界类，控制论，23731-734（1987）·Zbl 0648.90058号 ·doi:10.1007/BF01070233 [49] Stengle，G.，《半代数几何中的Nullstellensatz和Positivestellensatz》，《数学年鉴》，207，87-97（1973）·Zbl 0253.14001号 ·doi:10.1007/BF01362149 [50] H.Stetter，《数值多项式代数》，SIAM，2004年·Zbl 1058.65054号 [51] 范登伯格，L。；Boyd，S.，《半定规划》，SIAM Review，38，49-95（1996）·Zbl 0845.65023号 ·数字对象标识代码：10.1137/1038003 [52] L.Zhang，zchaff v2007.3.12。可在http://www.princeton.edu/chaff/zchaff.html, 2007 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。