给定一个单调递增数组，且满足大小关系：2*a[i-1] < a[i]，判断是否存在两数之和为k，要求O(logn)时间复杂度和O(1)空间复杂度。
考察说明
考察对单调性条件的利用、二分查找及双指针算法的深入理解
回答思路
- 正确说明单调递增且2*a[i-1]<a[i]的条件意味着指数级增长，数组元素较少
- 利用该条件缩小搜索空间，通过二分查找快速定位候选元素
- 结合双指针或二分找到两数之和为k，并给出时间复杂度分析
- 能够推导并实现关键边界条件，确保O(logn)复杂度
考察对单调性条件的利用、二分查找及双指针算法的深入理解