An Algorithmic Meta-Theorem for Graph Modification to Planarity and FOL.
Fedor V. FominPetr A. GolovachGiannos StamoulisDimitrios M. ThilikosPublished in: ACM Trans. Comput. Theory (2022)
Keyphrases
- graph transformation
- graph representation
- directed graph
- graph theory
- graph model
- random walk
- graph theoretic
- graph structure
- first order logic
- connected components
- theorem proving
- meta level
- line drawings
- machine learning
- knowledge representation
- graph partitioning
- inference rules
- expert systems
- minimum spanning tree
- graph search
- graph properties
- learning algorithm
- graph databases
- np hard
- weighted graph
- bipartite graph
- graph matching
- spectral clustering
- probabilistic model
- markov chain