In your solution to homework 4, the binary search program, you have an invariant which, on the third line of the statement, says that h < j <= highest, A[i] <= k. First off I believe there might be a typo here because it should be A[j], and secondly that it should be A[j] > k, not <=. Please let me know if I am wrong or if there really is a typo. Thanks.
Ben
|
You're right on both counts --- I goofed by Mike O'Donnell, 2000, Nov 02
to: