二分算法实例应用（二）

二分算法实例应用（二）

和为给定数 （POJ 4143）

Description

给出若干个整数，询问其中是否有一对数的和等于给定的数。

Input

共三行：

第一行是整数n(0 < n <= 100,000)，表示有n个整数。

第二行是n个整数。整数的范围是在0到10^8之间。

第三行是一个整数m（0 <= m <= 2^30)，表示需要得到的和。

Output

若存在和为m的数对，输出两个整数，小的在前，大的在后，中间用单个空格隔开。若有多个数对满足条件，选择数对中较小的数更小的。若找不到符合要求的数对，输出一行No。

Sample Input

4
2 5 1 4
6

Sample Output

1 5

---

算法思想：

1. 法一：

   首先想到暴力破解，采用两重循环，枚举所有可能的取数方法。

   时间复杂度不难得到为O(n^2)。b

   因为本题问题规模达到了十万，若采用暴力破解则会有100亿的数据规模，基本在所有的OJ中都会超时，所以不可取。

2. 法二：

   既然是要找两个数据满足a+b=m，那么我们可以固定一个值a，在数组中找数m-a，若数组为有序数组，那么在数组中查找一个给定数就可以采用二分查找法来降低时间复杂度。

   因此，

   1. 首先我们需对题中输入数组进行排序，可采用快速排序，时间复杂度为$O(nlo{g}_{2}n)$；
   2. 其次，依次固定前n-1个数据，对每一个数据a进行一轮循环判断，判断是否有元素为c-a。每一轮判断中可以采用二分查找法进行搜索判定。因此本步时间复杂度为$O(nlo{g}_{2}n)$。

   综上，总体时间复杂度为$O(nlo{g}_{2}n)$。

3. 法三：

   法三是对法二进行的一个优化，在编写法二的程序时，突然想到：既然都是比较数，那和快速排序中一趟的划分关键步骤岂不是有异曲同工之妙嘛，即将大于枢轴元素的元素移至枢轴右侧，将所有小于枢轴元素的元素移至枢轴左侧。在这样的思想下，产生了对法二的进一步优化。

   即：

   1. 同样需要对输入数据进行排序，采用快速排序，时间复杂度为$O(nlo{g}_{2}n)$。关于排序的时间复杂度在目前能力范围内无法优化。

   2. 对于寻找两个数满足a+b=m这一步，可以考虑：设a为最小元素，即数组左端点；b为最大元素，即数组右端点。

      若(a+b)>m，那么表明，两数之和过大，应该减少最大值，使右端点左移，来减少两数之和。

      若(a+b)<m，那么表明，两数之和过小，应该增大最小值，使左端点右移，来增加两数之和。

      若(a+b)=m，那么便找到了一个解。

      这样的算法在找满足a+b=m的步骤中最多只需遍历一遍数组即可得出解，或判断出是否无解，则本步中时间复杂度为$O(n)$

   综上，总体时间复杂度为$O(nlo{g}_{2}n)+O(n)=O(nlo{g}_2$