×

约束对称拉丁方构造问题的有效局部搜索。 (英语) Zbl 1392.90076号

摘要:拉丁方是将\([n]=\{1,\点,n\}\)完全赋值到\(n\times n\)网格,这样,在每一行和每一列中,\([n]\)中的每个值只出现一次。对称拉丁方(SLS)是矩阵意义上对称的拉丁方。在我们所称的约束SLS构造(CSLSC)问题中,我们得到了([n]^3)的一个子集(F\),并被要求构造一个SLS,以便每当(i,j,k)在F\)中出现时,符号(k\)都不会被赋给单元(i,j\)。本文对这个问题有两个贡献。一是针对问题的最大化版本提出了一种有效的局部搜索算法。最大化问题要求在\(F\)上的约束下用符号填充尽可能多的单元格。在我们的局部搜索中,邻域是通过\(p\)-swap定义的,即,精确删除\(p~)个符号,然后将任意数量的符号分配给空单元格。对于(p\in\{1,2\}),我们的邻域搜索算法找到了一个改进的解,或者得出结论,在(O(n^{p+1})时间内不存在这样的解。另一个贡献是显示其对CSLSC问题的实用价值。对于随机生成的实例,我们的迭代局部搜索算法经常构建比最先进的解算器(如IBM ILOG CPLEX、LocalSolver和WCSP)更大的部分SLS。

MSC公司:

90B80型 离散位置和分配
90C27型 组合优化
PDF格式BibTeX公司 XML格式引用
全文: 内政部