3,576 research outputs found
3-connected Planar Graph Isomorphism is in Log-space
We show that the isomorphism of 3-connected planar graphs can be decided in
deterministic log-space. This improves the previously known bound ULcoUL
of Thierauf and Wagner
Graph Isomorphism for K_{3,3}-free and K_5-free graphs is in Log-space
Graph isomorphism is an important and widely studied computational problem with
a yet unsettled complexity.
However, the exact complexity is known for isomorphism of various classes of
graphs. Recently, cite{DLNTW09} proved that planar isomorphism is complete for log-space.
We extend this result %of cite{DLNTW09}
further to the classes of graphs which exclude or as
a minor, and give a log-space algorithm.
Our algorithm decomposes minor-free graphs into biconnected and those further into triconnected
components, which are known to be either planar or components cite{Vaz89}. This gives a triconnected
component tree similar to that for planar graphs. An extension of the log-space algorithm of cite{DLNTW09}
can then be used to decide the isomorphism problem.
For minor-free graphs, we consider -connected components.
These are either planar or isomorphic to the four-rung mobius ladder on vertices
or, with a further decomposition, one obtains planar -connected components cite{Khu88}.
We give an algorithm to get a unique
decomposition of minor-free graphs into bi-, tri- and -connected components,
and construct trees, accordingly.
Since the algorithm of cite{DLNTW09} does
not deal with four-connected component trees, it needs to be modified in a quite non-trivial way
Restricted Space Algorithms for Isomorphism on Bounded Treewidth Graphs
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].Comment: STACS conference 2010, 12 page
Frequent Subgraph Mining in Outerplanar Graphs
In recent years there has been an increased interest in frequent pattern discovery in large databases of graph structured objects. While the frequent connected subgraph mining problem for tree datasets can be solved in incremental polynomial time, it becomes intractable for arbitrary graph databases. Existing approaches have therefore resorted to various heuristic strategies and restrictions of the search space, but have not identified a practically relevant tractable graph class beyond trees. In this paper, we define the class of so called tenuous outerplanar graphs, a strict generalization of trees, develop a frequent subgraph mining algorithm for tenuous outerplanar graphs that works in incremental polynomial time, and evaluate the algorithm empirically on the NCI molecular graph dataset
Frequent Subgraph Mining in Outerplanar Graphs
In recent years there has been an increased interest in frequent pattern discovery in large databases of graph structured objects. While the frequent connected subgraph mining problem for tree datasets can be solved in incremental polynomial time, it becomes intractable for arbitrary graph databases. Existing approaches have therefore resorted to various heuristic strategies and restrictions of the search space, but have not identified a practically relevant tractable graph class beyond trees. In this paper, we define the class of so called tenuous outerplanar graphs, a strict generalization of trees, develop a frequent subgraph mining algorithm for tenuous outerplanar graphs that works in incremental polynomial time, and evaluate the algorithm empirically on the NCI molecular graph dataset
Dynamic Complexity of Planar 3-connected Graph Isomorphism
Dynamic Complexity (as introduced by Patnaik and Immerman) tries to express
how hard it is to update the solution to a problem when the input is changed
slightly. It considers the changes required to some stored data structure
(possibly a massive database) as small quantities of data (or a tuple) are
inserted or deleted from the database (or a structure over some vocabulary).
The main difference from previous notions of dynamic complexity is that instead
of treating the update quantitatively by finding the the time/space trade-offs,
it tries to consider the update qualitatively, by finding the complexity class
in which the update can be expressed (or made). In this setting, DynFO, or
Dynamic First-Order, is one of the smallest and the most natural complexity
class (since SQL queries can be expressed in First-Order Logic), and contains
those problems whose solutions (or the stored data structure from which the
solution can be found) can be updated in First-Order Logic when the data
structure undergoes small changes.
Etessami considered the problem of isomorphism in the dynamic setting, and
showed that Tree Isomorphism can be decided in DynFO. In this work, we show
that isomorphism of Planar 3-connected graphs can be decided in DynFO+ (which
is DynFO with some polynomial precomputation). We maintain a canonical
description of 3-connected Planar graphs by maintaining a database which is
accessed and modified by First-Order queries when edges are added to or deleted
from the graph. We specifically exploit the ideas of Breadth-First Search and
Canonical Breadth-First Search to prove the results. We also introduce a novel
method for canonizing a 3-connected planar graph in First-Order Logic from
Canonical Breadth-First Search Trees
- …