Subject: hw4 hint (bubble sort proof)

From: Chee Yap <[email-masked]>
Date: Tue, 27 Oct 1998 18:00:35 -0500 (EST)

Dear Class:

How do you prove that bubble sort is correct?
Here is the basic outline:

(1) formalize the statement of what you 
want to prove  (which will be by induction)

(2) prove the basis

(3) prove the induction step.  The book
	has a statement that amounts to a
	claim of the induction step.  But
	in your writeup, you need to explicitly
	link this up to your statement in (1).

--Chee