Certified Kruskal's Tree Theorem.

Christian Sternagel

Published in: CPP (2013)

Keyphrases

minimum spanning tree
tree structure
spanning tree
tree construction
relational databases
b tree
binary tree
tree structures
information retrieval
search algorithm
search space
query language
website
search engine
leaf nodes
tree search
data mining