受限空间算法在有界树宽图上的同构问题
摘要：有限树宽度或有限树距离宽度的图同构问题已知可以在多项式时间内解决。我们提供了这些问题的受限空间算法，证明了以下结果：- 有限树距离宽度的图同构问题属于L类，并且对于这种图，可以在logspace中计算出一个标准。- 对于有限树宽度的图，当输入图与树分解一起给出时，问题是在L类的范围内，即是否存在一个同构关系可以在两个分解中将子图一对一地映射到另一个分解中的子图。- 对于有限树宽度的图，当其中一个输入图与树分解一起给出时，同构问题属于LogCFL类。- 作为一个推论，有限树宽度图的同构问题属于LogCFL类。这改进了Grohe和Verbitsky [GroVer06]所给出的问题的已知TC1上界。
作者：Bireswar Das, Jacobo Toran, Fabian Wagner
论文ID：1001.0383
分类：Computational Complexity
分类简称：cs.CC
提交时间：2010-02-03