基本情報技術者試験の二分探索木のアルゴリズムについての質問です
データ数をNとし、
low=1 high=N mid=(low+high)/2
とした場合には、[求める数値>midのデータの中の数値の時]
下限の更新値がmid+1
そうでない時、上限の更新値がmid-1となり
low=0 high=N+1 mid=(low+high)/2
とした場合、
加減の更新値、上限の更新値共にmidになるのですが、この理由が分かりません
なぜ後者の場合midを更新時の下限、上限値に含まなければいけないのでしょうか?