×

如何确定约束的表达能力。 (英语) Zbl 0951.68190号

摘要:一些约束语言比其他语言更强大,因为它们允许我们表达更大的问题集合。在本文中,我们给出了有限值集上约束的表达能力这一概念的精确含义。本文的中心结果是,给定约束类型集的表达能力由基础关系的某些代数性质决定。这些代数性质可以通过求解一个特定的约束满足问题来计算,我们称之为“指示符问题”。我们讨论了表达能力和计算复杂性之间的关系,并表明指示符问题提供了一种简单的测试可处理性的方法。

MSC公司:

68宽10 计算机科学中的并行算法
第68季度25 算法和问题复杂性分析

关键词:

约束语言
PDF格式BibTeX公司 XML格式引用
全文: 内政部