帕斯卡·范·亨特利克；伊夫·迪维尔；赵曼·滕 一种通用的弧一致性算法及其特化。 （英语） Zbl 0763.68059号 Artif公司。智力。 57，编号2-3，291-321（1992）。 摘要：一致性技术作为解决约束满足问题（CSP）的一种方法，在过去得到了广泛的研究。特别是，源于Waltz滤波算法的各种弧一致性算法已经被提出[D.华尔兹《从阴影场景的绘图中生成语义描述》，技术报告。AI271，麻省理工学院，剑桥，马萨诸塞州（1972）]，并最终实现了R.莫尔和T·C·亨德森[重新审视弧线和路径一致性，Artif.Intell.28，225-233（1986）]。在最坏的情况下，AC-4在\（O（ed^2）\）中运行，其中\（e）是弧数（或约束），\（d）是最大域的大小。由于这些算法适用于整个（二进制）CSP类，因此没有考虑约束的语义。我们提出了一种新的通用弧一致性算法AC-5。该算法在两个指定程序上进行参数化，并可以实例化为AC-3和AC-4。更重要的是，可以对AC-5进行实例化，以生成许多重要约束类的和（O（ed））算法：函数约束、反函数约束、单调约束及其泛化为（函数约束、非函数约束和单调约束）分段约束。我们还证明了AC-5在有限域上的约束逻辑规划中具有重要的应用。这种编程语言的约束求解器的核心是一组基本约束的弧一致性算法。我们证明了AC-5结合节点一致性，为这些约束提供了一个决策过程。 引用于48文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 关键词：约束满足问题；电弧一致性算法；约束逻辑程序设计；有限域 软件：炸薯条 PDF格式BibTeX公司 XML格式引用 \textit{P.van Hentenryck}等人，Artif。智力。57，编号2--3，291--321（1992；Zbl 0763.68059） 全文： 内政部 参考文献： [1] 科尔曼，T.H。；Leiserson，C.E。；Rivest，R.L.，（《算法导论》（1990），麻省理工学院出版社：麻省理学院剑桥出版社）·Zbl 1158.68538号 [2] Dechter，R。；Pearl，J.，基于网络的约束满足问题启发式，Artif。智力。，34, 1-38 (1988) ·Zbl 0643.68156号 [3] Deville，Y。；Van Hentenryck，P.，一类CSP问题的高效一致性算法（Proceedings IJCAI-91）。会议记录IJCAI-91，澳大利亚悉尼（1991年） [4] Dincbas，M。；Simonis，H。；Van Hentenryck，P.，《解决逻辑编程中的大型组合问题》，《逻辑编程》，8，1-2，75-93（1990）·Zbl 0719.68013号 [5] Dincbas，M。；Van Hentenryck，P。；Simonis，H。；阿贡，A。；格拉芙，T。；Berthier，F.，约束逻辑编程语言CHIP，（第五代计算机系统国际会议论文集。第五代计算系统国际会议文献集，日本东京（1988））·Zbl 0800.68287号 [6] 弗洛伊德，E.C.，综合约束表达式，Commun。ACM，21958-966（1978）·Zbl 0386.68065号 [7] Gaschnig，J.，推理的约束满足方法，（《电路系统理论第十二届Allerton年会论文集》，伊利诺伊州香槟市第十二届Allerton年会刊，1974年），866-874 [8] Haralick，R.M。；Elliot，G.L.，提高约束满足问题的树搜索效率，Artif。智力。，14, 263-313 (1980) [9] Jaffar，J。；Michaylov，S.，《CLP系统的方法和实现》，（第四届逻辑编程国际会议论文集。第四届国际逻辑编程会议论文集，澳大利亚墨尔本（1987）） [10] Kasif，S.，关于约束满足网络中离散松弛的并行复杂性，Artif。智力。，45, 275-286 (1990) ·Zbl 0717.68043号 [11] Lauriere，J.-L.，陈述和解决组合问题的语言和程序，Artif。智力。，10, 1, 29-127 (1978) ·Zbl 0374.68060号 [12] Mackworth，A.K.，《关系网络的一致性》，Artif。智力。，8, 1, 99-118 (1977) ·Zbl 0341.68061号 [13] Mackworth，A.K.，（约束满足（1987），威利：威利纽约） [14] Mackworth，A.K。；弗洛伊德，E.C.，约束满足问题的一些多项式网络一致性算法的复杂性，Artif。智力。，25, 65-74 (1985) [15] Mohr，R.，《良好的旧离散松弛》（Proceedings ECAI-88）。ECAI-88会议记录，德国慕尼黑（1988） [16] 莫尔，R。；Henderson，T.C.，Arc和path一致性回顾，Artif。智力。，28, 225-233 (1986) [17] 莫尔，R。；Masini，G.（《高效运行电弧一致性》（1988），施普林格出版社：柏林施普林格），217-231 [18] Montanari，U.，《约束网络：图像处理的基本属性和应用》，《信息科学》。，795-132年7月2日（1974年）·Zbl 0284.68074号 [19] 蒙塔纳里，美国。；Rossi，F.，求解层次化约束网络的有效算法，（图文法及其在计算机科学中的应用研讨会。图文法及在计算机科学上的应用研讨会，Warrenton（1986）） [20] Nadel，B.，约束满足算法，计算。智力。，5, 4, 188-224 (1989) [21] Perlin，M.，可因子关系的弧一致性，（第三届人工智能工具国际会议论文集。第三届人工智能工具国际会议论文集，加利福尼亚州圣何塞（1991）），340-345 [22] Tarjan，R.E.，摊销计算复杂性，SIAM J.Alg。离散方法，6306-318（1985）·Zbl 0599.68046号 [23] Van Hentenryck，P.，《逻辑编程中一致性技术的框架》（Proceedings IJCAI-87）。意大利米兰IJCAI-87会议记录（1987） [24] Van Hentenryck，P.，《逻辑编程系列》（逻辑编程中的约束满足（1989），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥）·Zbl 1390.90520号 [25] Van Hentenryck，P。；Dincbas，M.，《逻辑编程领域》（Proceedings AAAI-86）。美国宾夕法尼亚州费城AAAI-86会议记录（1986年）·Zbl 0800.68287号 [26] Van Hentenryck，P。；萨拉斯瓦特，V。；Deville，Y.，《cc（FD）中的约束处理》（1992），技术报告。布朗大学：技术报告。布朗大学普罗维登斯分校 [27] Waltz，D.，《从阴影场景的绘图中生成语义描述》（《技术报告》，AI271（1972），麻省理工学院：麻省理学院剑桥分校） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。