×
原口，卡祖亚

部分拉丁方扩张问题的网格邻域迭代局部搜索。 （英语） Zbl 1360.90303号

J.启发式 22，第5期，727-757（2016）.
摘要：部分拉丁方（PLS）是将（n）个符号部分赋值给（n次n）个网格，这样，在每一行和每一列中，每个符号最多出现一次。PLS扩展问题是一个NP-hard问题，它要求给定PLS的最大扩展。我们考虑局部搜索，使得邻域由\（p，q）\）-swap定义，即精确删除\（p）个符号，然后将符号分配给最多\（q）个空单元的操作。作为一个基本结果，我们提供了一种有效的\（p，\infty）\）邻域搜索算法，该算法找到了一个改进的解，或者得出结论，对于\（p\in\｛1,2,3\｝\）不存在这样的解。算法的运行时间为\（O（n^{p+1}）\）。然后我们提出了一种新的交换操作——网格交换，它是（p，q）-交换与（p\leq2）的推广。提出的网格邻域搜索算法运行时间为（O（n^{3.5}）。具有网格邻域的迭代局部搜索（ILS）算法不仅比具有（p，infty）邻域的ILS更有可能提供高质量的解决方案，而且比IBM ILOG CPLEX和局部解算器.

引用于1文件

MSC公司：

90 C59 数学规划中的近似方法和启发式
90C27型 组合优化

关键词：

部分拉丁方扩张问题;最大独立集问题;元启发式;本地搜索

软件：

CPLEX公司;局部解算器
PDF格式BibTeX公司 XML格式引用
\textit{K.Haraguchi}，J.启发式22，No.5，727--757（2016；Zbl 1360.90303）
全文： 内政部 链接

参考文献：

