×
克里斯托夫·伯克霍尔茨;奥列格·维尔比茨基

约束传播速度和电弧一致性测试的时间复杂性。 （英语） Zbl 1378.68059号

J.计算。系统。科学。 91, 104-114 (2018).
摘要：在两个关系结构上建立弧一致性是约束满足问题最流行的启发式方法之一。我们旨在确定电弧一致性测试的时间复杂性。输入结构（G）和（H）可以被认为是连接的彩色图，因为一般问题归结为这种特殊情况。我们首先观察上界\（O（e（G）v（H）+v（G）e（H））\），它表示边数的上界\。然后，我们表明，只要弧一致性算法基于约束传播（与所有当前算法一样），这两个边界都是紧的。我们的下限基于缓慢约束传播的示例。我们通过Spoiler在（G），（H）上赢得存在2-卵石博弈的组合证明的大小来测量在一对（G）上观察到的约束传播速度。

MSC公司：

65年第68季度 算法和问题复杂性分析
68兰特 计算机科学中的图论（包括图形绘制）
68T20型 人工智能背景下的问题解决（启发式、搜索策略等）

关键词：

约束满足问题;约束传播;电弧一致性;时间复杂性;存在主义2-卵石博弈;存在正二元逻辑
PDF格式BibTeX公司 XML格式引用
\textit{C.Berkholz}和\textit{O.Verbitsky}，J.Compute。系统。科学。91、104——114（2018；Zbl 1378.68059）
全文： 内政部 arXiv公司

参考文献：

