探索アルゴリズムは、配列内に目的要素が含まれているか判断するアルゴリズムです。 二分探索は、ソート済みの配列の中央の値と目的要素の比較を行い、目的要素が中央の値より小さい集団内にあるか大きい集団内にあるか判断して、探索範囲を絞り込む探索アルゴリズムの一種です。 目的要素が集団の中央の値になったら、要素が見つかったとして探索を終了します。
二分探索では次の図のように処理が行われます。
二分探索は次のように再帰関数を用いて処理することができます。