二分查找的时间复杂度是O(log n)，但前提是数组有序。A选项用“是”表述，容易误解为二分查找总是可以达到O(log n)复杂度，但实际上它仅适用于有序数组。