×

组合优化问题中的优势规则。 (英语) Zbl 1237.90199号

摘要:本文的目的是在组合优化的背景下研究“支配规则”的概念。建立支配规则是为了通过向问题添加新的约束来减少问题的解空间,无论是在旨在减少变量域的过程中,还是直接在构建有趣的解时。支配规则在过去50年中得到了广泛应用。令人惊讶的是,据我们所知,除了在枚举方法的上下文中进行一些简短的形式描述外,文献中没有对它们进行详细描述。因此,我们建议调查什么是支配规则。我们首先提供了支配规则的定义及其不同的细微差别。接下来,我们分析支配规则通常是如何制定的,以及这些制定的结果是什么。最后,我们列举了文献中以及在解决组合优化问题的通常过程中遇到的优势规则的共同特征。

MSC公司:

90C27型 组合优化
90-02 与运筹学和数学规划有关的研究博览会(专著、调查文章)
PDF格式BibTeX公司 XML格式引用
全文: DOI程序 哈尔

参考文献:

[1] Manne,A.,《经济批量规划》,管理科学,4,2,115-135(1958)
[2] Levitan,R.,关于第页教授安妮的“支配”定理,《管理科学》,第5、3、332-334页(1959年)
[3] 伊格纳尔,E。;Schrage,L.,分支定界技术在一些流程车间调度问题中的应用,运筹学,13400-412(1965)
[4] Fox,B.,《通过边际分析进行离散优化》,《管理科学》,第13、3、210-216页(1966年)·Zbl 0173.47503号
[5] Proshan,F。;Bray,T.,《多约束下的最优冗余》,运筹学,13,800-814(1965)
[6] Weingartner,H。;Ness,D.,多维0/1背包问题的求解方法,运筹学,15,1,83-103(1967)
[7] Elmaghraby,S.,《带延迟成本的单机器排序问题》,《工业工程杂志》,第19期,第105-108页(1968年)
[8] Baker,K.,《排序和调度导论》(1974),John Wiley and Sons
[9] 科勒,W。;Steiglitz,K.,置换问题分枝定界算法的特征和理论比较,ACM杂志,21,1,140-156(1974)·兹伯利0279.68035
[10] Ibaraki,T.,《分枝定界算法中优势关系的力量》,计算机协会杂志,24,2,264-279(1977)·Zbl 0357.90043号
[11] Johnson,S.,《包含设置时间的最佳二级和三级生产计划》,《海军研究后勤季刊》,第1期,第61-68页(1954年)·Zbl 1349.90359号
[12] Smith,W.,《单阶段生产的各种优化器》,《海军研究后勤季刊》,359-66(1956)
[13] Gomory,R.,线性规划整数解算法概述,美国数学学会公报,64,275-278(1958)·Zbl 0085.35807号
[14] J.Swift,穷举搜索技术中的同构拒绝,收录于:美国数学学会应用数学研讨会,第10卷,1960年,第195-200页。;J.Swift,穷举搜索技术中的同构拒绝,收录于:美国数学学会应用数学研讨会,第10卷,1960年,第195-200页·Zbl 0096.00505号
[15] 吉夫勒,B。;汤普森,G.,《解决生产调度问题的算法》,运筹学,8,487-503(1960)·Zbl 0248.90022号
[16] 贝克,K。;Trietsch,D.,《排序和调度原则》(2009),John Wiley and Sons·兹比尔1169.90009
[17] Garey,M。;Johnson,D.,《计算机与难治性:NP-完全性理论指南》(1979),W.H.Freeman·Zbl 0411.68039号
[18] Brucker,P.,调度算法(1995),Springer:Springer-Lehrbuch·Zbl 0839.90059号
[19] 内姆豪泽,G。;Wolsey,L.,《整数与组合优化》(1998),威利出版社:威利纽约·Zbl 0909.90227号
[20] Golomb,S。;Baumert,D.,Backtrack programming,《计算机协会杂志》,12516-524(1965)·兹伯利0139.12305
[21] Agin,N.,用分支和界限进行最优搜索,管理科学,13,4,176-185(1966)
[22] (Rossi,F.;Van Beek,P.;Walsh,T.,《约束编程手册(人工智能基础)》(2006),爱思唯尔科学公司)·Zbl 1175.90011号
[23] 巴普蒂斯特,P。;Le Pape,C。;Nuijten,W.,《基于约束的调度,将约束编程应用于调度问题》,运筹学和管理科学国际丛书,第39卷(2001年),Kluwer·邮编1094.90002
[24] Carlier,J。;Chrétienne,P.,Problèmes d'ordonnance:modélisation/complexitè/algorithmes(1988),马森
[25] 科勒,W。;Steiglitz,K.,《计算机和作业车间调度理论》(Coffman,E.G.,Ch.枚举和迭代计算方法(1976),John Wiley&Sons),229-287·Zbl 0359.90031号
[26] Emmons,H.,One-machine sequenting to minimize somethine functions of job tardy,运筹学,17,701-715(1969)·Zbl 0176.50005号
[27] Dessouky,M。;Deogun,D.,用不等准备时间排序作业以最小化平均流动时间,SIAM计算杂志,192-202年10月(1981年)·兹比尔0454.68010
[28] C.Brown,L.Finkelstein,P.Purdom,应用代数,代数算法和纠错码,Ch.对称性存在下的回溯搜索,1988。;C.Brown,L.Finkelstein,P.Purdom,应用代数,代数算法和纠错码,Ch.对称性存在下的回溯搜索,1988年。
[29] Glaisher,J.,《论八皇后的问题》,《哲学杂志丛书》,第4期,第48期,第457-467页(1874年)
[30] E.弗洛伊德,《消除约束满足问题中的可互换值》,载于《AAAI-91:第九届全国人工智能会议论文集》,加利福尼亚州阿纳海姆,1991年。;E.弗洛伊德,《消除约束满足问题中的可互换值》,载于《AAAI-91:第九届全国人工智能会议论文集》,加利福尼亚州阿纳海姆,1991年。
[31] J.Puget,《关于对称约束满足问题的可满足性》,载《ISMIS’93会议录》,LNAI 6891993年,第350-361页。;J.Puget,《关于对称约束满足问题的可满足性》,载于:《ISMIS’93会议录》,LNAI 6891993年,第350-361页。
[32] B.Benhamou,约束满足问题中的对称性研究,载于:《PPCP’94会议录:约束编程原理与实践第二次研讨会》,1994年,第281-294页。;B.Benhamou,约束满足问题中的对称性研究,载于:《PPCP’94会议录:约束编程原理与实践第二次研讨会》,1994年,第281-294页。
[33] B.Smith,减少组合设计问题中的对称性,收录于:CP-AI-OR’01会议录,第三届CP中人工智能与OR技术集成国际研讨会,2001年。;B.Smith,减少组合设计问题中的对称性,收录于:CP-AI-OR’01会议录,第三届CP中人工智能和OR技术集成国际研讨会,2001年。
[34] T.Fahle,S.Schamberger,M.Sellmann,约束优化中的对称性,收录于:CP’2001年会议记录:第七届约束编程原理与实践国际会议,2001年,第93-107页。;T.Fahle,S.Schamberger,M.Sellmann,约束优化中的对称性,收录于:CP’2001年会议记录:第七届约束编程原理与实践国际会议,2001年,第93-107页·Zbl 1067.68631号
[35] S.Prestwich,C.Beck,《利用三个对称问题中的主导地位》,载于:SymCon’04:第四届约束满足问题中的对称性国际研讨会,CP2004卫星研讨会:第十届约束规划原理与实践国际会议,2004年,第63-70.页。;S.Prestwich,C.Beck,《利用三个对称问题中的优势》,载于:SymCon'04:第四届约束满足问题中的对称性国际研讨会,CP2004卫星研讨会:第十届约束编程原理与实践国际会议,2004年,第63-70页。
[36] D.Cohen,P.Jeavons,C.Jefferson,K.Petrie,B.Smith,约束满足问题的对称定义。;D.Cohen,P.Jeavons,C.Jefferson,K.Petrie,B.Smith,约束满足问题的对称定义,收录于:CP2005,第11届约束编程原理与实践国际会议,2005,第17-31页·Zbl 1153.68454号
[37] T.Walsh,《一般对称破缺约束》,载于:《CP-2006会议录:第12届约束编程原理与实践国际会议》,计算机科学讲稿,2006年。;T.Walsh,《一般对称破缺约束》,载于:《CP-2006会议录:第12届约束编程原理与实践国际会议》,计算机科学讲稿,2006年·Zbl 1160.68571号
[38] Carlier,J。;Pinson,E.,《工作场所问题的头部和尾部调整》,《欧洲运筹学杂志》,78146-161(1994)·Zbl 0812.90063号
[39] L.Peridy,Le problème de job-shop:arbiges et ajustements,博士论文,法国Compiégne技术大学,1996年。;L.Peridy,Le problème de job-shop:arbiges et ajustements,博士论文,法国Compiégne技术大学,1996年。
[40] L.Peridy,Régles d’Eliminations pour les problems d’ordonancement disjonctif,《再利用的习惯》,法国Compiègne技术大学,2007年。;L.Peridy,Régles d’Eliminations pour les problems d’ordonancement disjonctif,《再利用的习惯》,法国Compiègne科技大学,2007年。
[41] Belouadah,H。;波斯纳,M。;Potts,C.,《单台机器上具有发布日期的调度以最小化加权总完成时间》,《离散应用数学》,36,213-231(1992)·Zbl 0757.90032号
[42] 手套,F。;Kochenberger,G.,《元启发式手册》,《运筹学和管理科学国际丛书》,第57卷(2003年),Springer·Zbl 1058.90002号
[43] 楚,C。;Portmann,M.-C.,求解(n|1|r_i|\sumT_i)的一些新的有效方法,欧洲运筹学杂志,58404-413(1991)·Zbl 0760.90055号
[44] Chu,C.,《利用发布日期最小化总流动时间的高效启发式算法》,《运营研究快报》,第12期,第321-330页(1992年)·Zbl 0769.90047号
[45] Jouglet,A。;Savourey博士。;Carlier,J。;Baptiste,P.,单机总成本调度问题的基于优势的启发式算法,《欧洲运筹学杂志》,184,3879-899(2008)·Zbl 1141.90019号
[46] Dantzig,G.,《线性规划与扩展》(1963),普林斯顿大学出版社:普林斯顿大学出版,新泽西州普林斯顿·Zbl 0108.33103号
[47] 持有,M。;Karp,R.,排序问题的动态规划方法,SIAM应用数学杂志,10,1,196-210(1962)·Zbl 0106.14103号
[48] 劳勒,E。;Moore,J.,《函数方程及其在资源分配和排序问题中的应用》,《管理科学》,第16期,第77-84页(1969年)·Zbl 0184.23303号
[49] Bellman,R.,《动态规划理论》,《美国数学学会公报》,60,503-515(1954)·Zbl 0057.1253号
[50] R.Walker,一类组合问题的枚举技术,收录于:美国数学学会应用数学研讨会,第10卷,1960年,第91-94页。;R.Walker,一类组合问题的枚举技术,收录于:美国数学学会应用数学研讨会,第10卷,1960年,第91-94页·Zbl 0096.00603号
[51] Balas,E.,滤波法离散规划,运筹学,15115-957(1967)·Zbl 0153.21401号
[52] Mitten,L.,《分枝定界法:一般公式和性质》,运筹学,18,1,24-34(1970)·Zbl 0225.90030号
[53] 土地,A。;Doig,A.,《解决离散编程问题的自动方法》,《计量经济学》,第28期,第497-520页(1960年)·兹比尔0101.37004
[54] Little,J。;Murty,K。;斯威尼,D。;Karel,C.,旅行商问题的算法,运筹学,11972-989(1963)·兹比尔0161.39305
[55] Bertier,P。;Roy,B.,《解决问题的程序》,《caractère组合中的pouvant avoir un caractére combinetoire,Recherche Opérationnelle中心咖啡馆》,6202-208(1964)·Zbl 0204.18903号
[56] 劳勒,E。;Wood,D.,《分支与绑定方法:调查》,《运筹学》,第14、4、699-719页(1966年)·Zbl 0143.42501号
[57] Balas,E.,《关于分支约束原则的注释》,《运筹学》,第16期,第442-445页(1968年)·Zbl 0186.24901号
[58] 罗伊,B.,《勘探阶段与评估程序》,《法国信息与经济评论》,第661-90页(1969年)·Zbl 0218.90032号
[59] T.Walsh,约束优化中的对称性,摘自:SymCon'07会议录,第七届对称性和约束满足问题国际研讨会,2007年。;T.Walsh,约束优化中的对称性,摘自:SymCon'07会议录,第七届对称性和约束满足问题国际研讨会,2007年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。