[1] Alidaee，B.，Kochenberger，G.，Wang，H.：最大独立集问题的简单快速代理约束启发式。《启发式杂志》14，571-585（2008）·Zbl 1173.90557号 ·doi:10.1007/s10732-007-9054-y
[2] Andrade，D.V.，Resende，M.G.C.，Werneck，R.F.：最大独立集问题的快速局部搜索。《启发式杂志》18，525-547（2012）。初步版本见《第七届世界环境评估会议记录》（LNCS vol.5038），pp.220-234（2008）·Zbl 1358.90143号
[3] Ansótegui，C.，Val，A.，Dotü，I.，Fernández，C.，Manyá，F.：拟群完成中的建模选择：SAT与CSP。摘自：《全国人工智能会议记录》，第137-142页（2004年）
[4] Appa，G.，Magos，D.，Mourtos，I.：通过整数和约束编程搜索相互正交的拉丁方。欧洲药典。第173（2）号决议，第519-530（2006年a）号决议·Zbl 1109.05027号 ·doi:10.1016/j.jor.2005.01.048
[5] Appa，G.，Magos，D.，Mourtos，I.：拉丁方多面体的一类新面。自由裁量权。申请。数学。154（6），900-911（2006b）·Zbl 1131.90075号 ·doi:10.1016/j.dam.2005.09.014
[6] Barry，R.A.，Humblet，P.A.：拉丁路由器，设计与实现。IEEE/OSA J.光波技术。11(5), 891-899 (1993) ·数字对象标识代码：10.1109/50.233253
[7] Barták，R.：关于随机拟群问题的生成元。程序。CSCLP 2005，164-178（2006）·Zbl 1180.68243号
[8] Colbourn，C.J.：完成偏拉丁平方的复杂性。谨慎。申请。数学。8, 25-30 (1984) ·Zbl 0538.05013号 ·doi:10.1016/0166-218X（84）90075-1
[9] Colbourn，C.J.，Dinitz，J.H.：组合设计手册，第2版。查普曼和霍尔/CRC，博卡拉顿（2006）·Zbl 1101.05001号 ·doi:10.1201/9781420010541
[10] Crawford，B.，Aranda，M.，Castro，C.，Monfroy，E.：使用约束编程解决数独难题。摘自：《2008年国际商会会议记录》，第2卷，第926-931页（2008年）
[11] Crawford，B.，Castro，C.，Monfroy，E.：用约束编程解决数独问题。In:多准则决策的前沿研究课题。《计算机和信息科学通信》，第35卷，第345-348页（2009年）·Zbl 1177.68019号
[12] Cygan，M.：通过有界路径宽度局部搜索改进三维匹配近似。摘自：《2013年FOCS会议记录》，第509-518页（2013年）
[13] Eén，n.，Sörensson，n.：MiniSat页面（2.2.0版）。http://minisat.se/Main.html, (2010). 2015年7月10日访问
[14] Fürer，M.，Yu，H.：通过局部改进逼近k-集装箱问题。2014年国际会计准则理事会会议记录。LNCS，第8596卷，第408-420页（2014年）·Zbl 1452.90264号
[15] Garey，M.R.，Johnson，D.S.：《计算机与难治性：NP-完备性理论指南》。W.H.弗里曼公司，纽约（1979年）·Zbl 0411.68039号
[16] Gomes，C.、Sellmann，M.、van Es，C.和van Es.，H.：生成空间平衡科学实验设计的挑战。载于：2004年注册会计师协会会议记录。LNCS，第3011卷，第387-394页（2004a）·Zbl 1094.68643号
[17] Gomes，C.P.，Selman，B.：扰动存在下的问题结构。摘自：AAAI-97会议记录，第221-227页（1997年）
[18] Gomes，C.P.，Shmoys，D.B.：完成拟群或拉丁方：一个结构化图着色问题。图着色和推广计算研讨会论文集（2002年）
[19] Gomes，C.P.，Regis，R.G.，Shmoys，D.B.：部分拉丁方扩张问题的改进近似算法。操作。Res.Lett公司。32（5），479-484（2004年b）·Zbl 1078.68160号 ·doi:10.1016/j.orl.2003.09.007
[20] Hajirasouliha，I.、Jowhari，H.、Kumar，R.、Sundaram。R：关于完成拉丁方。摘自：2007年STACS会议记录。LNCS，第4393卷，第524-535页（2007年）·Zbl 1186.68560号
[21] 原口，K.：约束对称拉丁方构造问题的有效局部搜索。正在准备中·Zbl 1464.90078号
[22] Haraguchi，K.：有效解决最困难情况的部分拉丁方扩展问题的构造性算法。摘自：《计算优化的最新进展——2013年WCO计算优化研讨会的结果》，FedCSIS 2013，第67-84页（2013）·Zbl 1144.90396号
[23] 原口，K.：局部拉丁方扩张问题的有效局部搜索。摘自：2015年CPAIOR会议记录。LNCS，第9075卷，第182-198页（2015年）·Zbl 1464.90078号
[24] Haraguchi，K.，Ono，H.：拉丁方补全型谜题的近似性。摘自：《2014年趣味会议录》。LNCS，第8496卷，第218-229页（2014年）
[25] Hopcroft，J.E.，Karp，R.M.：二部图最大匹配的一种算法。SIAM J.计算。2(4), 225-231 (1973) ·兹比尔0266.05114 ·doi:10.1137/02019年2月20日
[26] Hurkens，C.A.J.，Schrijver，A.：关于集合系统的大小，其中每个集合都有一个SDR，并应用于包装问题启发式的最坏情况比率。SIAM J.谨慎。数学。2(1), 68-72 (1989) ·Zbl 0733.05003号 ·doi:10.1137/0402008年
[27] Ignatiev，A.、Morgado，A.和Marques-Silva，J.：关于将最大独立集简化为最小可满足性。在：2014年SAT会议记录。LNCS，第8561卷，第103-120页（2014年）·Zbl 1423.68452号
[28] Itoyanagi，J.，Hashimoto，H.，Yagiura，M.：最大加权独立集问题的大邻域局部搜索算法。摘自：《2011年中等收入国家会议录》，第191-200页，2011年。全文以日语撰写，是名古屋大学信息科学研究生院第一作者的硕士论文（2011年）
[29] Kumar，R.，Russel，A.，Sundaram，R.：近似拉丁方扩展。《算法》24（2），128-138（1999）·Zbl 0934.68123号 ·doi:10.1007/PL00009274
[30] Lambert，T.，Monfroy，E.，Saubion，F.：局部搜索的通用框架：数独问题的应用。摘自：2006年国际化学品安全理事会会议记录。LNCS，第3991卷，第641-648页（2006年）·Zbl 1155.68510号
[31] Le Bras，R.，Perrault，A.，Gomes，C.P.：空间平衡拉丁正方形的多项式时间构造。技术报告，《计算和信息科学技术报告》，康奈尔大学（2012年）。http://hdl.handle.net/1813/28697
[32] Lewis，R.：元启发式可以解决数独难题。《启发式杂志》13（4），387-401（2007）·doi:10.1007/s10732-007-9012-8
[33] Li，C.M.，Manyá，F.，Planes，J.：最大状态J.Artif的新推理规则。智力。第30号决议，321-359（2007年）·Zbl 1182.68254号
[34] Li，C.M.，Zhu，Z.，Manyá，F.，Simon，L.：用最小可满足性进行优化。Artif公司。智力。190, 32-44 (2012) ·Zbl 1251.68209号 ·doi:10.1016/j.artint.2012.05.004
[35] Ma，F.，Zhang，J.：使用有限模型搜索工具查找正交拉丁方。科学。中国信息科学。56(3), 1-9 (2013) ·Zbl 1488.05046号 ·doi:10.1007/s11432-011-4343-3
[36] Rasmussen，R.V.，Trick，M.A.：循环调度：一项调查。欧洲药典。第188（3）号决议，617-636（2008）·Zbl 1144.90396号 ·doi:10.1016/j.ejor.2007.05.046
[37] 罗森豪斯，J.，塔尔曼，L.：认真对待数独。牛津大学出版社，纽约（2012）·Zbl 1239.00014号
[38] Simonis，H.：数独是一个约束问题。网址：http://4c.ucc.ie/hsimonis/sudoku.pdf（2005）。2015年7月10日访问
[39] Smith，C.、Gomes，C.和Fernandez，C.：简化对空间平衡拉丁方的本地搜索。摘自：2005年国际商会会议记录，第1539-1541页（2005）
[40] Soto，R.，Crawford，B.，Galleguillos，C.，Monfroy，E.，Paredes，F.：一种用于解决数独谜题的混合AC3禁忌搜索算法。专家系统。申请。40(15), 5817-5821 (2013) ·doi:10.1016/j.eswa.2013.05.019
[41] Tamura，N.：Sugar:基于SAT的约束求解器（2.2.1版）。http://bach.istc.kobe-u.ac.jp/sugar/ (2014). 2015年7月10日访问·Zbl 0934.68123号
[42] Vieira Jr.，H.，Sanchez，S.，Kienitz，K.H.，Belderrain，M.C.N.：使用混合整数规划生成和改进正交设计。欧洲药典。第215（3）号决议，第629-638号决议（2011年）·Zbl 1238.90145号 ·doi:10.1016/j.ejor.2011.07.005
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。