In your Assignment, you give a (favorite) example of the invarient as:
(X[I]<T for all I s.t. 1<=I<=L) and (X[J]<=T for all J s.t. U<=J<=N) Is this wrong? should it be like this:
(X[I]<T for all I s.t. 1<=I<=L) and (X[J]>=T for all J s.t. U<=J<=N) Because then all X[J] would be in the range above X[U], and T would be in the range X[L] to X[U].
|
Yes, I goofed in the invariant by Mike O'Donnell, 2000, Oct 24
to: