一阶模型检查问题中的二元性与对偶性
计算机科学中的逻辑
2007-05-23 v2 计算复杂性
摘要
我们研究了对于固定模型A，针对某些一阶逻辑片段L的模型检查问题的复杂度。这些有时被称为L的表达式复杂度。我们获得了各种复杂度分类定理，针对这些逻辑L遍历模型A，旨在以约束满足问题的二分图猜想的精神——该猜想本身可视为针对存在联合conjuctive正一阶逻辑的模型检查问题。
引用
@article{arxiv.cs/0609022,
title = {Dichotomies and Duality in First-order Model Checking Problems},
author = {Barnaby Martin},
journal= {arXiv preprint arXiv:cs/0609022},
year = {2007}
}