Binary Chop 9步走

Pre: 题中信息

Post: 要满足的条件 ∧ i的范围

改成Binary形式：

①	②	③
Post第一部分	j = i+1	0 ≤ i < j ≤ N(或者给定数字)

P0: Re-Post ①

P1: Re-Post ③

i, j := 0, N(或者给定数字)

j ≠ i+1

j – i

$<∃ h : i < h < j>$

Case i := h	Case j := h
(i := h).P0 = { text substitution } Post①中i替换成h	(j := h).P0 = { text substitution } Post①中j替换成h

i, j := 0, 1000
;do j ≠ i+1 →
        “choose h so that i < h < j”
        ;if Post①中i替换成h → i := h
        [] Post①中j替换成h → j := h
        fi
od

用h := (i+j) div 2 替换 “choose h so that i < h < j”，剩下照抄

i, j := 0, 1000
;do j ≠ i+1 →
        h := (i+j) div 2
        ;if Post①中i替换成h → i := h
        [] Post①中j替换成h → j := h
        fi
od