分野：テクノロジ系
中分類：アルゴリズムとプログラミング
小分類：アルゴリズム

2分探索法は、要素が昇順または降順に整列された集合に対して、探索範囲の中央に位置する値と探索する値を比較し、探索する値の方が小さければ目的の値は範囲の先頭から中央の1つ前までに、探索する値の方が大きければ目的の値は範囲の中央の1つ次から最後までに存在すると判断して、次回は探索範囲を1／2に狭めて探索することを再帰的に繰返すことで目的のデータを探索するアルゴリズムです。

ループの継続にかかわる変数schは、X[center]＝in (探索値が見つかった)となったときに探索値を保持している配列の添え字を格納する役割を持ちます。探索値が配列の中にない場合には変数schは－1から変化しないので、aには、この場合に探索終了を判断しループを終了するための条件文が入ることになります。

探索値が存在しない配列に対して2分探索法による探索が進むと「left＝5，right＝6」というようにleftとrightが隣り合うまで探索範囲が狭まってきます。この状態からの処理の流れは、
この時点でleft，rightが同じ値なりますがX[6]とinの比較がまだ行われていないためループは継続する必要があります。
このように、この流れ図では探索値が存在しなかった場合には「left＞right」の状態になります。rightがleftより小さくなった場合には探索終了なので、ループを継続する条件はrightがleft以上、つまりaの文は「left≦right」が適切です。