Some Remarks on Deciding Equivalence for Graph-To-Graph Transducers.
Mikolaj BojanczykJanusz SchmudePublished in: MFCS (2020)
Keyphrases
- graph theory
- graph representation
- weighted graph
- graph theoretic
- structured data
- graph structure
- random walk
- graph properties
- real time
- adjacency matrix
- directed graph
- graph matching
- connected components
- graph model
- graph partitioning
- graph cuts
- lower bound
- equivalence classes
- search algorithm
- dependency graph
- graph based algorithm
- search engine