曼纽尔·博迪尔斯基;希尔斯，马丁;巴纳比·马丁 关于约束满足的泛代数方法的范围。 （英语） Zbl 1308.68062号 日志。方法计算。科学。 8，第3号，第13号论文，30页（2012年）. 摘要：普遍代数方法已被证明是研究CSP复杂性的有力工具。这种方法以前曾被应用于研究具有有限或（无限）范畴模板的CSP，并且依赖于两个事实。第一种是在有限或（ω）-范畴结构中，关系是本原正可定义的当且仅当它被（ωA）的多态性所保持。第二，每个有限或（ω）范畴结构都同态等价于一个核心结构。在本文中，我们将这些事实推广到不一定是（ω）-范畴的无限结构。最后，我们将我们的一般结果应用于CSP复杂性的描述和分析。特别是，我们给出了基于不存在依赖于多个参数的多态性的一般硬度标准，并且我们给出了那些一阶可定义（因此可以在多项式时间内求解）的CSP的基于多态性的描述。 引用于14文件 MSC公司： 65年第68季度 算法和问题复杂性分析 03C07号机组 一阶语言和结构的基本性质 08A70号 泛代数在计算机科学中的应用 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 关键词：约束满足;模型理论;泛代数方法;多态性;无限结构;硬度;多项式时间;一阶可定义性 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}等人，日志。方法计算。科学。8，第3号，第13号论文，30页（2012；Zbl 1308.68062） 全文： 内政部