Equivalence between flow graphs
Equality between flow graphs is not just graph isomorphism,
since graphs containing only value
nodes can be copied and discarded:
=
=
but the same is not true for graphs containing some central nodes:
Is there an equivalence on graphs with these properties?