双调查找

如果一个数组中的所有元素师先递增后递减的，则称这个数组为双调的。编写一个程序，给定一个含有N个不同int值的双调数组，判断它是否含有给定的整数。

（增长极为对数级）

解决方案：

解决这个问题，需要利用二分查找的思想。不过双调数组不能直接利用二分查找。那么如何解决？

对任一一个双调数组，从中间切开，必有一侧是单调数组，另一侧仍为双调数组，特殊情况下，也为单调数组。那么，对于单调数组，我们即可以直接采用二分查找法。

对于双调数组，依旧从中间切开继续处理。

实现代码如下：

public class DoubleBinarySearch {
	public static int rank(int key, int[] a) {
		int lo = 0;
		int hi = a.length - 1;
		int index = -1;
		while (lo <= hi) {
			int mid = lo + (hi - lo) / 2;
			if (a[mid] == key)
				return mid;
			if (a[mid] > a[mid - 1]) {

				if (key < a[mid]) {
					index = BinarySearch.rank_up(key, a, lo, mid);
					if (index != -1)
						return index;
				}
				lo = mid + 1;

			}
			if (a[mid] < a[mid - 1]) {

				if (key < a[mid]) {
					index = BinarySearch.rank_down(key, a, mid, hi);
					if (index != -1)
						return index;
				}
				hi = mid - 1;

			}

		}
		return -1;
	}
}

public class BinarySearch {

	public static int rank_up(int key, int[] a, int lo, int hi) {
		
		while (lo <= hi) {
			int mid = lo + (hi - lo) / 2;
			if (key < a[mid])
				hi = mid - 1;
			else if (key > a[mid])
				lo = mid + 1;
			else
				return mid;

		}
		return -1;
	}

	public static int rank_down(int key, int[] a, int lo, int hi) {
		
		while (lo <= hi) {
			int mid = lo + (hi - lo) / 2;
			if (key > a[mid])
				hi = mid - 1;
			else if (key < a[mid])
				lo = mid + 1;
			else
				return mid;
		}
		return -1;
	}
}

其实，应该借鉴STL，设计函数对象，去除rank_down与rank_up冗余。本文为了方便表述，并没有实现。