Abstract
In the context of graph transformation we look at the operation of switching, which can be viewed as an elegant method for realizing global transformations of (group-labelled) graphs through local transformations of the vertices.
Various relatively efficient algorithms exist for deciding whether a graph can be switched so that it contains some other graph, the query graph, as an induced subgraph in case vertices are given an identity. However, when considering graphs up to isomorphism, we immediately run into the graph isomorphism problem for which no efficient solution is known.
Surprisingly enough however, in some cases the decision process can be simplified by transforming the query graph into a “smaller” graph without changing the answer. The main lesson learned is that the size of the query graph is not the dominating factor, but its cycle rank.
Although a number of our results hold specifically for undirected, unlabelled graphs, we propose a more general framework and give some preliminary results for more general cases, where the graphs are labelled with elements of a group.
Various relatively efficient algorithms exist for deciding whether a graph can be switched so that it contains some other graph, the query graph, as an induced subgraph in case vertices are given an identity. However, when considering graphs up to isomorphism, we immediately run into the graph isomorphism problem for which no efficient solution is known.
Surprisingly enough however, in some cases the decision process can be simplified by transforming the query graph into a “smaller” graph without changing the answer. The main lesson learned is that the size of the query graph is not the dominating factor, but its cycle rank.
Although a number of our results hold specifically for undirected, unlabelled graphs, we propose a more general framework and give some preliminary results for more general cases, where the graphs are labelled with elements of a group.
Original language | English |
---|---|
Title of host publication | Graph Transformations. ICGT 2004 |
Editors | H. Ehrig, G. Engels, F. Parisi-Presicce, G. Rozenberg |
Publisher | Springer |
Pages | 257-270 |
Number of pages | 14 |
ISBN (Electronic) | 9783540302032 |
ISBN (Print) | 9783540232070 |
DOIs | |
Publication status | Published - 2004 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Volume | 3256 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |