Efficient Recognition of Graph Languages

11/28/2019
by   Graham Campbell, et al.
0

Graph transformation is the rule-based modification of graphs, and is a discipline dating back to the 1970s. In general, to match the left-hand graph of a fixed rule within a host graph requires polynomial time, but to improve matching performance, Dörr proposed to equip rules and host graphs with distinguished root nodes. This model was implemented by Plump and Bak, but unfortunately, such rules are not invertible. We address this problem by defining rootedness using a partial function into a two-point set rather than pointing graphs with root nodes, meaning derivations are natural double pushouts. Moreover, we give a sufficient condition on rules to give constant time rule application on graphs of bounded degree, and that, the graph class of trees can be recognised in linear time, given an input graph of bounded degree. Finally, we define a new notion of confluence up to garbage and non-garbage critical pairs, showing it is sufficient to require strong joinability of only the non-garbage critical pairs to establish confluence up to garbage. Finally, this new result, presented for conventional graph transformation systems, can be lifted to our rooted setting by encoding node labels and rootedness as looped edges.

READ FULL TEXT

Authors

page 1

page 2

page 3

page 4

06/11/2019

Efficient Graph Rewriting

Graph transformation is the rule-based modification of graphs, and is a ...
01/06/2021

Confluence up to Garbage in Graph Transformation

The transformation of graphs and graph-like structures is ubiquitous in ...
07/23/2019

High degree quadrature rules with pseudorandom rational nodes

After introducing the definitions of positive, negative and companion ru...
05/10/2020

Initial Conflicts for Transformation Rules with Nested Application Conditions

We extend the theory of initial conflicts in the framework of M-adhesive...
12/03/2020

A Fast Graph Program for Computing Minimum Spanning Trees

When using graph transformation rules to implement graph algorithms, a c...
04/27/2012

The conduciveness of CA-rule graphs

Given two subsets A and B of nodes in a directed graph, the conducivenes...
02/21/2020

Recursive, parameter-free, explicitly defined interpolation nodes for simplices

A rule for constructing interpolation nodes for nth degree polynomials o...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.