Restricted Space Algorithms for Isomorphism on Bounded Treewidth Graphs

Bireswar Das 1, * Jacobo Toran 2, * Fabian Wagner 2, *
* Corresponding author
1 IMSc - Institute of Mathematical Sciences [India]
2 Institut für Theoretische Informatik
Abstract : The Graph Isomorphism problem restricted to graphs of bounded treewidth or bounded tree distance width are known to be solvable in polynomial time [Bod90],[YBFT99]. We give restricted space algorithms for these problems proving the following results: - Isomorphism for bounded tree distance width graphs is in L and thus complete for the class. We also show that for this kind of graphs a canon can be computed within logspace. - For bounded treewidth graphs, when both input graphs are given together with a tree decomposition, the problem of whether there is an isomorphism which respects the decompositions (i.e. considering only isomorphisms mapping bags in one decomposition blockwise onto bags in the other decomposition) is in L. - For bounded treewidth graphs, when one of the input graphs is given with a tree decomposition the isomorphism problem is in LogCFL. - As a corollary the isomorphism problem for bounded treewidth graphs is in LogCFL. This improves the known TC1 upper bound for the problem given by Grohe and Verbitsky [GroVer06].
Keywords : Complexity Algorithms Graph Isomorphism Problem Treewidth LogCFL
Document type :
Conference papers
Jean-Yves Marion and Thomas Schwentick. 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Mar 2010, Nancy, France. pp.227-238, 2010, Proceedings of the 27th Annual Symposium on the Theoretical Aspects of Computer Science
Liste complète des métadonnées
https://hal.inria.fr/inria-00455593
Contributor : Publications Loria <>
Submitted on : Wednesday, February 10, 2010 - 5:08:54 PM
Last modification on : Wednesday, February 10, 2010 - 7:45:21 PM
Document(s) archivé(s) le : Friday, June 18, 2010 - 8:02:33 PM

File

Das.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00455593, version 1

Collections

STACS2010

Citation

Bireswar Das, Jacobo Toran, Fabian Wagner. Restricted Space Algorithms for Isomorphism on Bounded Treewidth Graphs. Jean-Yves Marion and Thomas Schwentick. 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Mar 2010, Nancy, France. pp.227-238, 2010, Proceedings of the 27th Annual Symposium on the Theoretical Aspects of Computer Science. 〈inria-00455593〉

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

172

Files downloads

114

Contact


archive-ouverte@inria.fr