×
尼古拉斯·贝尔迪塞努；卡尔森，Mats；皮埃尔·弗莱纳；贾斯汀·皮尔逊

关于约束编程中的矩阵、自动机和二重计数。 （英语） Zbl 1316.90043号

约束条件 18，第1期，108-140（2013）.
摘要：矩阵模型在约束问题中普遍存在。许多这样的问题都有一个变量矩阵（mathcal{M}），具有相同的约束（C），由每行上的有限状态自动机（mathcal{a}）和全局基数约束定义海湾合作委员会在\（\mathcal｛M｝\）的每一列上。我们给出了两种通过重复计数推导海湾合作委员会来自自动机的约束（\mathcal{A}\）。第一种方法产生线性必要条件和简单的算术约束。第二种方法引入基数自动机，它抽象了所有行自动机的整体行为，并可以通过一组线性约束进行编码。我们还提供了一个域一致性过滤算法，用于在相邻的（mathcal{M}）行和（可能不同的）行上的自动机约束之间连接字典排序约束。我们从运行时和搜索方面评估了我们的方法对大量护士排班问题实例的影响。

MSC公司：

90立方 非线性规划

关键词：

重复计数；必要（隐含）约束；矩阵模型；自动机约束；护士排班

软件：

SICStus公司；幻灯片
PDF格式BibTeX公司 XML格式引用
\textit{N.Beldiceanu}等人，《约束18》，第1期，第108--140页（2013年；Zbl 1316.90043）
全文： 内政部 哈尔

参考文献：

[1] Beeri，C.，Fagin，R.，Maier，D.，Yannakakis，M.（1983年）。关于非循环数据库方案的可取性。美国医学会杂志，30479–513·Zbl 0624.68087号 ·doi:10.145/2402.322389
[2] Beldiceanu，N.、Carlsson，M.、Flener，P.、Pearson，J.（2010）。关于矩阵、自动机和重复计数。收录于：A.Lodi，M.Milano，P.Toth（编辑），CPAIOR 2010，LNCS（第6140卷，第10-24页）。斯普林格·Zbl 1285.68147号
[3] Beldiceanu，N.，Carlsson，M.，Petit，T.（2004）。从约束检查器派生过滤算法。收录于：M.G.Wallace（编辑），CP 2004，LNCS（第3258卷，第107-122页）。斯普林格·Zbl 1152.68539号
[4] Beldiceanu，N.，Carlsson，M.，Rampon，J.X.（2012）。全球约束目录，第2版（a版）。技术代表T2012:03。瑞典计算机科学研究所。可在http://soda.swedish-ict.se/5195/。目录的当前工作版本位于http://www.emn.fr/z-info/sdemasse/aux/doc/catalog.pdf .
[5] Bessière，C.，Hebrard，E.，Hnich，B.，Kíz-ltan，z.，Walsh，T.（2008）。幻灯片：CARDPATH约束的一个有用的特例。参见：M.Ghallab等人（编辑），ECAI 2008（第475-479页）。IOS出版社。
[6] Brand，S.、Narodytska，N.、Quimper，C.G.、Stuckey，P.J.、Walsh，T.（2007）。序列约束的编码。收录于：C.Bessière（编辑），CP 2007，LNCS（第4741卷，第210–224页）。施普林格·Zbl 1145.68507号
[7] Carlsson，M.，Beldiceanu，N.（2002年）。字典排序约束链的弧一致性。技术代表T2002-18。瑞典计算机科学研究所。ftp://ftp.sics.se/pub/sics-reports/reports/sics-T-2002-18-se.ps.Z .
[8] Carlsson，M.等人（2007年）。SICStus Prolog用户手册。瑞典计算机科学研究所，4.0版。http://www.sics.se/sicstus网站/ .
[9] 科特，M.C.，Gendron，B.，卢梭，L.M.（2007）。用整数规划建模规则约束。收录于：P.Van Hentenryck，L.Wolsey（编辑），《2007年国际会计准则》，LNCS（第4150卷，第29-43页）。斯普林格·Zbl 1214.90086号
[10] Flener，P.、Frisch，A.M.、Hnich，B.、Kízñltan，z.、Miguel，I.、Pearson，J.、Walsh，T.（2002）。打破矩阵模型中的行和列对称。收录于：P.Van Hentenryck（编辑），CP 2002，LNCS（第2470卷，第462-476页）。斯普林格。
[11] Frisch，A.M.、Hnich，B.、Kízíltan，z.、Miguel，I.、Walsh，T.（2002）。词典排序的全局约束。收录于：P.Van Hentenryck（编辑），CP 2002，LNCS（第2470卷，第93-108页）。斯普林格。
[12] Frisch，A.M.、Hnich，B.、Kízíltan，z.、Miguel，I.、Walsh，T.（2006）。字典排序约束的传播算法。人工智能，170（10），803–834·Zbl 1131.68521号 ·doi:10.1016/j.artint.2006.03.002
[13] 弗里希，A.M.，杰斐逊，C.，米格尔，I.（2003）。用于打断更多行和列对称性的约束。收录于：F.Rossi（编辑），CP 2003，LNCS（第2833卷，第318-332页）。斯普林格·Zbl 1273.68075号
[14] de Haan，R.、Narodytska，N.、Walsh，T.（2012）。RegularGcc矩阵约束。CoRR abs/1201.0564。
[15] Jukna，S.（2001）。极值组合学。斯普林格·兹比尔0978.05001
[16] Law，Y.C.，Lee，J.H.M.（2004）。整数和设定值优先级的全局约束。收录于：M.G.Wallace（编辑），CP 2004，LNCS（第3258卷，第362-376页）。斯普林格·Zbl 1152.68563号
[17] Menana，J.，Demassey，S.（2009年）。使用多st-regular约束进行排序和计数。收录于：W.J.van Hoeve，J.N.Hooker（编辑），CPAIOR 2009，LNCS（第5547卷，第178-192页）。斯普林格·Zbl 1241.68104号
[18] Métiver，J.P.、Boizumault，P.、Loudni，S.（2009年）。使用软全局约束解决护士排班问题。收录于：I.P.Gent（编辑），CP 2009，LNCS（第5732卷，第73-87页）。斯普林格。
[19] Pesant，G.（2004）。有限变量序列的正则语言成员约束。收录于：M.G.Wallace（编辑），CP 2004，LNCS（第3258卷，第482-495页）。斯普林格·Zbl 1152.68573号
[20] Régin，J.C.，Gomes，C.（2004年）。基数矩阵约束。收录于：M.G.Wallace（编辑），CP 2004，LNCS（第3258卷，第572-587页）。斯普林格·Zbl 1152.68578号
[21] Vanhocke，M.，Maenhout，B.（2009年）。护士排班问题实例的描述和生成。《欧洲运筹学杂志》，196（2），457–467。NSPLib位于http://www.projectmanagement.ugent.be/nsp.php . ·Zbl 1163.90514号 ·doi:10.1016/j.ejor.2008.03.044
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。