Initial and Final Conditions

• Rule of Thumb, continued

  • Characterize the initial and final states, i.e., the state before the iteration begins and after the iteration is expected to stop.
  • The characterization of the initial and final states should be special cases of the general characterization.

0=L N=R

A

Initial:

Intermediate:

Final:

L

If val occurs in A[0..N], then val occurs in the

shaded region A[L..R].

Previous slide

Next slide

Back to first slide

View graphic version