决定局部树分解结构的一阶属性
数据结构与算法
2007-05-23 v1 计算复杂性
数据库
摘要
我们提出了图或更一般的关系结构类称为局部树分解的概念。局部树分解类的实例众多，其中包括平凡图以及所有有限值或有限树宽的类。我们也考虑稍微更一般的结构类具有有限局部树宽的概念。我们证明，对于每个可定义在一阶逻辑中的结构属性P以及每个局部树分解的图类C，都存在一个线性时间算法，用于决定给定结构A是否具有属性P。对于有限局部树宽的类C，我们证明，对每个k≥1都有一个算法以O(n^{1+(1/k)})时间解决相同问题（其中n是输入结构的基数）。
引用
@article{arxiv.cs/0004007,
title = {Deciding first-order properties of locally tree-decomposable structures},
author = {Markus Frick and Martin Grohe},
journal= {arXiv preprint arXiv:cs/0004007},
year = {2007}
}