威廉·扬·范霍夫 半定规划和约束规划。 （英语） Zbl 1334.90121号 Anjos，Miguel F.（编辑）等，《半定、二次曲线和多项式优化手册》。纽约州纽约市：施普林格出版社（ISBN 978-1-4614-0768-3/hbk；978-1-46104-0769-0/电子书）。《运筹学与管理科学国际丛书》166、635-668（2012）。 摘要：最近，半定规划松弛被应用于约束规划中，以利用高质量的边界和搜索解时的精确启发式指导。本章的目的是概述这些发展，并提供未来的研究前景。关于整个系列，请参见[Zbl 1235.90002号]. MSC公司： 90C22型 半定规划 90 C90 数学规划的应用 90-02 与运筹学和数学规划有关的研究博览会（专著、调查文章） 关键词：约束编程 软件：MaxSolver（最大解算器）;TSPTW公司;OPL公司;XPRESS公司 PDF格式BibTeX公司 XML格式引用 \textit{W.-J.van Hoeve}，国际Ser。操作。资源管理。科学。166635-668（2012年；Zbl 1334.90121） 全文： 内政部 参考文献： [1] Anjos，MF，可满足性问题的改进半定规划松弛，数学规划，102,3589-608（2005）·兹比尔1059.90117 ·doi:10.1007/s10107-003-0495-2 [2] Anjos，MF；Vannelli，A.，使用半定规划和切割平面计算单行布局问题的全局最优解，INFORMS计算杂志，20，611-617（2008）·Zbl 1243.90174号 ·doi:10.1287/ijoc.1080.0270 [3] Apt，KR，约束传播的本质，理论计算机科学，221，1-2，179-210（1999）·Zbl 0930.68164号 ·doi:10.1016/S0304-3975（99）00032-8 [4] Apt，KR，《约束编程原理》（2003），剑桥：剑桥大学出版社，剑桥·Zbl 1187.68132号 ·doi:10.1017/CBO9780511615320 [5] 品牌，S。；鸭子，GJ；Puchinger，J。；Stuckey，PJ；Hudak，P。；Warren，DS，《基于规则的灵活约束模型线性化，声明语言的实践方面》，第十届国际研讨会（PADL 2008），旧金山，2008年1月。计算机科学讲稿，68-83（2008），海德堡：施普林格 [6] Charikar，M。；Makarychev，K。；Makarychev，Y.，最大约束满足问题的近优算法，ACM算法事务，5，3，1-32（2009）·Zbl 1298.68111号 [7] Cheriyan，J。；坎宁安，华盛顿州；Tunçel，L。；Wang，Y.，MAX 2-SAT的线性规划和取整方法，离散数学和理论计算机科学中的DIMACS系列，26，395-414（1996）·Zbl 0864.90102号 [8] Dechter，R.，《约束处理》（2003），旧金山：Morgan Kaufmann，旧金山 [9] 福雷，N。；Chrétienne，P。；古尔丁，E。；Sourd，F.，多播网络设计的Biclique完成问题，离散优化，4360-377（2007）·Zbl 1157.90341号 [10] FICO公司。《Xpress-Kalis用户指南》，Fair Isaac Corporation（2009） [11] 菲舍蒂，M。；Lodi，A.，《局部分支，数学规划》，98，1-3，23-47（2003）·Zbl 1060.90056号 ·doi:10.1007/s10107-003-0395-5 [12] Fleischman，D.，Poggi de Aragão，M.V.：无约束二次规划精确解的改进SDP界。2010年5月10日至12日在蒙特利尔举行的2010年优化日上提交的论文 [13] Focacci，F。；Lodi，A。；米兰，M。；Jaffar，J.，基于成本的域过滤，约束编程的原理和实践，第五届国际会议，CP’99，亚历山大，1999年10月。《189-203年计算机科学讲稿》（1999），海德堡：斯普林格 [14] Focacci，F。；Lodi，A。；Milano，M.，《面向优化的全球约束》。约束条件，7，3-4，351-365（2002）·Zbl 1028.68024号 [15] Focacci，F。；Lodi，A。；Milano，M.，《将松弛嵌入求解TSP和TSPTW的全局约束中》，《数学和人工智能年鉴》，34，4，291-311（2002）·Zbl 1002.68159号 ·doi:10.1023/A:1014492408220 [16] Focacci，F。；Lodi，A。；Milano，M.，TSPTW的混合精确算法，计算信息杂志，14，4，403-417（2002）·Zbl 1238.90054号 ·doi:10.1287/ijoc.14.4.403.2827 [17] Focacci，F。；Lodi，A。；米兰，M。；Vigo，D.，《通过整合OR和CP技术解决TSP》，《离散数学电子笔记》，第1期，第13-25页（1999年）·Zbl 0990.90553号 ·doi:10.1016/S1571-0653（04）00002-2 [18] 弗里兹，A。；Jerrum，M.，MAX k-CUT和MAX BISECTION的改进近似算法，算法，18，1，67-81（1997）·Zbl 0873.68078号 ·doi:10.1007/BF02523688 [19] 马里兰州加里；约翰逊，DS，《计算机与不可处理性》（1979），纽约：弗里曼，纽约 [20] Gent，I.P.，Petrie，K.E.，Puget，J.-F.：约束编程中的对称性。摘自：Rossi，F.、van Beek，P.、Walsh，T.（编辑）《约束编程手册》，第329-376页。爱思唯尔（2006） [21] Gervet，C。；Bruynooghe，M.，Conjunto:有限集域约束逻辑编程，国际逻辑编程研讨会论文集，339-358（1994），剑桥：麻省理工学院出版社，剑桥 [22] 戈曼斯，墨西哥；威廉姆森，DP，新（frac{3}{4}）-最大可满足性问题的近似算法，SIAM离散数学杂志，7，4，656-666（1994）·Zbl 0812.90129号 ·doi:10.1137/S0895480192243516 [23] 墨西哥戈曼斯；Williamson，DP，使用半定规划求解最大割和可满足性问题的改进近似算法，ACM杂志，42，6，1115-1145（1995）·Zbl 0885.68088号 ·数字对象标识代码：10.1145/227683.2276884 [24] 戈麦斯，CP；WJ van Hoeve；Leahu，L。；贝克，JC；Smith，B.，《MAX-SAT的半定规划松弛的力量》，第三届组合优化问题约束规划中AI和OR技术集成国际会议论文集，爱尔兰，2006年5月/6月。计算机科学讲稿，104-118（2006），海德堡：斯普林格·Zbl 1177.68186号 [25] Grötschel，M.，Lovász，L.，Schrijver，A.：几何算法和组合优化。威利（1988）·Zbl 0634.05001号 [26] Gruber，G。；Rendl，F.，稳定集松弛的计算经验，SIAM优化杂志，13，4，1014-1028（2003）·Zbl 1049.90075号 ·doi:10.1137/S1052623401394092 [27] 瓜兰迪，S。；van Hoeve，W-J；胡克，JN，k-通过混合CP和SDP方法聚类最小双液完备性，第六届组合优化问题约束编程AI和OR技术集成国际会议论文集，匹兹堡，2009年5月。计算机科学讲稿，87-101（2009），海德堡：施普林格·Zbl 1241.68101号 [28] Gualandi，S.，Malucelli，F.：通过CP-SDP随机四舍五入的加权比克完成。In:Bonami，P.，Liberti，L.，Miller，A.，Sartenaer，A.（编辑）《混合整数非线性规划欧洲研讨会论文集》，马赛（2010） [29] 古鲁斯瓦米，V。；Raghavendra，P。；Goel，A。；Jansen，K。；Rolim，J。；Rubinfeld，R.，《非布尔域上的约束满足：近似算法和唯一网格硬度》，第11届近似、随机化和组合优化国际研讨会论文集。算法与技术（APPROX）波士顿，2008年8月。计算机科学讲稿，77-90（2008），海德堡：施普林格·Zbl 1159.68665号 [30] Halperin，E。；Zwick，U.，MAX 4-SAT的近似算法和半定程序的舍入过程，算法杂志，40，184-211（2001）·Zbl 0999.90026号 ·doi:10.1006/jagm.2001.1162 [31] Harvey，W.D.，Ginsberg，M.L.：有限差异搜索。《第十四届国际人工智能联合会议论文集》，第607-615页。Morgan Kaufmann（1995） [32] Helmberg，C.，《固定半定松弛变量》，SIAM矩阵分析与应用杂志，21，3，952-969（2000）·Zbl 0961.90075号 ·doi:10.1137/S089547989631442X [33] 胡克，J.：基于逻辑的优化方法——结合优化和约束满足。威利（2000）·Zbl 0974.90001号 [34] 胡克，J.N.：约束编程中的运筹学方法。摘自：Rossi，F.、van Beek，P.、Walsh，T.（编辑）《约束编程手册》，第527-570页。爱思唯尔（2006） [35] 胡克，J.N.：优化的综合方法。施普林格（2007）·邮编1122.90002 [36] 乔伊·S。；J.米切尔。；Borchers，B.，MAX-SAT和加权MAX-SAT的分支与切割算法，《离散数学和理论计算机科学中的DIMACS系列》，35，519-536（1997）·Zbl 0889.68074号 [37] Karloff，H.，Zwick，U.：MAX 3SAT的7/8近似算法？摘自：第38届IEEE计算机科学基础年会论文集，第406-415页。IEEE计算机学会（1997） [38] Katriel，I.，Sellmann，M.，Upfal，E.，Van Hentenryck，P.：在次线性时间中传播背包约束。摘自：《第22届全国人工智能会议记录》，第231-236页。AAAI出版社（2007） [39] 德克勒克，E。；van Maaren，H.，《关于（2+p）-SAT的半定规划松弛》，《数学与人工智能年鉴》，37285-305（2003）·Zbl 1050.68050号 ·doi:10.1023/A:1021208315170 [40] de Klerk，E.，Warners，J.P.：MAX-2-SAT和MAX-3-SAT的半定规划方法：计算观点。收录于：Pardalos，P.M.、Migdalas，A.、Burkard，R.E.（编辑）《组合与全局优化》，第161-176页。《世界科学》（2002）·Zbl 1029.90053号 [41] 德克勒克，E。；van Maaren，H。；Warners，JP，使用半定规划放松可满足性问题，自动推理杂志，24，37-65（2000）·Zbl 0965.03017号 ·doi:10.1023/A:1006362203438 [42] Lau，HC，加权约束满足的新方法，约束，7151-165（2002）·Zbl 1019.68104号 ·doi:10.1023/A：1015157615164 [43] 洛朗，M。；Poljak，S。；Rendl，F.，最大割问题的半定松弛和稳定集问题之间的联系，数学规划，77，225-246（1997）·Zbl 0888.90128号 [44] Laurent，M.，Rendl，F.：半定规划和整数规划。摘自：Aardal，K.、Nemhauser，G.、Weismantel，R.（编辑）《离散优化》，《运筹学与管理科学手册》，第393-514页。Elsevier（2005），另见《技术报告》PNA-R0210，CWI，阿姆斯特丹·兹比尔1194.90066 [45] Leahu，L.，Gomes，C.P.：基于LP的高度组合问题近似的质量。摘自：Wallace，M.（编辑）《第十届约束编程原理与实践国际会议论文集》（CP 2004），多伦多，2004年9月/10月。计算机科学课堂讲稿，第3258卷，第377-392页。斯普林格（2004）·Zbl 1152.68564号 [46] Lovász，L.，关于图的Shannon容量，IEEE信息理论汇刊，25，1-7（1979）·Zbl 0395.94021号 ·doi:10.1109/TIT.1979.1055985 [47] Margot，F.：整数线性规划中的对称性。收录于：Jünger，M.、Liebling，T.M.、Naddef，D.、Nemhauser，G.L.、Pulleyblank，W.R.、Reinelt，G.、Rinaldi，G.和Wolsey，L.A.（编辑）《1958-2008年整数编程50年》，第647-686页。施普林格（2010）·Zbl 1187.90200号 [48] Milano，M.（编辑）：《约束和整数编程——走向统一方法》，运筹学/计算机科学接口，第27卷。Kluwer学术出版社（2003）·Zbl 1054.90005号 [49] Milano，M.，van Hoeve，W.J.：生成有希望的子问题的基于降低成本的排名。摘自：Van Hentenryck，P.（编辑）《第八届约束编程原理与实践国际会议论文集》，伊萨卡，2002年9月。计算机科学课堂讲稿，第2470卷，第1-16页。斯普林格（2002） [50] Nemhauser，GL，Wolsey（1988），L.A：整数和组合优化。洛杉矶威利·Zbl 0652.90067号 [51] Puget，J.F.：PECOS：一种高级约束编程语言。摘自：1992年9月28日至10月1日在新加坡举行的新加坡智能系统国际会议（SPICIS’92）会议记录 [52] Raghavendra，P.：每个CSP的最优算法和不近似结果？摘自：2008年5月于维多利亚举行的第40届ACM计算机理论研讨会论文集。第245-254页。ACM（2008）·Zbl 1231.68142号 [53] Raghavendra，P.，Steurer，D.：独特游戏的强SDP放松的积分间隙。摘自：2009年10月亚特兰大第50届IEEE计算机科学基础研讨会论文集。第575-585页。IEEE计算机学会（2009）·Zbl 1292.90230号 [54] Raghavendra，P.，Steurer，D.：如何绕过任何CSP。摘自：2009年10月亚特兰大第50届IEEE计算机科学基础研讨会论文集。第586-594页。IEEE计算机学会（2009）·Zbl 1292.90231号 [55] Refalo，P.：约束规划模型和混合求解器的线性公式。载：Dechter，R.（编辑）《第六届约束规划原则与实践国际会议论文集》，新加坡，2000年9月。《计算机科学讲义》，第1894卷，第369-383页。斯普林格（2000）·Zbl 1044.68792号 [56] Régin，J.-C.：CSP中差异约束的过滤算法。见：《第十二届全国人工智能会议记录》，第1卷，第362-367页。AAAI出版社（1994） [57] Régin，J-C，全球基数约束的基于成本的弧一致性，约束，7387-405（2002）·Zbl 1028.68157号 ·doi:10.1023/A:1020506526052 [58] Régin，J.-C.：全局约束和过滤算法。收录于：Milano，M.（编辑）《约束和整数编程——走向统一方法》，《运筹学/计算机科学接口系列》，第27卷，第88-136页。Kluwer学术出版社（2004）·Zbl 1054.90005号 [59] Régin，J-C，Modélisation et Contraints Globales en Programmation par Contraintes（2004），尼斯大学：习惯化论文，尼斯大学 [60] Rossi，F.，van Beek，P.，Walsh，T.（编辑）：约束编程手册。爱思唯尔（2006）·Zbl 1175.90011号 [61] Sadler，A.，Gervet，C.：固定基数集上不相交约束的全局过滤。技术报告TR-IC-PARC-04-02，IC-PARC，帝国理工学院（2004）·Zbl 1152.68581号 [62] Sellmann，M。；盖勒曼，T。；Wright，R.，《较短路径约束的基于成本的过滤》，约束，12，2，207-238（2007）·Zbl 1141.68055号 ·文件编号：10.1007/s10601-006-9006-4 [63] van Beek，P.：回溯搜索算法。摘自：Rossi，F.、van Beek，P.、Walsh，T.（编辑）《约束编程手册》，第85-134页。爱思唯尔，2006年·Zbl 1175.90011号 [64] Van Hentenryck，P。；佩伦，L。；Puget，J-F，OPL中的搜索和策略，ACM计算逻辑汇刊，1，2，285-320（2000）·Zbl 1365.90281号 ·doi:10.1145/359496.359529 [65] van Hoeve，W.-J.：稳定集问题的混合约束规划和半定规划方法。收录于：Rossi，F.（编辑）《第九届约束编程原理与实践国际会议论文集》（CP 2003），Kinsale，2003年9月。计算机科学课堂讲稿，第2833卷，第407-421页。斯普林格（2003）·兹比尔1273.90181 [66] van Hoeve，W-J，在约束编程中利用半定松弛，计算机与运筹学，33，10，2787-2804（2006）·Zbl 1086.90044号 ·doi:10.1016/j.cor.2005.01.011 [67] van Hoeve，W.-J.，Katriel，I.：全球约束。摘自：Rossi，F.、van Beek，P.、Walsh，T.（编辑）《约束编程手册》，第169-208页。爱思唯尔，2006年·Zbl 1175.90011号 [68] van Hoeve，W-J；Pesant，G。；卢梭，L-M，《全球变暖：基于流动的全球软约束》，《启发式杂志》，12，4，347-373（2006）·Zbl 1100.68623号 ·数字对象标识代码：10.1007/s10732-006-6550-4 [69] Warners，J.：可满足性问题的非线性方法。埃因霍温理工大学博士论文（1999）·Zbl 0944.68073号 [70] Xing，Z。；Zhang，W.，MaxSolver:（加权）最大可满足性的高效精确算法，人工智能，164，1-2，47-80（2005）·Zbl 1132.68716号 ·doi:10.1016/j.artint.2005.01.004 [71] Zwick，U.：约束满足问题的近似算法，每个约束最多包含三个变量。摘自：1998年1月25日至27日在旧金山举行的第九届ACM-SIAM离散算法年会论文集·Zbl 0930.68142号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。