彼得·杰文斯;大卫·科恩;马克·吉森 如何确定约束的表达能力。 (英语) Zbl 0951.68190号 限制条件 4,第2期,113-131(1999). 摘要:一些约束语言比其他语言更强大,因为它们允许我们表达更大的问题集合。在本文中,我们给出了有限值集上约束的表达能力这一概念的精确含义。本文的中心结果是,给定约束类型集的表达能力由基础关系的某些代数性质决定。这些代数性质可以通过求解一个特定的约束满足问题来计算,我们称之为“指示符问题”。我们讨论了表达能力和计算复杂性之间的关系,并表明指示符问题提供了一种简单的测试可处理性的方法。 引用于7文件 MSC公司: 68宽10 计算机科学中的并行算法 第68季度25 算法和问题复杂性分析 关键词:约束语言 PDF格式BibTeX公司 XML格式引用 \textit{P.Jeavons}等人,约束4,No.2,113--131(1999;Zbl 0951.68190) 全文: 内政部