Question Invarient wrong in problem? 

Forum: U Chicago, Com Sci 221 old messages, autumn 2000
Re: News Assignment #4, due 25 October (Mike O'Donnell)
Date: 2000, Oct 24
From: Chris Yang cyang

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].


Messages

1. Agree Yes, I goofed in the invariant by Mike O'Donnell, 2000, Oct 24

to: "Invarient wrong in problem?"