从CSP到QCSP及更远的包含、等价与核性
计算机科学中的逻辑
2012-04-27 v1 人工智能
摘要
约束满足问题（CSP）及其量化扩展，无论是否带析取（QCSP或QCSP_or），自然对应于正一阶逻辑的三个越来越强的片段的模型检验问题。当以固定模型（即模板）参数化时，通常研究其复杂性。一个自然的问题是何时两个模板等价，或更一般地，何时一个“包含”另一个，即第一个的可满足实例必然在第二个中可满足。也可以问最小的可能等价模板：这被称为CSP的核。我们回顾并扩展了之前关于QCSP_or的包含、等价和“核性”的结果，然后启动了对QCSP核的初步研究，我们对其在某些结构上进行了刻画，结果证明它更加难以捉摸。
引用
@article{arxiv.1204.5981,
title = {Containment, Equivalence and Coreness from CSP to QCSP and beyond},
author = {Florent Madelaine and Barnaby Martin},
journal= {arXiv preprint arXiv:1204.5981},
year = {2012}
}