CD(4) 具有有界宽度
逻辑
2007-09-14 v1 计算复杂性
摘要
我们证明了在短序列 Jónsson 项（包含至多三个非平凡三元项）下不变的约束语言是可处理的 (tractable)，方法是证明它们具有有界宽度。这改进了 Kiss 和 Valeriote 之前的结果，并提供了一些证据表明 Larose-Zadori 猜想在同余分配 (congruence-distributive) 情形下成立。
引用
@article{arxiv.0709.1934,
title = {CD(4) has bounded width},
author = {Catarina Carvalho and Víctor Dalmau and Petar Marković and Miklós Maróti},
journal= {arXiv preprint arXiv:0709.1934},
year = {2007}
}