论可处理性与同余分配性
计算复杂性
2015-07-01 v2 计算机科学中的逻辑
摘要
源自有限代数的约束语言最近成为研究对象，特别是与 Feder 和 Vardi 的二分猜想（Dichotomy Conjecture）相关联。一类重要的代数是那些生成同余分配簇的代数，其中包括格，更一般地，包括具有近一致项运算的代数。当且仅当代数拥有一系列满足特定方程的三元项运算（称为 Jonsson 项）时，它将生成一个同余分配簇。我们证明了由在短序列 Jonsson 项下不变的关系组成的约束语言是可处理的，方法是证明此类语言具有有界关系宽度。
引用
@article{arxiv.0705.2229,
title = {On tractability and congruence distributivity},
author = {Emil Kiss and Matthew Valeriote},
journal= {arXiv preprint arXiv:0705.2229},
year = {2015}
}