首页    期刊浏览 2024年10月06日 星期日
登录注册

文章基本信息

  • 标题:Restricted Space Algorithms for Isomorphism on Bounded Treewidth Graphs
  • 本地全文:下载
  • 作者:Bireswar Das ; Jacobo Toran ; Fabian Wagner
  • 期刊名称:Electronic Colloquium on Computational Complexity
  • 印刷版ISSN:1433-8092
  • 出版年度:2009
  • 卷号:2009
  • 出版社:Universität Trier, Lehrstuhl für Theoretische Computer-Forschung
  • 摘要:

    The Graph Isomorphism problem restricted to graphs of bounded treewidth or bounded tree distance width are known to be solvable in polynomial time \cite{Bo90},\cite{YBFT}.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 respecting the decompositions is in L.

    For bounded treewidth graphs, when one of the input graphs is given with a tree decompositionthe isomorphism problem is in LogCFL.

    As a corollary the isomorphism problem for bounded treewidth graphs is in LogCFL. This improves the known TC^1 upper bound for the problem given by Grohe and Verbitsky \cite{GV06}.

  • 关键词:Graph Isomophism
国家哲学社会科学文献中心版权所有