×
米克尔波菲尔;布斯克茨，迪达;穆尼奥斯，维克托;马图·维拉雷特

基于重构的MaxSat鲁棒性。 （英语） Zbl 1309.90069号

约束条件 18，第2期，202-235（2013）.
摘要：现实世界中存在的不确定性使得鲁棒性成为约束满足问题（CSP）解决方案的理想特性。如果在意外事件发生时能够轻松修复，则称解决方案是健壮的。这个问题已经在布尔可满足性（SAT）和约束编程（CP）的框架中得到了解决。大多数关于稳健性的现有工作都使用搜索算法来寻找稳健性解决方案，而不是采用声明式的重新制定方法，因为重新制定往往会生成非常大的公式，尤其是在CP设置中。本文考虑加权MaxSAT中未解决的鲁棒性问题，通过演示如何通过重新构造伪布尔公式来有效地获得加权MaxSATs实例的鲁棒解。正如我们在健壮资源分配框架中的实验所示，我们的编码在大小增加和性能之间提供了合理的平衡。我们还解决了灵活健壮性的问题，如果不存在完全健壮的解决方案，其中一些损坏可能无法修复。从某种意义上说，近年来，由于SAT和MaxSAT编码用于求解CSP得到了广泛的接受，我们提供了一种易于实现的新方法，用于在组合优化问题中实现鲁棒性。

MSC公司：

90立方厘米 随机规划
90立方厘米27 组合优化

关键词：

稳健性;重新制定;最大卫星;伪布尔值;组合优化;资源分配;拍卖

软件：

周六4j;Potassco公司;CPLEX公司;古罗比;加密MiniSat
PDF格式BibTeX公司 XML格式引用
\textit{M.Bofill}等人，约束18，第2号，202--235（2013；Zbl 1309.90069）
全文： 内政部

参考文献：

