Derivation of Data Intensive Algorithms by Formal Transformation: The Schnorr-Waite Graph Marking Algorithm.

Published in: IEEE Trans. Software Eng. (1996)

Keyphrases

learning algorithm
computational complexity
worst case
data intensive
graph based algorithm
polynomial time complexity
minimum spanning tree
maximum flow
information retrieval
graph structure
real world
optimal solution
high dimensional
graph theory
spanning tree