human: 实现二分查找算法。
 bot: 二分查找算法是一种高效的查找算法，适用于有序数组。它的基本思想是将数组分为两部分，然后判断目标值在哪一部分，再在该部分中继续进行二分查找，直到找到目标值或者确定目标值不存在。具体实现时，可以使用递归或循环的方式。首先，确定数组的中间元素，然后与目标值进行比较。如果中间元素等于目标值，则找到了目标值；如果中间元素大于目标值，则在数组的左半部分继续查找；如果中间元素小于目标值，则在数组的右半部分继续查找。不断重复这个过程，直到找到目标值或者确定目标值不存在。二分查找算法的时间复杂度是O(log n)，其中n是数组的长度。这使得它成为一种非常高效的查找算法。