Refine the Body

. . .

/* Make L==R s.t. if val is in A[0..N], then

A[L]== val. */

while ( L != R )

{

/* Reduce the size of the interval A[L..R]

approximately in half, preserving the

property that if val was in the

original interval, then it is in the

new interval. */

int M = (L + R) / 2;

if (____________________________)

R = __________________________;

else

L = __________________________;

}

• Rule of Thumb. Avoid different treatments of cases if you can treat all cases uniformly.

Previous slide

Next slide

Back to first slide

View graphic version