二分探索は、データが整列されていなくても常に正しい結果を返す。