Towards a constructive formalization of Perfect Graph Theorems.
Abhishek Kr SinghRaja NatarajanPublished in: CoRR (2018)
Keyphrases
- random walk
- graph matching
- weighted graph
- graph theory
- bipartite graph
- graph theoretic
- graph representation
- graph model
- directed graph
- formal model
- graph based algorithm
- graph partitioning
- connected components
- structured data
- knowledge representation
- spanning tree
- search engine
- neural network
- small world
- graph clustering
- logical framework
- dependency graph
- data sets