Teaching the analysis of algorithms with visual proofs

Authors:
Michael T. Goodrich;Roberto Tamassia
Affiliations:
Dept. of Comp. Sci., Johns Hopkins Univ., Baltimore, MD;Dept. of Comp. Sci., Brown Univ., Providence, RI
Venue:
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
Year:
1998

Citing 8
Cited 4

Algorithms

Algorithms
Parallel algorithms for shared-memory machines

Handbook of theoretical computer science (vol. A)
An introduction to parallel algorithms

An introduction to parallel algorithms
Algorithms in C++

Algorithms in C++
A new model for algorithm animation over the WWW

ACM Computing Surveys (CSUR)
Algorithm 245: Treesort

Communications of the ACM
Introduction to Algorithms: A Creative Approach

Introduction to Algorithms: A Creative Approach
Data Structures and Algorithms in Java

Data Structures and Algorithms in Java

PC-based development environments and a Unix-centric curriculum: some practical issues

ACM SIGCSE Bulletin
Visualizing Algorithms over the Web with the Publication-Driven Approach

WAE '00 Proceedings of the 4th International Workshop on Algorithm Engineering
A visual proof for an average case of list searching

ACM SIGCSE Bulletin
An alternative visual analysis of the build heap algorithm

ACM Inroads

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe an approach for visually teaching important proofs in the Junior-Senior level course on the design and analysis of data structures and algorithms (CS7/DS&A). The main idea of this educational paradigm is to justify important claims about data structures and algorithms by using pictures that visualize proofs so clearly that the pictures can qualify as proofs themselves. The advantage of using this approach for DS&A is that it augments or even replaces inductive arguments that many students find difficult. Moreover, this paradigm communicates important algorithmic facts in a compelling way for students who are more visually-oriented. We illustrate this technique by giving examples of visual proofs of several key concepts in DS&A.