以下哪项正确描述了二分查找算法？

如果数组中存在重复元素，二分查找算法将始终找到并返回第一个元素的索引。

二分查找算法的最好时间复杂度是O(1)，最坏时间复杂度是O(n)。

二分查找算法如果在每次迭代中都用mid = (left + right) / 2计算中间值，这可能导致在极端情况下整数溢出。

如果查找的目标值并不存在于数组中，二分查找的时间复杂度会退化为O(n)。