human: 编写一个函数来实现对整数列表的二分查找。
 bot: 二分查找是一种高效的搜索算法，适用于已排序的整数列表。它的基本思想是将列表分成两部分，然后确定目标值在哪一部分中。我们可以使用递归或迭代的方式实现二分查找。首先，我们需要将列表按升序排序。然后，我们选择列表的中间元素，并将其与目标值进行比较。如果中间元素等于目标值，则搜索成功。如果中间元素大于目标值，则目标值可能在列表的前半部分，我们将继续在前半部分进行二分查找。如果中间元素小于目标值，则目标值可能在列表的后半部分，我们将继续在后半部分进行二分查找。通过不断缩小搜索范围，最终可以找到目标值或确定目标值不存在于列表中。二分查找的时间复杂度为O(log n)，其中n是列表的长度。这使得它成为处理大型数据集的理想选择。