×

最小化冲突:约束满足和调度问题的启发式修复方法。 (英语) Zbl 0782.90054号

摘要:本文描述了一种求解大规模约束满足和调度问题的简单启发式方法。在这种方法中,首先对一组变量进行不一致的赋值,然后搜索可能的修复空间。搜索可以由按值排序的启发式算法(min-conflicts启发式算法)指导,该算法试图在每一步之后将违反约束的次数降至最低。启发式可以用于各种不同的搜索策略。
我们从经验上证明,对于(n)-皇后问题,基于此方法的技术比传统回溯技术执行的数量级更好。我们还描述了一个调度应用程序,该方法在其中得到了成功的应用。本文进行了理论分析,解释了为什么这种方法在某些类型的问题上效果良好,并预测了它何时可能最有效。

MSC公司:

90B35型 运筹学中的确定性调度理论

软件:

神童
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 艾布拉姆森,B。;Yung,M.,《全局约束下的分治:(n)-皇后问题的解决方案》,J.Parallel Distribute.Compute。,61, 649-662 (1989)
[2] 阿道夫·H·M。;Johnston,M.D.,约束满足问题的离散随机神经网络算法,(国际神经网络联合会议论文集。国际神经网络联合会议论文集,加利福尼亚州圣地亚哥(1990))·Zbl 0825.90654号
[3] 比菲尔德,E。;库珀,L.,《使用过程年表识别瓶颈》,(《国际期刊汇编》第91卷)。澳大利亚悉尼IJCAI-91会议记录(1991年)·Zbl 0745.68100号
[4] 比特纳,J。;Reingold,E.M.,回溯编程技术,Commun。ACM,18651-655(1975)·Zbl 0313.68026号
[5] Brassard,G。;Bratley,P.(《算法理论与实践》(1988),普伦蒂斯·霍尔:普伦蒂斯·霍尔·恩格尔伍德悬崖,新泽西州)
[6] Brelaz,D.,图顶点着色的新方法,Commun。ACM,22,251-256(1979)·Zbl 0394.05022号
[7] Cheeseman,P。;Kanefsky,B。;W.M.Taylor,Where the真正地困难的问题是,(IJCAI-91会议录)。澳大利亚悉尼IJCAI-91会议记录(1991年)·Zbl 0747.68064号
[8] Dechter,R。;Pearl,J.,基于网络的约束满足问题启发式,Artif。智力。,34, 1-38 (1988) ·Zbl 0643.68156号
[9] Eskey,M。;Zweben,M.,《基于约束调度的学习搜索控制》(Proceedings AAAI-90)。AAAI-90诉讼,马萨诸塞州波士顿(1990年)
[10] Fox,M.S.,(约束导向搜索:Job-Shop调度案例研究(1987),Morgan Kaufmann:Morgan Koufmann San Mateo,CA)·Zbl 0702.68032号
[11] 福克斯,M.S。;Sadeh,N。;Baykan,C.,《约束启发式搜索》(Proceedings IJCAI-89)。密歇根州底特律市IJCAI-89会议记录(1989)·兹比尔0707.68073
[12] Artif公司。智力。,58,21-70(1992年),(本卷)
[13] 金斯伯格,M.L。;Harvey,W.D.,迭代加宽,(AAAI-90论文集。AAAI-90诉讼,马萨诸塞州波士顿(1990年)
[14] Hammond,K.J.,《基于案例的规划:规划、学习和记忆的综合理论》(博士论文(1986),耶鲁大学计算机科学系:耶鲁大学,计算机科学系纽黑文,CT)
[15] Haralick,R.M。;Elliot,G.L.,提高约束满足问题的树搜索效率,Artif。智力。,14, 263-313 (1980)
[16] 赫兹,A。;de Werra,D.,使用禁忌搜索技术进行图着色,计算,39,345-351(1987)·Zbl 0626.68051号
[17] 希克曼,A.K。;Lovett,M.C.,《通过内部类比进行部分匹配和搜索控制》,(《认知科学学会第十三届年会论文集》,伊利诺伊州芝加哥,第十三届年度会议论文集(1991))
[18] 霍普菲尔德,J.J.,《具有涌现集体计算能力的神经网络和物理系统》(Proc.Nat.Acad.Sci.,79(1982))·Zbl 1369.92007号
[19] 约翰逊,D.S。;阿拉贡,C.R。;McGeoch,洛杉矶。;Schevon,C.,《模拟退火优化:实验评估》,J.Oper。Res.,39,3,378-406(1991),第二部分·Zbl 0739.90055号
[20] 约翰逊,D.S。;帕帕迪米特罗,C.H。;Yannakakis,M.,本地搜索有多容易?,J.计算。系统。科学。,37, 79-100 (1988) ·兹比尔0655.68074
[21] Johnston,M.D.,《自动望远镜调度》(《观测项目协调研讨会论文集》(1987),剑桥大学出版社:剑桥大学出版社,英国剑桥)
[22] 约翰斯顿医学博士。;Adorf,H.M.,《约束满足问题的随机神经网络学习》,(美国宇航局太空遥控机器人会议论文集。美国宇航局空间遥控机器人会议文献集,加利福尼亚州帕萨迪纳(1989))·Zbl 0825.90654号
[23] Kale,L.V.,《非攻击性皇后问题的一种几乎完美的启发式方法》,Inf.Process。莱特。,34, 173-178 (1990) ·Zbl 0696.68097号
[24] Kambhampati,S.,《支持灵活的计划重用》(Minton,S.),《计划和调度的机器学习方法》(1992),Morgan Kaufmann:Morgan Koufmann San Mateo,CA)
[25] Keng,N。;Yun,D.Y.Y.,有限资源问题的规划/调度方法,(会议录IJCAI-89。密歇根州底特律市IJCAI-89会议记录(1989)·Zbl 0713.68077号
[26] Kolodner,J.L。;辛普森,R.L。;Sycara-Cyranski,K.,《问题解决中基于案例推理的过程模型》(Proceedings IJCAI-85)。加利福尼亚州洛杉矶市IJCAI-85会议记录(1985年)
[27] Kurtzman,C.R.,《时间和资源受限调度及其在空间站规划中的应用》(麻省理工学院航空航天系博士论文(1988):麻省理工大剑桥大学航空航天系)
[28] 库兹曼,C.R。;Aiken,D.L.,Mfive空间站机组人员活动调度员和配载物流员,(美国航空航天第七届会议AIAA计算机会议论文集。美国航空航天VII会议AIAA电脑会议论文集,加利福尼亚州蒙特雷(1989))
[29] Langley,P.,《系统和非系统搜索策略》(Proceedings AAAI-92)。AAAI-92会议记录,加利福尼亚州圣何塞(1992年)
[30] 明顿,S。;约翰斯顿,M。;飞利浦,A.B。;Laird,P.,《使用启发式修复方法解决大规模约束满足和调度问题》(Proceedings AAAI-90)。AAAI-90诉讼,马萨诸塞州波士顿(1990年)
[31] Morris,P.,《无穷举搜索的解决方案:二元约束满足问题的迭代下降方法》,(《约束导向推理AAAI-90研讨会论文集》,《约束导向推理AAAI-90研讨会论文集》,马萨诸塞州波士顿(1990))
[32] Morris,P.,具有保证收敛性的迭代改进算法,技术代表。TR-M-91-1,Intellicorp技术说明(1991)
[33] Morris,P.,《关于皇后问题平衡点解的密度》(Proceedings AAAI-92)。AAAI-92会议记录,加利福尼亚州圣何塞(1992年)
[34] Muscettola,N。;史密斯,S.F。;Amiri,G。;Pathak,D.,生成空间望远镜观测时间表,(技术报告CMU-RI-TR-89-28(1989),卡内基梅隆大学,机器人研究所:卡内基梅隆大学,宾夕法尼亚州匹兹堡机器人研究所)
[35] Musick,R。;Russell,S.,需要多长时间?,(AAAI-92会议记录。AAAI-92会议记录,加利福尼亚州圣何塞(1992年)
[36] 塞尔曼,B。;Levesque,H.J。;Mitchell,D.,《解决难满足性问题的新方法》(Proceedings AAAI-92)。诉讼程序AAAI-92,加利福尼亚州圣何塞(1992))
[37] Simmons,R.G.,《调试计划和解释的理论》(Proceedings AAAI-88)。AAAI-88会议记录,明尼苏达州圣保罗(1988年)
[38] Sosic,R。;Gu,J.,(n)-皇后问题的多项式时间算法,SIGART,1,3(1990)
[39] 斯通,H.S。;Stone,J.M.,高效搜索技术——皇后问题的实证研究,IBM J.Res.Dev.,31464-474(1987)
[40] Sussman,G.J.,(技能获得的计算机模型(1975),美国爱思唯尔:美国爱思惟尔纽约)
[41] Turner,J.S.,《几乎所有可着色图都很容易着色》,J.Algorithms,9,63-82(1988)·Zbl 0661.68066号
[42] Veloso,M.M。;Carbonell,J.G.,《迈向扩大机器学习:神童推导类比的案例研究》(Minton,S.,《规划和调度的机器学习方法》(1992),Morgan Kaufmann:Morgan Koufmann San Mateo,CA)
[43] Waldrop,M.,哈勃太空望远镜会计算吗?,《科学》,2431437-1439(1989)
[44] Zweben,M.,适用于约束满足问题的迭代改进搜索算法框架,(技术报告RIA-90-05-03-1(1990),美国宇航局艾姆斯研究中心人工智能研究分会)
[45] Zweben,M。;迪尔,M。;Gargan,R.,《任何时间的重新安排》(规划、调度和控制创新方法研讨会论文集(1990),Morgan Kaufmann:Morgan Koufmann San Mateo,CA)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。