一阶约束满足问题的刻画
计算机科学中的逻辑
2015-07-01 v2 计算复杂性
摘要
我们描述了允许有限多个障碍的有限关系核结构的简单代数和组合刻画。由此，我们证明了判定一个约束满足问题是否为一阶可定义的是可判定的：我们证明了该一般问题是 NP-完全的，并给出了针对核结构的多项式时间算法。对该算法稍作修改，可为一阶可定义的 CSP 提供一个简单的多项式时间算法，以便在解存在时生成该解。作为我们对一阶 CSP 代数刻画的一个应用，我们描述了一大类 L-完全的 CSP。
引用
@article{arxiv.0707.2562,
title = {A Characterisation of First-Order Constraint Satisfaction Problems},
author = {Benoit Larose and Cynthia Loten and Claude Tardif},
journal= {arXiv preprint arXiv:0707.2562},
year = {2015}
}