[1] 费德，T。；Vardi，M.Y.，单调一元SNP的计算结构和约束满足：通过数据日志和群论进行的研究，SIAM J.Comput。，28, 1, 57-104 (1998) ·Zbl 0914.68075号
[2] Berkholz，C.，存在卵石游戏的下界和（k）-一致性测试，Log。方法计算。科学。，9, 4, 1-23 (2013) ·Zbl 1297.68088号
[3] Mackworth，A.K.，《关系网络的一致性》，Artif。智力。，8, 1, 99-118 (1977) ·Zbl 0341.68061号
[4] Bessière，C.，《约束编程手册》，29-84（2006），Elsevier:Elsevier Amsterdam，Ch.Constraint Propagation·Zbl 1175.90011号
[5] Dongen，M.R.C.v.，AC-3d——一种具有低空间复杂度的有效弧一致性算法，（Proc.Principles and Practice of Constraint Programming 2002。程序。约束编程原理与实践2002，CP’02。程序。约束编程原理与实践2002。程序。约束编程原理与实践2002，CP’02，LNCS，第2470卷（2002），Springer:Springer-Hidelberg），755-760
[6] 莫尔，R。；Henderson，T.C.，Arc和path一致性回顾，Artif。智力。，28, 2, 225-233 (1986)
[7] Hentenryck，P.V。；Deville，Y。；Teng，C.-M.，通用弧一致性算法及其专门化，Artif。智力。，57, 291-321 (1992) ·Zbl 0763.68059号
[8] Bessière，C.，电弧一致性和电弧一致性，Artif。智力。，65, 1, 179-190 (1994)
[9] Bessière，C。；弗洛伊德，E.C。；Regin，J.-C.，使用约束元知识减少弧一致性计算，Artif。智力。，107, 1, 125-148 (1999) ·Zbl 0911.68192号
[10] Chmeiss，A。；Jegou，P.，高效路径一致性传播，国际期刊Artif。智力。工具，07,02121-142（1998）
[11] Régin，J.-C.，AC-*：一种可配置的、通用的和自适应的弧一致性算法，（van Beek，P.，《约束编程的原理和实践》，2005年。约束编程原理与实践2005，CP’05。约束编程原理与实践2005。《约束编程原理与实践》2005，CP'05，LNCS，第3709卷（2005），施普林格出版社：施普林格-海德堡出版社），505-519·Zbl 1153.68480号
[12] Kolaitis，P.G。；Vardi，M.Y.，《关于数据日志的表达能力：工具和案例研究》，J.Compute。系统。科学。，51, 1, 110-134 (1995) ·Zbl 1360.68397号
[13] Kolaitis，P.G。；Vardi，M.Y.，《约束满足的游戏理论方法》（Kautz，H.A.；Porter，B.W.，AAAI/IAAI 2000（2000），AAAI出版社/麻省理工学院出版社：AAAI Press/麻省理工学院出版社加利福尼亚），175-181
[14] Kolaitis，P.G。；Panttaja，J.，《关于存在卵石游戏的复杂性》（Baaz，M.；Makowsky，J.A.，《计算机科学逻辑》2003）。计算机科学逻辑2003，CSL 2003。计算机科学逻辑2003。计算机科学逻辑2003，CSL 2003，LNCS，第2803卷（2003），施普林格：施普林格-海德堡），314-329·兹比尔1116.68474
[15] Atserias，A。；Bulatov，A.A。；Dalmau，V.，《关于k一致性的力量》（Arge，L.；Cachin，C.；Jurdzinski，T.；Tarlecki，A.，ICALP 2007）。ICALP 2007，LNCS，第4596卷（2007），施普林格：施普林格-海德堡），279-290·Zbl 1171.68720号
[16] Atserias，A。；Dalmau，V.，《分辨率宽度的组合表征》，J.Compute。系统。科学。，74, 3, 323-334 (2008) ·Zbl 1133.03034号
[17] Berkholz，C.，《关于寻找狭义证明的复杂性》，（FOCS 2012（2012），IEEE计算机学会：IEEE计算机协会洛斯阿拉米托斯，加利福尼亚州，美国），351-360
[18] Dechter，R。；Pearl，J.，为约束满足问题生成启发式的问题简化方法（1985），加州大学计算机科学系认知系统实验室：加州大学洛杉矶分校计算机科学系认知系统实验室，技术代表·Zbl 0678.68100号
[19] 萨马尔，A。；Henderson，T.，并行一致标记算法，国际期刊并行程序。，16, 341-364 (1987) ·Zbl 0646.68104号
[20] Bessière，C。；雷金，J.-C。；Yap，R.H.C。；Zhang，Y.，一种最优粗粒度圆弧一致性算法，Artif。智力。，165, 2, 165-185 (2005) ·Zbl 1132.68691号
[21] C.伯克霍尔茨。；Verbitsky，O.，《关于约束传播的速度和弧一致性测试的时间复杂性》，（Chatterjee，K.；Sgall，J.，《计算机科学数学基础学报》2013年。2013年计算机科学数学基础论文集，MFCS’13。2013年计算机科学数学基础论文集。2013年计算机科学数学基础论文集，MFCS’13，LNCS，第8087卷（2013），Springer），159-170·Zbl 1378.68058号
[22] 贝克·R。；哈曼，G。；Pintz，J.，连续素数之间的差异。二、 程序。伦敦。数学。Soc.，爵士。三、 83、3、532-562（2001）·Zbl 1016.11037号
[23] C.伯克霍尔茨。；克雷布斯，A。；Verbitsky，O.，《有限变量逻辑中量词深度的界限：交替层次结构》，ACM Trans。计算。日志。，16, 3, 21:1-21:26 (2015) ·Zbl 1354.03038号
[24] Atserias，A。；科莱蒂斯，P。；Vardi，M.，《作为证明系统的约束传播》（Wallace，M.），《约束编程的原理与实践》，2004年。约束编程原理与实践2004，CP’04。约束编程原理与实践2004。约束编程原理与实践2004，CP’04，LNCS，第3258卷（2004），Springer:Springer-Hidelberg），77-91·兹比尔1152.68537
[25] Kasif，S.，关于约束满足网络中离散松弛的并行复杂性，Artif。智力。，45, 3, 275-286 (1990) ·Zbl 0717.68043号
[26] McConnell，R.M。；Mehlhorn，K。；Näher，S。；Schweitzer，P.，验证算法，计算。科学。版次：5、2、119-161（2011）·Zbl 1298.68289号
[27] Berkholz，C.，局部一致性的传播深度，（第20届约束规划原理与实践国际会议论文集。第20届约束规划原理与实践国际会议论文集，CP 2014（2014）），158-173
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。