禁列(面向组合学家的 NP 与 CSP)
组合数学
2007-06-13 v1
摘要
我们在组合学语境下给出 NP 类的一个定义,将其视为由有限多个禁提升子结构所定义的结构语言集合。我们将其应用于若干语法定义的特殊子类,并展示它们如何对应于自然定义的(且被深入研究的)组合问题。我们证明,某些类型的组合问题(如边着色与图分解)能够表达 NP 类的全部计算能力。随后我们刻画了可由有限多个禁提升子结构表达的约束满足问题(即 H-着色问题)。这极大地简化并推广了此前对该问题进行刻画的相关尝试。作为该方法的一个推论,我们或许为 Feder 与 Vardi 对 CSP 语言在 MMSNP 类中的分析找到了一个恰当的框架。
引用
@article{arxiv.0706.1704,
title = {Forbidden lists (NP and CSP for combinatorialists)},
author = {Gabor Kun and Jaroslav Nesetril},
journal= {arXiv preprint arXiv:0706.1704},
year = {2007}
}
评论
22 pages, 3 figures,