Relation-Algebraic Verification of Borůvka's Minimum Spanning Tree Algorithm.

Walter Guttmann Nicolas Robinson-O'Brien

Published in: RAMiCS (2021)

Keyphrases

minimum spanning tree
spanning tree
cost function
expectation maximization
computational complexity
worst case
simulated annealing
search space
special case
distance metric
traveling salesman problem
graph theory
weighted graph
minimum weight
steiner tree