[1] Abío，I.、Deters，M.、Nieuwenhuis，R.、Stuckey，P.J.（2011）。减少SAT类搜索中的混乱：找到接近给定值的解决方案。在2011年SAT第14届满意度测试理论与应用国际会议上，LNCS（第6695卷，第273-286页）。施普林格·Zbl 1330.68266号
[2] Ansótegui，C.，Bonet，M.L.，Levy，J.（2009）。通过满意度测试求解（加权）部分MaxSAT。在2009年SAT第12届满意度测试理论与应用国际会议上，LNCS（第5584卷，第427-440页）。施普林格·Zbl 1247.68242号
[3] Argelich，J.、Cabiscol，A.、Lync，I.、Manyá，F.（2008）。将Max-CSP建模为部分Max-SAT。在第11届可满足性测试理论和应用国际会议上，SAT 2008，LNCS（第4996卷，第1-14页）。施普林格·Zbl 1138.68531号
[4] Argelich，J.，Li，C.M.，Manyá，F.，Planes，J.（2008）。第一次和第二次Max-SAT评估。可满足性、布尔建模与计算杂志，4（2-4），251-278·Zbl 1159.68561号
[5] Argelich，J.、Lync，I.、Marques-Silva，J.P.（2009）。关于布尔多级优化问题的求解。参见：第21届国际人工智能联合会议，2009年国际人工智能学会（IJCAI）（第393–398页）。
[6] Bertsimas，D.和；Sim，M.（2004）。健壮性的代价。运营研究，52（1），35-53·Zbl 1165.90565号 ·doi:10.1287/opre.1030.0065
[7] Bofill，M.，Busquets，D.，Villaret，M.（2010年）。稳健加权Max-SAT的声明性方法。In:第12届ACM SIGPLAN国际声明性编程原理和实践会议，PPDP 2010（第67-76页）。ACM公司。
[8] Cramton，P.、Shoham，Y.、Steinberg，R.（编辑）（2006年）。组合拍卖。麻省理工学院出版社·Zbl 1194.91018号
[9] Eén，n.和；Sörensson，N.（2006）。将伪布尔约束转化为SAT。可满足性、布尔建模和计算期刊，2（1-4），1-26·Zbl 1116.68083号
[10] Gebser，M.、Kaminski，R.、Kaufmann，B.、Ostrowski，M.，Schaub，T.、Schneider，M.（2011）。Potassco：波茨坦答案集求解集合。人工智能通信，24（2），105–124·Zbl 1215.68214号
[11] 金斯伯格，M.L.，帕克斯，A.J.，罗伊，A.（1998年）。超级模型和鲁棒性。摘自：第十五届全国人工智能会议和第十届人工智能创新应用会议，AAAI/IAAI 1998（第334-339页）。AAAI出版社/麻省理工学院出版社。
[12] Gu，Z.、Rothberg，E.、Bixby，R.（2010）。古罗比4.0.2。网址：http://www.gurobi.com。2011年4月10日访问。
[13] Hebrard，E.（2006年）。不确定性下约束满足和优化的稳健解决方案。新南威尔士大学博士论文。
[14] Hebrard，E.、Hnich，B.、O'Sullivan，B.、Walsh，T.（2005）。在约束编程中寻找多样且相似的解决方案。摘自：第20届全国人工智能大会和第17届人工智能创新应用大会，AAAI/IAAI 2005（第372-377页）。AAAI出版社/麻省理工学院出版社。
[15] Hebrard，E.、Hnich，B.、Walsh，T.（2004）。约束满足和优化的稳健解决方案。摘自：第16届欧洲人工智能会议，ECAI 2004（第186-190页）。IOS出版社·Zbl 1094.68645号
[16] Hebrard，E.、Hnich，B.、Walsh，T.（2004）。约束编程中的超级解决方案。第八届组合优化问题约束规划中人工智能和操作规则技术集成国际会议，CPAIOR 2004，LNCS（第3011卷，第157-172页）。施普林格·Zbl 1094.68645号
[17] Hebrard，E.、Hnich，B.、Walsh，T.（2005）。求解（a，b）-超解的改进算法。参见：规划和调度约束编程研讨会（第236-248页）。
[18] Heras，F.、Larrosa，J.、de Givry，S.、Schiex，T.（2008）。2006年和2007年最高SAT评估：贡献实例。可满足性、布尔建模与计算杂志，4（2-4），239-250·Zbl 1159.68565号
[19] Holland，A.（2005）。组合拍卖的风险管理。科克爱尔兰国立大学计算机科学系博士论文·Zbl 1078.68749号
[20] Holland，A.和；奥沙利文，B.（2005）。组合拍卖的稳健解决方案。摘自：2005年欧共体第六届ACM电子商务会议（第183-192页）。ACM公司。
[21] Holland，A.和；O'Sullivan，B.（2005年）。约束程序的加权超解。摘自：第20届全国人工智能大会和第17届人工智能创新应用大会，AAAI/IAAI 2005（第378–383页）。AAAI出版社/麻省理工学院出版社。
[22] Hoos、H.H.和；Boutiler，C.（2000年）。使用随机局部搜索解决组合拍卖。摘自：第17届全国人工智能大会和第12届人工智能创新应用大会，AAAI/IAAI 2000（第22-29页）。AAAI出版社/麻省理工学院出版社。
[23] IBM ILOG CPLEX Optimizer（2011）。www-01.ibm.com/software/integration/optimization/cplex-optimizer/。2011年11月15日访问。
[24] Le Berre，D.和；Parrain，A.（2010年）。Sat4j库，2.2版。可满足性，布尔建模与计算杂志，7（2-3），59-6。
[25] Leyton-Brown，K.，Pearson，M.，Shoham，Y.（2000）。面向组合拍卖算法的通用测试套件。摘自：ACM电子商务会议，EC 2000（第66-76页）。ACM公司。
[26] Li、C.M.和；Manyá，F.（2009）。可满足性手册（MaxSAT，硬约束和软约束，第613-631页）。IOS出版社。
[27] Liu，L.和；Truszczynski，M.（2007年）。使用局部搜索技术对伪布尔约束的布尔组合进行可满足性测试。约束，12（3），345–369·Zbl 1211.68386号 ·doi:10.1007/s10601-007-9022-z
[28] Manquinho，V.M.，Marques-Silva，J.P.，Planes，J.（2009年）。加权布尔优化算法。摘自：第十二届满意度测试理论与应用国际会议，SAT 2009，LNCS（第5584卷，第495-508页）。施普林格·Zbl 1247.68258号
[29] 穆尼奥斯，V.（2011）。资源分配问题的稳健性。西班牙吉罗纳大学电气工程系博士论文。
[30] Rossi，F.、van Beek，P.、Walsh，T.（Eds.）（2006）《约束编程手册》（人工智能基础）。爱思唯尔科学·Zbl 1175.90011号
[31] Roussel，O.和；Manquinho，V.（2009）《可满足性手册》（第695-734页，伪布尔约束和基数约束）。IOS出版社。
[32] Roy，A.（2006年）。容错布尔可满足性。《人工智能研究杂志》，25，503–527·Zbl 1182.68267号
[33] Soos，M.（2009）。CryptoMiniSat–解决加密问题的SAT解决程序。网址：http://planete.inrialpes.fr/\（\sim\）soos/CryptoMiniSat2/index.php。2012年1月18日查阅。
[34] 魏格尔（Weigel，R.）；Bliek，C.（1998年）。关于约束满足问题的重新表述。摘自：第13届欧洲人工智能会议，ECAI 1998（第254-258页）。
[35] Williams，H.P.（1999）。数学规划中的模型构建，第4版。威利·Zbl 1253.90166号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。