Relation-Algebraic Verification of Prim's Minimum Spanning Tree Algorithm.
Walter GuttmannPublished in: ICTAC (2016)
Keyphrases
- minimum spanning tree
- spanning tree
- expectation maximization
- minimum weight
- optimal solution
- ant colony optimization
- steiner tree
- weighted graph
- probabilistic model
- cost function
- search space
- objective function
- upper bound
- worst case
- np hard
- shortest path
- traveling salesman problem
- graph theory
- graph structure
- lower bound
- computational complexity
- neural network