Embedding in Switching Classes with Skew Gains
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.
KeywordsAbelian Group Output Action Graph Transformation Input Action Bridge Structure
Unable to display preview. Download preview PDF.