前提:必须是顺序存储有序

  • 过程
    • low=1, high=n
    • mid = (low + high) / 2
    • key < a[mid],则 high = mid - 1
    • key > a[mid],则 low = mid + 1
  • 判定树:折半查找的过程可用二叉树描述。
    • 树高:
    • 查找失败:对应判定树的空指针(外部结点)。
  • ASL