A Visualization System for Correctness Proofs of Graph Algorithms

P.A. Gloor, D.B. Johnson, F. Makedon, P. Metaxas
1992 Computer Science Education  
In this paper we describe a system for visualizing correctness proofs of graph algorithms. The system has been demonstrated for a greedy algorithm, Prim's algorithm for finding a minimum spanning tree of an undirected, weighted graph. We believe that our system is particularly appropriate for greedy algorithms, though much of what we discuss can guide visualization of proofs in other contexts. While an example is not a proof, our system provides concrete examples to illustrate the operation of
more » ... he algorithm. These examples can be referred to by the user interactively and alternatively with the visualization of the proof where the general case is portrayed abstractly.
doi:10.1080/0899340920030309 fatcat:ev3aqctdanbjnoc4bp4ak423wy