ソート済の配列に対して、中央の値の大小判定結果をもとに方向を決め、検索対象を絞り出す探索アルゴリズムのこと。n個のデータがあるときの時間計算量は $O(\log_2 n)$ である。