×

随机约束规划中基于置信度的推理。 (英语) Zbl 1346.90648号

摘要:在这项工作中,我们介绍了一种基于抽样的新方法,用于寻找可能是随机约束满足问题和约束优化问题的解决方案的赋值。我们的方法减少了所分析的原始问题的规模;通过求解这个简化问题,在给定的置信概率下,我们获得了在指定的容错阈值内满足原始模型中机会约束的赋值。为了实现这一点,我们融合了随机约束规划和统计学的概念。我们讨论了我们方法的精确和近似变体。我们介绍的框架可以立即与现有的求解随机约束程序的方法结合使用。对一些随机组合优化问题的深入计算研究证明了该方法的有效性。

MSC公司:

90立方厘米 随机规划
62层25 参数公差和置信区域
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 罗西,R。;Hnich,B。;塔里木,S.A。;Prestwich,S.,《通过采样SCSP发现((alpha,vartheta))-解决方案》,(Walsh,T.,《第22届国际人工智能联合会议论文集》,第22届人工智能国际联合会议论文,2011年7月16日至22日,西班牙巴塞罗那(2011),AAAI出版社),2172-2177
[2] Walsh,T.,随机约束编程,(van Harmelen,F.,《欧洲人工智能会议论文集》,欧洲人工智能大会论文集,ECAI’2002(2002),IOS出版社),111-115
[3] 塔里木,S.A。;马南达尔,S。;Walsh,T.,《随机约束编程:基于场景的方法》,约束,11,53-80(2006)·Zbl 1103.68828号
[4] Hnich,B。;罗西,R。;塔里木,S.A。;Prestwich,S.,《全局机会约束的滤波算法》,人工制品。智力。,189, 69-94 (2012) ·Zbl 1251.68203号
[5] Costantini,D.,Verso una rappresentazione probabilistica del mondo(2014),玛丽亚·玛格丽塔·保加利亚:玛丽亚·马格丽塔·布尔加里尼·费伦泽
[6] 罗西,F。;van Beek,P。;Walsh,T.,《约束编程手册(人工智能基础)》(2006),爱思唯尔科学公司:爱思唯尔科学公司,美国纽约州纽约市·Zbl 1175.90011号
[7] Hnich,B。;罗西,R。;塔里木,S.A。;Prestwich,S.D.,《全局机会约束的综合滤波算法》,(Gent,I.P.,第15届约束编程原理与实践国际会议,会议记录。第15届限制编程原理与实务国际会议,大会记录,CP 2009,葡萄牙里斯本,2009年9月20日至24日。第15届约束编程原理与实践国际会议,会议记录。2009年9月20日至24日,葡萄牙里斯本,第15届约束编程原则与实践国际会议,会议记录,CP 2009。注释计算。科学。,第5732卷(2009),施普林格),439-453
[8] 普雷斯特维奇,S.D。;塔里木,S.A。;罗西,R。;Hnich,B.,随机约束规划的混合元启发式,约束,20,57-76(2015)·Zbl 1316.90033号
[9] Jeffreys,H.,《概率论》(1961),克拉伦登出版社:英国牛津克拉伦登出版社·Zbl 0116.34904号
[10] 克洛珀,C.J。;Pearson,E.S.,二项式情况下所示置信或基准极限的使用,生物统计学,26,404-413(1934)·合同格式60.1175.02
[11] 阿格雷斯蒂,A。;Coull,B.A.,《美国统计》,52,119-126(1998)
[12] 埃文斯,M。;黑斯廷斯,N。;皮科克,B.,《统计分布》(2000),威利出版社:威利纽约·Zbl 0960.62001号
[13] 厄普顿,I.C.G.,《牛津统计词典》(2002),牛津大学出版社:牛津大学出版社,英国牛津·Zbl 1020.62001
[14] Sethi,S。;Sorger,G.,《滚动地平线决策理论》,Ann.Oper。Res.,29,387-416(1991)·Zbl 0732.93084号
[15] 萨多吉·阿尔万迪,S。;线虫,A。;Habibi,R.,关于独立均匀随机变量之和的分布,Stat.Pap。,50, 171-175 (2009) ·Zbl 1309.60007号
[16] Miller,R.G.,《同步统计推断》(1981),柏林斯普林格·弗拉格和海德堡股份有限公司·Zbl 0463.6202号
[17] Killmann,F。;von Collani,E.,关于均匀分布和相关分布卷积及其在质量控制中的应用的注释,《经济学》。资格。控制,16,17-41(2001)·Zbl 1002.62018年
[18] Lehmann,E.L。;Romano,J.P.,《家庭错误率的概括》,《Ann.Stat.》,第33期,第1138-1154页(2005年)·Zbl 1072.62060号
[19] 史密斯,C.E。;Cribbie,R.A.,《结构方程建模中的多重控制:结合参数依赖性》,结构。埃克。型号。,20, 79-85 (2013)
[20] 大卫·H·A。;Nagaraja,H.N.,订单统计(2003),Wiley Interscience·Zbl 0905.62055号
[21] 拉伯特,F。;OCRE项目团队,《Choco:实现CP内核》(1994年),《布伊格电子实验室:布伊格法国电子实验室》,技术报告
[22] Martello,S。;Toth,P.,《背包问题:算法和计算机实现》(1990),John Wiley&Sons,Inc.:John Willey&Sons公司,美国纽约州纽约市·Zbl 0708.68002号
[23] Kleywegt,A.J。;夏皮罗,A。;Homem-De-Mello,T.,随机离散优化的样本平均近似方法,SIAM J.Optim。,12, 479-502 (2001) ·Zbl 0991.90090号
[24] Kleywegt,A.J。;帕帕斯塔夫鲁,J.D.,《动态随机背包问题》,Oper。决议,46,17-35(1998年)·兹伯利0979.90103
[25] 卡尔·P。;Mayer,J.,《随机线性规划:模型、理论和计算》,国际。序列号。操作。研究管理科学。(2011),施普林格·Zbl 1211.90003号
[26] 阿拉尔,S。;Geunes,J.,具有泊松资源需求的单一资源分配问题,Optim。莱特。,3, 559-571 (2009) ·Zbl 1180.90226号
[27] Garey,M.R。;Johnson,D.S.,《计算机与不可纠正性:NP-完备性理论指南》(1979),W.H.Freeman·Zbl 0411.68039号
[28] 阿贡,A。;Beldiceanu,N.,《扩展芯片以解决复杂的调度和布局问题》,数学。计算。型号。,第17页,第57-73页(1993年)
[29] 装订工,J.H。;Tan,J.Y.,具有服务级约束的概率批量问题的策略,Manag。科学。,34, 1096-1108 (1988) ·Zbl 0649.90039号
[30] Vargas,V.,《Wagner-Whitin动态批量模型随机版本的最优解》,欧洲期刊Oper。研究,198,447-451(2009)·Zbl 1163.90352号
[31] 亨特·H·B。;马里兰州马拉太。;Stearns,R.E.,量化和随机约束满足问题的复杂性和逼近性,电子。注释离散数学。,9, 217-230 (2001) ·Zbl 0990.90562号
[32] 戴尔,M。;Stougie,L.,随机规划问题的计算复杂性,数学。程序。,106, 423-432 (2006) ·Zbl 1134.90027号
[33] Papadimitriou,C.H.,《对抗自然的游戏》,J.Comput。系统。科学。,31, 288-301 (1985) ·Zbl 0583.68020号
[34] 罗西,R。;普雷斯特维奇,S。;塔里木,S.A。;Hnich,B.,二项式、泊松和指数需求下新闻供应商问题的基于置信度的优化,欧洲期刊Oper。Res.,239674-684(2014)·Zbl 1339.90035号
[35] 艾哈迈德,S。;夏皮罗,A。;Shapiro,E.,具有整数补偿的随机规划的样本平均近似方法,SIAM J.Optim。,12, 479-502 (2002) ·Zbl 0991.90090号
[36] 林德拉斯,J。;夏皮罗,A。;Wright,S.,《随机规划抽样方法的经验行为》,Ann.Oper。第142215-241号决议(2006年)·Zbl 1122.90391号
[37] Wang,W。;Ahmed,S.,期望值约束随机程序的样本平均近似,Oper。Res.Lett.公司。,36, 515-519 (2008) ·Zbl 1210.90131号
[38] Branda,M.,《具有多个机会约束的混合整数随机规划问题的样本逼近技术》,Oper。Res.Lett.公司。,40, 207-211 (2012) ·Zbl 1245.90073号
[39] Branda,M.,具有广义综合机会约束的随机规划问题,最优化,61949-968(2012)·Zbl 1252.90056号
[40] 艾哈迈德,S。;Shapiro,A.,通过抽样和整数规划求解机会约束随机规划,(Chen,Z.-L.;Raghavan,S.,运筹学教程(2008),INFORMS),261-269
[41] 卢埃特克,J。;Ahmed,S.,概率约束优化的样本近似方法,SIAM J.Optim。,19674-699(2008年)·Zbl 1177.90301号
[42] Pagnoncelli,B.K。;艾哈迈德,S。;Shapiro,A.,《机会约束规划的样本平均近似方法:理论与应用》,J.Optim。理论应用。,142, 399-416 (2009) ·Zbl 1175.90306号
[43] Chernoff,H.,《基于观察值总和的假设检验的渐近效率度量》,《数学年鉴》。统计,23(1952)·Zbl 0048.11804号
[44] Hoeffing,W.,有界随机变量和的概率不等式,美国统计协会,58,13-30(1963)·Zbl 0127.10602号
[45] Branda,M.,《离散分布下机会约束和惩罚函数问题之间的关系》,数学。方法操作。研究,77,265-277(2013)·Zbl 1284.90044号
[46] Brown,K.N。;Miguel,I.,《不确定性与变化》(Rossi,F.;van Beek,P.;Walsh,T.,《约束编程手册》(2006),Elsevier),729-753,(第21章)
[47] Hnich,B。;罗西,R。;塔里木,S.A。;Prestwich,S.,《不确定性下决策的CP-AI-OR混合型调查》(van Hentenryck,P.;Milano,M.,《混合优化》,Springer Optim.Appl.,第45卷(2011年),纽约斯普林格出版社:纽约斯普林格出版社),227-270·Zbl 1202.90161号
[48] 夏恩斯,A。;Cooper,W.W.,机会约束下优化和满足的确定性等价物,Oper。决议,第11号,第18-39号(1963年)·Zbl 0117.15403号
[49] Birge,J.R。;Louveaux,F.,《随机编程导论》(1997),Springer Verlag:Springer Verlag纽约·Zbl 0892.90142号
[50] Benoist,T。;布尔鲁,E。;Caseau,Y。;Rottembourg,B.,《走向随机约束编程:带截止日期的在线多选择背包的研究》,(Walsh,T.,《约束编程的原则和实践》,Proceedings.constraint programming的原理和实践,Proceetings,CP 2001。约束编程原理与实践,论文集。约束编程的原理与实践,《程序集》,CP 2001,Lect。注释计算。科学。,第2239卷(2001年),施普林格出版社),61-76·Zbl 1067.68615号
[51] Balafoutis,T。;Stergiou,K.,《随机CSP的算法》,(Benhamou,F.,《约束编程的原理和实践》,《程序集》,《约束程序设计的原理与实践》,CP 2006。约束编程原理与实践,论文集。约束编程的原理与实践,《程序集》,CP 2006,Lect。注释计算。科学。,第4204卷(2006),施普林格),44-58
[52] 波尔多,L。;Samulowitz,H.,《关于随机约束满足框架》,(SAC’07:2007年美国计算机学会应用计算研讨会论文集(2007),美国计算机学会:美国纽约州纽约市美国计算机学会),316-320
[53] 罗西,R。;塔里木,S.A。;Hnich,B。;Prestwich,S.D.,《服务水平约束下随机库存系统的全球机会约束》,《约束》,第13期,第490-517页(2008年)·Zbl 1162.90318号
[54] 罗西,R。;塔里木,S.A。;Hnich,B。;Prestwich,S.D.,随机约束规划的基于成本的域过滤,(Stuckey,P.J.,第14届约束规划原则与实践国际会议,会议录。第14届限制规划原则与实务国际会议,会录,CP 2008,澳大利亚悉尼,2008年9月14日至18日。第14届约束程序设计原理与实践国际会议论文集。第14届约束编程原理与实践国际会议,会议记录,CP 2008,澳大利亚悉尼,2008年9月14日至18日,Lect。注释计算。科学。,第5202卷(2008),施普林格),235-250
[55] 普雷斯特维奇,S.D。;塔里木,S.A。;罗西,R。;Hnich,B.,《随机约束规划的进化参数化政策》,(Gent,I.P.,第15届约束规划原则与实践国际会议,会议录。第15届限制规划原则与实务国际会议,会刊,CP 2009,葡萄牙里斯本,2009年9月20日至24日。第15届约束编程原理与实践国际会议,会议记录。2009年9月20日至24日,葡萄牙里斯本,第15届约束编程原则与实践国际会议,会议记录,CP 2009。注释计算。科学。,第5732卷(2009),施普林格),684-691
[56] 利特曼,M.L。;Majercik,S.M。;Pitassi,T.,随机布尔可满足性,J.Autom。原因。,27, 251-296 (2001) ·Zbl 0988.68189号
[57] van Hentenryck,P。;弯曲,R。;Vergados,Y.,《在线随机预订系统》,(Beck,J.C.;Smith,B。M.,第三届组合优化问题约束规划中人工智能和操作规则技术集成国际会议,论文集。第三届组合优化问题约束规划中人工智能和操作规则技术集成国际会议,会议记录,CPAIOR 2006,爱尔兰科克,2006年5月31日至6月2日。第三届人工智能和OR技术在组合优化问题约束规划中的集成国际会议,论文集。第三届组合优化问题约束规划中人工智能和操作规则技术集成国际会议,会议记录,CPAIOR 2006,爱尔兰科克,2006年5月31日至6月2日,Lect。注释计算。科学。,第3990卷(2006),施普林格),212-227·Zbl 1177.90303号
[58] 凯特里尔,I。;Kenyon-Mathieu,C。;Upfal,E.,《不确定性下的承诺:两阶段随机匹配问题》,(Arge,L.;Cachin,C.;Jurdzinski,T.;Tarlecki,A.,第34届自动控制国际学术讨论会,语言与编程,会议记录)。第34届国际自动化、语言和编程学术讨论会,会议记录。2007年7月9日至13日,波兰弗罗茨瓦夫,第34届国际自动化学术讨论会,语言和编程,会议记录,ICALP 2007。注释计算。科学。,第4596卷(2007),施普林格),171-182·Zbl 1171.90489号
[59] 贝克,J.C。;Wilson,N.,具有概率持续时间的作业车间调度的主动算法,人工制品杂志。智力。Res.,28,183-232(2007)·Zbl 1182.68023号
[60] 米歇尔,L。;Hentenryck,P.V.,累积调度中迭代平坦化的迭代松弛,(Zilberstein,S.;Koehler,J。;Koenig,S.,《第十四届自动规划和调度国际会议论文集》。2004年6月3日至7日,加拿大不列颠哥伦比亚省惠斯勒,第十四届国际自动规划与调度会议记录(2004年),200-208
[61] 弯曲,R。;Hentenryck,P.V.,只有遗憾!时间约束下的在线随机优化, (第十九届全国人工智能会议记录,第十六届人工智能创新应用会议记录,2004年7月25日至29日,加利福尼亚州圣何塞,美国(2004)),501-506
[62] 本特,R。;凯特里尔,I。;Hentenryck,P.V.,《次优逼近》,(van Beek,P.,《第11届约束编程原理与实践国际会议论文集》,第11届限制编程原理与实务国际会议论文,2005年10月1日至5日,西班牙西格斯,CP 2005。第11届约束编程原理与实践国际会议,会议记录。第十一届约束规划原则与实践国际会议,会议记录,CP 2005,西茨,西班牙,2005年10月1日至5日,Lect。注释计算。科学。,第3709卷(2005),施普林格),122-136·Zbl 1153.90577号
[63] Yates,D.S。;斯塔恩斯,D.S。;Moore,D.S.,《统计学实践》(2002),W.H.Freeman&Co
[64] 医学博士麦凯。;贝克曼,R.J。;Conover,W.J.,《计算机代码输出分析中选择输入变量值的三种方法的比较》,《技术计量学》,21,239-245(1979)·Zbl 0415.62011号
[65] Neyman,J.,《关于置信限问题》,Ann.Math。统计,6111-116(1935)·JFM 61.1310.03标准
[66] Benhamou,F。;Granvilliers,L.,连续和区间约束,(Rossi,F.;van Beek,P.;Walsh,T.,约束编程手册(2006),爱思唯尔),569
[67] 罗西,R。;普雷斯特维奇,S.D。;塔里木,S.A.,《统计约束》(Schaub,T.;Friedrich,G.;O'Sullivan,B.,ECAI 2014-第21届欧洲人工智能会议,包括智能系统的著名应用,PAIS 2014)。ECAI 2014-第21届欧洲人工智能会议,包括智能系统的著名应用,PAIS 2014,捷克共和国布拉格,2014年8月18日至22日。ECAI 2014-第21届欧洲人工智能会议,包括智能系统的著名应用,PAIS 2014。ECAI 2014-第21届欧洲人工智能会议,包括智能系统的著名应用,PAIS 2014,捷克共和国布拉格,2014年8月18日至22日,Front。Artif公司。智力。申请。,第263卷(2014年),IOS出版社,777-782·Zbl 1366.68273号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。