Kruskal's Tree Theorem for Acyclic Term Graphs.
Georg MoserMaria Anna SchettPublished in: TERMGRAPH (2016)
Keyphrases
- minimum spanning tree
- spanning tree
- minimum spanning trees
- graph model
- graph theory
- tree structure
- weighted graph
- connected graphs
- graph structure
- reachability queries
- np hard
- tree structured data
- maximal cliques
- directed graph
- graph theoretic
- binary tree
- graph matching
- b tree
- tree languages
- constraint graph
- tree structures
- tree search
- graph representation
- database schemes
- random graphs
- data structure
- index structure
- shortest path
- np complete
- search algorithm