MVLSC主页 • 问题内容
基于部分多态性的约束满足问题的细粒度复杂性研究
米盖尔·库塞罗（Miguel Couceiro）、卢西安·哈达德（Lucien Haddad）和维克托·拉盖克维斯特（Victor Lagerkvist）
约束满足问题（CSP）是与泛代数和克隆理论密切相关的组合问题。最近证明的CSP二分法定理表明，每个有限域CSP要么在多项式时间内可解，要么是NP-完全的。然而，在难处理的CSP中，指数时间算法的求解速度似乎存在很大差异，这无法用基于多态性的经典代数方法进行解释。在本文中，我们将调查一种基于部分多态性的替代方法，这对于研究NP完整CSP的细粒度复杂性很有用。此外，我们将陈述并讨论该研究领域中一些具有挑战性的开放问题。
关键词：约束满足问题，泛代数，克隆理论，计算复杂性
全文（IP）
