else u = m /* assert l+1 = u && x[l] < t&& x[u] >= t */ p = u if p >= n || x[p] != t p = -1 第一行初始化不變式。隨著迴圈重複,不變式由 if 述句來維持, ...
確定! 回上一頁