2014阿里笔试最后2题

3.在黑板上写下50个数字：1至50。在接下来的49轮操作中，每次做如下操作：选取两个黑板上的数字a和b，擦去，在黑板上写|b-a|。请问最后一次动作之后剩下的数字可能是什么？为什么？（不用写代码，不写原因不得分）（阿里巴巴笔试题）

将题目通用化，即变成给定1..n这n个数字，操作到最后剩下的数字可能是什么。则原题即是n=50的特例。

首先我们有结论1：假设操作1..n，最后剩下的可能数字的个数为k，则操作1..(n+1)时，剩下数字的个数将大于等于k。这个结论简单的用反证法证明下——假设存在n，使得操作1..n时，剩下的数字个数k，操作1..(n+1)剩下可能数字的个数为p，且k>p。则令1..n时的k个数为a[1],a[2]…a[k]，显然它们互不相等。则1..n+1时，如果最后使用数字n+1与a[1]…a[k]做操作，得到|a[1]-(n+1)| … |a[k]-(n+1)|，此时k=p，不满足假设，则假设不成立，原命题成立。

然后再来个结论2：操作1..n所有可能剩下的数字必定都小于等于n。这个显然成立，因为对任意非负数a,b，|b-a|<=max(a,b)必定成立。

开始解题。

对于操作1..n这n个数，若只观察它们的奇偶性，则会发现，当选取任意两个数a,b做操作时，若两个均为偶数，则结果也为偶；两个奇数，结果为偶；一奇一偶，结果为奇。而这点跟异或完全相同，即令0代表偶数，1代表奇数，则0^0=1^1=0，0^1=1^0=1。因此，当操作1..n时，其剩下数字的奇偶性就等于1^0^1^0…^1(n为奇)/0(n为偶)，是个确定值，即剩下的数必定都为奇数或都为偶数（异或与顺序无关）。进一步发现，当1^0^1^0…式子中1的个数为奇数时，结果为1，即剩下的数必定都为奇数；1的个数为偶，结果为0，剩下的数字必定都为偶数。

因此我们有如下假设的结论：对于1..n，当┌n/2┐为奇数（┌n┐表示不小于n的整数）时，剩下的数字为1,3,5… 2i+1（其中2*i+1为小于等于n的最大奇数）；当┌n/2┐为偶数时，剩下的数字为0,2,4…2*i（2*i为小于等于n的最大偶数）。

下面用数学归纳法证明该假设。

1).当n=3时，可能剩下的数字为0,2，假设成立；n=4时，剩下的数字为0,2,4，假设成立；n=5时，为1,3,5，假设成立。

2).假设当n=k时，假设成立。即1..k时，若┌k/2┐为奇，则为1,3,5…2*i+1；┌n/2┐为偶，则为0,2,4…2*i。则现在需证明n=k+1时，假设仍成立。

3).当n=k+1时，若此时┌k/2┐为奇时，则再分为两种情况：k为奇数，或k为偶数。当k为奇数时，1^0^1…^1=1，再异或偶数k+1，1^0=1，则此时操作1…k+1剩下的数字仍然均为奇数，再根据结论1和结论2可知，剩下数字的个数应大于等于n=k，且最大奇数不能大于偶数k+1，则唯一的可能就是1..k+1剩下的数字与1..k剩下的数字相同，此情况符合假设。当k为偶数时，1^0^…^0=1，再异或奇数k+1，1^1=0，则此时操作1..k+1剩下的数字均为偶数，但结论1,2要求其个数应该大于等于n=k时的个数，且最大数不能大于k+1，则唯一的可能就是0,2…k，此情况仍符合假设。最后┌k/2┐为偶的情况，也可根据该奇偶性和结论1,2易证得该假设成立。故n=k+1时，假设仍然成立。

4).最后回到题目上来，令n=50，则根据结论可知，可能剩下的数字为1,3,5…49。

4、已知三个升序整数数组a[l], b[m]和c[n]。请在三个数组中各找一个元素，是的组成的三元组距离最小。三元组的距离定义是：假设a[i]、b[j]和c[k]是一个三元组，那么距离为:

Distance = max(|a[ I ] – b[ j ]|, |a[ I ] – c[ k ]|, |b[ j ] – c[ k ]|)

请设计一个求最小三元组距离的最优算法，并分析时间复杂度。

解：这道题目有两个关键点：

　　第一个关键点： max{|x1-x2|,|y1-y2|} =（|x1+y1-x2-y2|+|x1-y1-(x2-y2)|）/2   --公式（1）

　　我们假设x₁=a[ i ]，x₂=b[ j ]，x₃=c[ k ]，则

Distance = max(|x₁ – x₂|, |x₁ – x₃|, |x₂ – x₃|) = max(   max(|x₁ – x₂|, |x₁ – x₃|) , |x₂ – x₃|)   --公式（2）

　　根据公式（1），max(|x₁ – x₂|, |x₁ – x₃|) = 1/2 ( |2x₁ – x₂– x₃| +  |x₂ – x₃|)，带入公式（2），得到

Distance = max( 1/2 ( |2x₁ – x₂– x₃| +  |x₂ – x₃|) , |x₂ – x₃| )  

　　　　　　=1/2 * max(  |2x₁ – x₂– x₃|  , |x₂ – x₃| ) + 1/2*|x₂ – x₃| //把相同部分1/2*|x₂ – x₃|分离出来

　　　　　　=1/2 * max(  |2x₁ – (x₂ + x₃)|  , |x₂ – x₃| ) + 1/2*|x₂ – x₃|   //把(x₂ + x₃)看成一个整体，使用公式（1）

　　　　　　=1/2 * 1/2 *((|2x₁ – 2x₂| + |2x₁ – 2x₃|) + 1/2*|x₂ – x₃|

　　　　　　=1/2 *|x₁ – x₂| + 1/2 * |x₁ – x₃| + 1/2*|x₂ – x₃|

　　　　　　=1/2 *(|x₁ – x₂| + |x₁ – x₃| + |x₂ – x₃|)  //求出来了等价公式，完毕！

　　第二个关键点：如何找到(|x₁ – x₂| + |x₁ – x₃| + |x₂ – x₃|) 的最小值，x₁，x₂，x₃，分别是三个数组中的任意一个数。