曼纽尔·博迪尔斯基;彼得·琼森;蒂莫·冯·奥尔岑 霍恩与完全一阶：代数约束满足中的复杂性二分法。 （英语） Zbl 1283.68160号 J.日志。计算。 22，第3期，643-660（2012）. 摘要：我们研究了确定无限域约束满足问题的计算复杂性的技术。对于某些基本代数结构（Delta），我们证明了如下形式的可定义性定理：对于（Delta包含形式为\（（d，\dots，d）\）的元组，或在\（\Delta\）中具有一阶定义的所有关系在\（\ Gamma\）中都具有原始正定义。结果表明，几类约束满足问题表现出复杂性二分法：这些问题要么是多项式时间可解的，要么是NP-hard，这取决于允许关系的选择。作为具体的例子，我们研究了基本代数约束满足问题。第一个类由（\（mathbb Q；+）中具有一阶定义的所有关系结构组成，其中包含关系\（{（x，y，z）\ in \mathbb Q^{3}|x+y=z\}\）。第二类是第一类的仿射变体。在这两种情况下，我们都利用我们的一般方法得到了完全的二分法。 引用于5文件 MSC公司： 65年第68季度 算法和问题复杂性分析 08A70号 泛代数在计算机科学中的应用 2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等） 90C05（二氧化碳） 线性规划 关键词：约束满足问题;复杂性二分法;本原正可定义性;线性规划可行性;线性规划 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}等人，J.Log。计算。22，第3号，643--660（2012；Zbl 1283.68160） 全文： 内政部 arXiv公司