数组搜索中下标计算的一些小技巧

简述

在许多基本数据结构算法中，算法的过程最终要转换为对数组下标的操作上。如二分查找，快排，求中位数，循环数组等，具体的计算过程往往是先对条件表达式计算，然后根据大于小于或者等于的情况，由当前位置计算下一个位置。本文将讨论常见的下标计算中出现的问题。

在一个数组上进行搜索操作，（通常是排好序的数组），或者部分有序，或者满足某些特定排列的数组。搜索的过程一般都满足经典的三段式

1. 设定初始左右边界，并确认循环不变式初始时满足条件
2. 在循环中反复计算新的下标并测试，按照测试结果设定新的边界值
3. 循环结束，确认达成目标/目标不存在

其中最复杂的部分就是构造循环不变式，通常完成不变式的构造后，问题基本上就很清晰了。但是某些案例下，根据测试结果构造新的变量这一步会极其复杂。如在循环位移的数组上搜索。在这些复杂场景下，新下标的计算往往不是简单的+1或者-1这么简单，而是需要我们仔细的证明下标计算的过程中不会漏掉符合条件的位置，或者数组越界。
本文接下来的部分将分析这几个场景下的下标计算问题。

二维数组中处理坐标的小技巧

二维数组中当需要进行层次遍历并对周围元素进行处理时，我们需要将当前点放入队列，同时遍历周围的四个（上下左右）或者八个点。
若写一个内部类point保存点坐标则略显麻烦（刷算法题），这个时候我们可以将坐标转换成整数，假设矩阵列数为colomn，点坐标为（x， y）则

pos = x * colomn + y