寻找两个有序数组的中位数（困难）非常酷的解决方案！

题目：
给定两个大小为 m 和 n 的有序数组 nums1 和 nums2。

请你找出这两个有序数组的中位数，并且要求算法的时间复杂度为 O(log(m + n))。

你可以假设 nums1 和 nums2 不会同时为空。

示例 1:

nums1 = [1, 3]
nums2 = [2]

则中位数是 2.0
示例 2:

nums1 = [1, 2]
nums2 = [3, 4]

则中位数是 (2 + 3)/2 = 2.5

来源：力扣（LeetCode）

思路：
首先，我们知道，中位数的作用是用来将一个集合分为两个数量相等 的部分，且一个集合中的所有数都大于另一个数。

假设有两个集合
n1 = {2,3,5};
n2 = {1,4,7,9};
设两个集合合并之后是A，元素个数为T
我们用 用数字k 代表要在第 k 个元素后将整个集合切开，c1表示在n1的第c1个元素后切开，c2则表示在n2后第c2个元素切开。可知（c2 = k-c1）。

我们假设L1为n1左部分元素最大值，而R1表示n1右部分元素最小值。相应的L2与R2的也表示n2相应的最值。

那么我们可知R1>L1,R2>L2。
若仍有R2>L1且R1>L2，则说明我们分别找到了A集合前k个元素分在n1,n2中的坐标c1,c2。

如果集合A是偶集合，那么我们只需要返回（MAX(L1,L2),MIN(R1,R2)）/2，若集合A是奇函数，则需要变动k值，返回的公式也会发生变化。

这该怎么办呢？

---

---

---

ATTENTION！！！
所以，我们引入了一个非常酷的设定！！！
我们假设在n1和n2的元素空隙中插入 ’ # '。

例：
{1,2,4};→{#,1,#,2,#,4,#};

你可能会问为什么要这样做，这样岂不是增加了问题的复杂性吗？

实际不是！！！

当我们引入这一设定后，便会神奇的发现，不管是奇数组还是偶数组，加入之后，都会变成奇数组，而两个奇数组合并之后便是偶数组！

而且更有意思的是，在例子中，我们发现不管是1,2还是4的下标在插入’ # ’ 后怎么发生变化，在除以2之后就与原来的下标是一致的。

考虑题目的时间复杂度要求，我们在选取c1,c2时采用二分法，而且始终对短的数组二分。

假设n1是短数组：
如果L1>R2,则令c1在左半端搜索。
如果L2>R1,则另c1在右半段搜索。

搜索过程中可能遇到以下四种情况：
（1）c1=0，说明n2全部在中位数左边，令L1等于Integer.MIN_VALUE。
（2）c1=2n1.length，说明n2全部在中位数右边，令R1=Integer.MAX_VALUE。
（3）c2=0，说明n2全部在中位数右边，令L2等于Integer.MIN_VALUE。
（4）c2=2n2.length，说明n2全部在中位数左边，令R2等于Integer.MAX_VALUE。

代码：

class Solution {
   public double findMedianSortedArrays(int[] nums1, int[] nums2) {
		 int n = nums1.length;
		 int m = nums2.length;
		 if(n>m) {
			 return findMedianSortedArrays(nums2, nums1);
		 }
		 int lo = 0;
		 int hi = 2*n;
		 int LMax1=0,RMin1=0,LMax2=0,RMin2=0;
		 int c1=0,c2=0;
		 while(lo<=hi) {
			 c1 = (lo+hi)/2;
			 c2 = m+n-c1;
			 LMax1 = (c1==0)?Integer.MIN_VALUE:nums1[(c1-1)/2];
			 RMin1 = (c1==2*n)?Integer.MAX_VALUE:nums1[c1/2];
			 LMax2 = (c2==0)?Integer.MIN_VALUE:nums2[(c2-1)/2];
			 RMin2 = (c2 == 2*m)?Integer.MAX_VALUE:nums2[c2/2];
			 if(RMin2<LMax1) {
				 hi = c1-1;
			 }
			 else if(RMin1<LMax2) {
				 lo = c1+1;
			 }
			 else {
				break;
			 }
		 }
		 return (Math.max(LMax2, LMax1)+Math.min(RMin1, RMin2))/2.0;
	 }
}

如有不当之处，还请网友朋友们不吝赐教，谢谢！