巴特·德梅恩;玛丽亚·加西亚·德拉班达 拉丁方问题中的多余缺陷。 (英语) Zbl 1317.90253号 约束条件 18,第4期,471-477(2013). 小结:本文研究了制定众所周知的拉丁方问题时使用的约束的冗余特性。这个问题通常用((N-1)ast N^2)二进制不等式或(2 ast N)表示全部不同全球约束。这两种公式都包含冗余约束。对所有冗余约束集(无论是二进制约束集还是全局约束集)进行完整分类。 引用于1文件 MSC公司: 90C27型 组合优化 关键词:约束编程;冗余约束 软件:B-序言 PDF格式BibTeX公司 XML格式引用 \textit{B.Demoen}和\textit{M.Garcia de la Banda},约束18,第4号,471--477(2013;Zbl 1317.90253) 全文: 内政部 链接 参考文献: [1] Bessière,C.,Coletta,R.,Petit,T.(2007)。学习意味着全球约束。在Veloso,M.M.(Ed.),国际人工智能联合会议(第44-49页)·Zbl 1153.68449号 [2] 科尔本,C。;迪尼茨,J。;万利斯,我。;Colbourn,C.(编辑);Dinitz,J.(编辑),拉丁方,135-152(2007),博卡拉顿 [3] Demoen,B.和Garcia de la Banda,M.(2013年)。多余的数独规则。逻辑程序设计理论与实践杂志。网址:10.1017/S1471068412000361·Zbl 1312.68035号 [4] Gent,I.P.、Miguel,I.、Nightingale,P.(2008)。所有不同约束的广义弧一致性:一项实证调查。人工智能,172(18),1973-2000。doi:10.1016/j.artint.2008.10.006·Zbl 1184.68472号 ·doi:10.1016/j.artint.2008.10.006 [5] Greenberg,H.J.(1996)。线性系统中的一致性、冗余和隐含等式。数学与人工智能年鉴17(1),37-83·Zbl 0887.90114号 ·doi:10.1007/BF02284624 [6] van Hoeve,W.J.(2001)。完全不同的约束:调查。arXiv:0105015。2013年8月24日访问·Zbl 1244.68024号 [7] Régin,J.C.和Gomes,C.P.(2004)。基数矩阵约束。《约束编程的原理与实践—2004年版》(第572-587页)。斯普林格·Zbl 1152.68578号 [8] Rossi,F.、van Beek,P.、Walsh,T.(编辑)(2006年)。约束编程手册。爱思唯尔·Zbl 1175.90011号 [9] Ryser,H.(1951)。组合定理及其在拉丁矩形中的应用。美国数学学会学报,2(4),550-552·Zbl 0043.01202号 ·doi:10.1090/S0002-9939-1951-0042361-0 [10] Telgen,J.(1978年)。线性规划问题中的冗余约束。运筹学Verfahren,28420-433·Zbl 0389.90065号 [11] 周N.F.(2012)。B-Prolog的语言特性和体系结构。逻辑程序设计理论与实践,12(1-2),189-218·Zbl 1244.68024号 ·doi:10.1017/S1471068411000445 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。