使用数学归纳法来证明.ppt

Ch4-* Example 5. Search x in a1, a2,…,an by Linear Search Sol : Alg. 5 procedure search (i, j, x: integers) if ai = x then location := i else if i = j then location := 0 else search(i+1, j, x) 從ai,ai+1,…aj 中找 x call search(1, n, x) (跳過) Ch4-* Example 6. Search x from a1,a2,…,an by binary search (recursive version). Sol : Alg. 5 procedure binary_search (x , i , j: integers) m := ?(i+j) / 2? if x = am then location := m else if (x am and i m) then binary_search(x, i, m-1) else if (x am and j m) then