@Article{ADKK12ktree-canonization,
author = {V. Arvind and Bireswar Das and Johannes Köbler and Sebastian Kuhnert},
title = {The isomorphism problem for $k$-trees is complete for logspace},
journal = {Information and Computation},
year = 2012,
volume = 217,
month = 8,
pages = {1-11},
issn = {0890-5401},
doi = {10.1016/j.ic.2012.04.002},
}The isomorphism problem for
k-trees is complete for logspace.
With V. Arvind,
Bireswar
Das, Johannes
Köbler.
Information and Computation 217:1–11 (Aug. 2012)
Abstract. We show that, for k constant, k-tree isomorphism can be decided in logarithmic space by giving an O(nlogn) space canonical labeling algorithm. The algorithm computes a unique tree decomposition, uses colors to fully encode the structure of the original graph in the decomposition tree and invokes Lindellʼs tree canonization algorithm. As a consequence, the isomorphism, the automorphism, as well as the canonization problem for k-trees are all complete for deterministic logspace. Completeness for logspace holds even for simple structural properties of k-trees. We also show that a variant of our canonical labeling algorithm runs in time O((k+1)!logn), where n is the number of vertices, yielding the fastest known FPT algorithm for k-tree isomorphism.
@InProceedings{KK09ktree-canonization,
author = {Johannes Köbler and Sebastian Kuhnert},
title = {The isomorphism problem for $k$-trees is complete for logspace},
booktitle = {Mathematical Foundations of Computer Science 2009.
34th International Symposium (MFCS)},
year = 2009,
series = {LNCS},
number = 5734,
publisher = {Springer},
address = {Berlin},
isbn = {978-3-642-03815-0},
doi = {10.1007/978-3-642-03816-7_46},
pages = {537-548},
}Conference version:
The isomorphism problem for k-Trees is complete
for logspace
With Johannes
Köbler.
Mathematical Foundations of Computer Science (Proceedings
of 34th MFCS). Springer,
2009. Pp. 537–548.