-categorical structures avoiding height 1 identities
-categorical structures avoiding height 1 identities
复制标题
-避免高度1恒等式的分类结构
DOI：
10.1090/tran/8179
复制
发表时间：
2020
影响因子：
1.3
通讯作者：
Bodirsky M
中科院分区：
文献类型：
--
作者：
Bodirsky M
代数二分法猜想约束满足问题（CSPs）的减少（无限）的有界齐次结构的状态，这样的CSP是多项式时间易处理的，如果模板的模型完全的核心有一个伪Siggers多态性，否则是NP完全的。
The algebraic dichotomy conjecture for Constraint Satisfaction Problems (CSPs) of reducts of (infinite) finitely bounded homogeneous structures states that such CSPs are polynomial-time tractable if the model-complete core of the template has a pseudo-Siggers polymorphism, and is NP-complete otherwise.