Isomorphism, canonization, and definability for graphs of bounded rank width.
Martin GroheDaniel NeuenPublished in: Commun. ACM (2021)
Keyphrases
- graph isomorphism
- graph theory
- subgraph isomorphism
- graph search
- graph matching
- propositional logic
- series parallel
- directed graph
- ranked list
- graph mining
- graph clustering
- graph model
- graph theoretic
- graph databases
- fixed point
- search algorithm
- undirected graph
- database
- random graphs
- weighted graph
- bounded treewidth
- labeled graphs
- neural network