计算两个等长升序序列的中位数的高效算法（408真题及解析）

【2011 统考真题】一个长度为L（L≥1）的升序序列 S，处在第【L/2】个位置的数称为 S的中位数。例如，若序列S1=（11，13，15，17，19），则S1的中位数是 15，两个序列的中位数是含它们所有元素的升序序列的中位数。例如，若 S2=（2，4，6，8，20），则S1和S2的中位数是 11。现在有两个等长升序序列 A和 B，试设计一个在时间和空间两方面都尽可能高效的算法，找出两个序列 A 和 B的中位数。要求∶
1）给出算法的基本设计思想。
2）根据设计思想，采用 C或 C+或 Java语言描述算法，关键之处给出注释。
3）说明你所设计算法的时间复杂度和空间复杂度。

1）算法的基本设计思想如下。
分别求两个升序序列 A、B的中位数，设为 a 和b，求序列 A、B的中位数过程如下∶
  ①若 a= b，则 a或b 即为所求中位数，算法结束。
  ②若 a<b，则舍弃序列A中较小的一半，同时舍弃序列 B中较大的一半，要求两次舍弃的长度相等。
  ③若 a>b，则舍弃序列 A中较大的一半，同时舍弃序列 B中较小的一半，要求两次舍弃的长度相等。
在保留的两个升序序列中，重复过程①、②、③，直到两个序列中均只含一个元素时为止，较小者即为所求的中位数。

2）本题代码如下∶

#include<bits/stdc++.h>
using namespace std;
int M_search(int A[],int B[],int n) {
	int s1=0,d1=n-1,m1,s2=0,d2=n-1,m2;
	//分别表示序列 A和 B 的首位数、末位数和中位数
	while(s1!=d1 || s2!=d2) {
		m1=(s1+d1)/2;
		m2=(s2+d2)/2;
		if(A[m1]==B[m2]) return A[m1];
		if(A[m1]<B[m2]) {		//中点在A[m1,d1]和B[s2,m2]中
			if((s1+d1)%2==0) { 	//数组元素个数为奇数
				s1=m1;			//舍弃A中间点以前的部分且保留中间点
				d2=m2;			//舍弃B中间点以后的部分且保留中间点
			} 
			else {				//数组元素个数为偶数
				s1=m1+1; 		//舍弃A中间点及中间点以前的部分
				d2=m2;			//舍弃B中间点以后的部分且保留中间点
			}
		} 
		else { 					//中点在B[m2,d2]和A[s1,m1]中
			if((s1+d1)%2==0) { 	//数组元素个数为奇数
				s2=m2;			//舍弃B中间点以前的部分且保留中间点
				d1=m1;			//舍弃A中间点以后的部分且保留中间点
			} 
			else {				//数组元素个数为偶数
				s2=m2+1; 		//舍弃B中间点及中间点以前的部分
				d1=m1;			//舍弃A中间点以后的部分且保留中间点
			}
		}
	}
	return A[s1]<B[s2] ? A[s1] : B[s2];
}
int main() {
//	//case1,ans=3
//	int A[]= {1,2,3},B[]= {4,5,6};
//	int ans = M_search(A,B,3);
//	//case2,ans=4
//	int A[]= {1,2,3,4},B[]= {4,5,6,7};
//	int ans = M_search(A,B,4);
	//case3,ans=3
	int A[]= {2,3,4,5},B[]= {1,2,3,4};
	int ans = M_search(A,B,4);

	cout<<ans<<endl;
}

3）算法的时间复杂度为 O（logzn），空间复杂度为 O（1）。