CSC373F -- Fall 2006 -- Material for Term Test 1

- Applications of Dijkstra's algorithm (no proof); 
- Greedy algorithms with formal correctness proofs; 
- MSTs and applications;
- Kruskal's algorithm for finding an MST (with proof).