×
皮埃尔·弗莱纳；贾斯汀·皮尔逊；梅诺夫·塞尔曼；帕斯卡·范·亨特利克；马格努斯奥格伦

约束满足问题的动态结构对称性破坏。 （英语） Zbl 1186.68438号

约束条件 14，第4期，506-538（2009）.
摘要：近年来，约束满足问题（CSP）的对称破缺引起了人们的广泛关注。为了消除对称性，人们提出了各种通用方案。通常，这些方案可能需要指数空间或时间来消除所有对称性。我们确定了几类包含许多实际问题的CSP，对于这些CSP，使用专用搜索程序可以处理各种形式的值或变量互换性的对称破坏。我们还通过证明一些CSP类的难解结果，证明了这种优势检测方案的有效对称破缺的极限。

引用于5文件

MSC公司：

68T20型 人工智能背景下的问题解决（启发式、搜索策略等）

关键词：

对称性破坏；优势检测；可牵引性；CSP公司

软件：

OPL公司
PDF格式BibTeX公司 XML格式引用
\textit{P.Flener}等人，《约束》14，第4期，506--538（2009；Zbl 1186.68438）
全文： DOI程序

参考文献：

[1] Ahuja，R.、Magnati，T.和Orlin，J.（1993）。网络流量。恩格尔伍德悬崖：普伦蒂斯大厅。
[2] Backofen，R.和Will，S.（1999）。在基于约束的搜索中排除对称。J.Jaffar（编辑），《CP’99会议录》，LNCS（第1713卷，第73-87页）。纽约：斯普林格·Zbl 0957.68103号
[3] Barnier，N.和Brisset，P.（2002年）。几秒钟内解决柯克曼的女学生问题。P.Van Hentenryck（编辑），《CP’02会议录》，LNCS（第2470卷）。第477-491页）。纽约：斯普林格·Zbl 1112.90064号
[4] Cameron，P.（1999）。置换群。伦敦数学学会学生课文排名45。剑桥：剑桥大学出版社。
[5] Cohen，D.A.、Jeavons，P.、Jefferson，C.、Petrie，K.E.和Smith，B.M.（2005）。约束满足问题的对称定义。在P.van Beek（编辑）《CP'05会议录》中，LNCS（第3709卷，第17-31页）。纽约：斯普林格·Zbl 1153.68454号
[6] Colbourn，C.J.和Dinitz，J.H.（编辑）（1996年）。CRC组合设计手册。博卡拉顿：CRC·Zbl 0836.00010号
[7] Crawford，J.M.、Ginsberg，M.、Luks，E.和Roy，A.（1996年）。搜索问题的对称破坏谓词。L.C.Aiello、J.Doyle和S.C.Shapiro（编辑），《韩国96年会议录》（第148-159页）。旧金山：摩根考夫曼。
[8] Er，M.C.（1988）。生成集合分区的快速算法。《计算机杂志》，31（3），283-284·Zbl 0647.68071号 ·doi:10.1093/comjnl/31.3.283
[9] Fahle，T.、Schamberger，S.和Sellmann，M.（2001）。对称性破坏。T.Walsh（编辑），《CP’01会议录》，LNCS（第2239卷，第93-107页）。纽约：斯普林格·Zbl 1067.68631号
[10] Flener，P.、Frisch，A.M.、Hnich，B.、Kzltan，z.、Miguel，I.、Pearson，J.等人（2001年）。矩阵模型中的对称性。P.Flener&J.Pearson（编辑），《SymCon'01会议录》。http://www.it.uu.se/research/group/astra/SymCon01/ .
[11] Flener，P.、Frisch，A.M.、Hnich，B.、Kzltan，z.、Miguel，I.、Pearson，J.等人（2002年）。打破矩阵模型中的行和列对称。P.Van Hentenryck（编辑），《CP’02会议录》，LNCS（第2470卷，第462-476页）。纽约：斯普林格。
[12] Flener，P.、Pearson，J.、Sellmann，M.和Van Hentenryck，P.（2006）。静态和动态结构对称性破坏。F.Benhamou（编辑），《CP’06会议录》，LNCS（第4204卷，第695-699页）。纽约：斯普林格。
[13] Flener，P.、Pearson，J.和Sellmann，M.（2008年）。静态和动态结构对称性破坏。《2008-2023年技术报告》，瑞典乌普萨拉大学信息技术系，9月。http://www.it.uu.se/research/reports/2008-023/ . ·Zbl 1205.68374号
[14] Flener，P.、Pearson，J.、Sellmann，M.和奥格伦，M.（2007）。约束满足问题的结构对称破缺。技术报告2007-032，瑞典乌普萨拉大学信息技术系，11月。http://www.it.uu.se/research/reports/2007-032/ . ·Zbl 1186.68438号
[15] Focacci，F.和Milano，M.（2001年）。去除对称性的全局切割框架。T.Walsh（编辑），《CP’01会议录》，LNCS（第2239卷，第77-92页）。纽约：斯普林格·Zbl 1067.68633号
[16] 弗洛伊德·E.C.（1991）。消除约束满足问题中的可互换值。《1991年AAAI会议记录》（第227-233页）。门洛帕克：AAAI。
[17] Gent，I.P.和Smith，B.M.（2000）。约束编程中搜索期间对称性破坏。ECAI'00会议记录（第599-603页）。阿姆斯特丹：IOS。
[18] Heller，D.S.和Sellmann，M.（2006年）。重新启动动态对称破坏。F.Benhamou（编辑），《CP’06会议录》，LNCS（第4204卷，第721-725页）。纽约：斯普林格。
[19] Kubale，M.和Jackowski，B.（1985年）。图着色的广义隐枚举算法。CACM，28（4），412-418。
[20] Law，Y.和Lee，J.（2006）。对称打破了约束满足中值对称的约束。约束，11（2–3），221–267·Zbl 1103.68813号 ·doi:10.1007/s10601-006-7095-8
[21] Law，Y.、Lee，J.、Walsh，T.和Yip，J.（2007）。打破可互换变量和值的对称性。C.Bessière（Ed.），《CP’07会议录》，LNCS（第4741卷，第423-437页）。纽约：斯普林格·Zbl 1145.68521号
[22] Meseguer，P.和Torras，C.（2001年）。利用约束满足搜索中的对称性。人工智能，129（1-2），133-163·Zbl 0971.68144号 ·doi:10.1016/S0004-3702（01）00104-7
[23] Puget，J.-F.（1993年）。对称约束满足问题的可满足性。J.Komorowski和Z.Ra-shi（编辑），《ISMIS’93会议录》，LNAI（第689卷，第350-361页）。纽约：斯普林格。
[24] Puget，J.-F.（2002年）。重新审视对称性破坏。P.Van Hentenryck（编辑），《CP’02会议录》，LNCS（第2470卷，第446–461页）。纽约：斯普林格。
[25] Puget，J.-F.（2006年）。打破值对称的有效方法。AAAI'06会议记录。门罗公园：AAAI。
[26] Roney-Dougal，C.M.、Gent，I.P.、Kelsey，T.和Linton，S.（2004）。使用受限搜索树的可牵引对称破缺。R.L.de Mántaras和L.Saitta（编辑），《ECAI'04会议录》（第211-215页）。阿姆斯特丹：IOS·兹比尔1109.68613
[27] Sellmann，M.和Van Hentenryck，P.（2005）。结构对称性破坏。2005年国际商会会议记录（第298-303页）。IJCAI公司。
[28] Sellmann，M.、Gellermann，T.和Wright，R.（2007）。针对较短路径约束的基于成本的过滤。约束，12（2），207–238·兹比尔1141.68055 ·文件编号：10.1007/s10601-006-9006-4
[29] Shlyakhter，I.（2001）。为搜索问题生成有效的破坏对称的谓词。离散数学电子笔记（第9卷）。2001年SAT会议记录·Zbl 1158.68497号
[30] Smith，B.M.（2001）。减少组合设计问题中的对称性。C.Gervet和M.Wallace（编辑），《CP-AI-OR’01会议录》。
[31] Smith，B.M.、Brailsford，S.C.、Hubbard，P.M.和Williams，H.P.（1996）。累进方问题：整数线性规划与约束规划的比较。约束，119–138·Zbl 05475104号 ·doi:10.1007/BF00143880
[32] Van Hentenryck，P.（2002年）。OPL中的约束和整数编程。计算信息杂志，14（4），345-372·兹比尔1238.90102 ·doi:10.1287/ijoc.14.4.345.2826
[33] Van Hentenryck，P.，Flener，P.、Pearson，J.和O.gren，M.（2003）。具有可互换值的CSP的可牵引对称破坏。《IJCAI'03会议录》（第277-282页）。旧金山：摩根考夫曼。
[34] Van Hentenryck，P.、Flener，P.，Pearson，J.和Au gren，M.（2005）。约束满足对称性的合成推导。J.-D.Zucker和L.Saitta（编辑），《2005年SARA会议录》，LNAI（第3607卷，第234-247页）。纽约：斯普林格。
[35] Walsh，T.（2007）。打破价值对称。C.Bessière（Ed.），《CP’07会议录》，LNCS（第4741卷，第880-887页）。纽约：斯普林格。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。