Leetcode 421.数组中两数的最大异或值

数组中两数的最大异或值

给定一个非空数组,数组中元素为 a0, a1, a2, … , an-1,其中 0 ≤ ai < 231 

找到 ai 和a最大的异或 (XOR) 运算结果,其中0 ≤ i,j < n

你能在O(n)的时间解决这个问题吗?

示例:

输入: [3, 10, 5, 25, 2, 8]

 

输出: 28

 

解释: 最大的结果是 5 ^ 25 = 28.

 

 

这道题是一道典型的位操作Bit Manipulation的题目,我开始以为异或值最大的两个数一定包括数组的最大值,但是OJ给了另一个例子{10,23,20,18,28},这个数组的异或最大值是10和20异或,得到30。那么只能另辟蹊径,正确的做法是按位遍历,题目中给定了数字的返回不会超过231,那么最多只能有32位,我们用一个从左往右的mask,用来提取数字的前缀,然后将其都存入HashSet中,我们用一个变量t,用来验证当前位为1再或上之前结果res,看结果和HashSet中的前缀异或之后在不在HashSet中,这里用到了一个性质,若a^b=c,那么a=b^c,因为t是我们要验证的当前最大值,所以我们遍历HashSet中的数时,和t异或后的结果仍在HashSet中,说明两个前缀可以异或出t的值,所以我们更新res为t,继续遍历,如果上述讲解不容易理解,那么建议自己带个例子一步一步试试,并把每次循环中HashSet中所有的数字都打印出来,基本应该就能理解了,算了,还是博主带着大家来看题目中给的例子吧:

3        10        5        25        2        8

11      1010     101     11001     10      1000

我们观察这些数字最大的为25,其二进制最高位在 i=4 时为1,那么我们的循环[31, 5]之间是取不到任何数字的,所以不会对结果res有任何影响。

当 i=4 时,我们此时mask为前28位为'1'的二进制数,跟除25以外的任何数相'与',都会得到0。 然后跟25的二进制数10101相'与',得到二进制数10000,存入HashSet中,那么此时HashSet中就有0和16两个数字。此时我们的t为结果res(此时为0)'或'上二进制数10000,得到二进制数10000。然后我们遍历HashSet,由于HashSet是无序的,所以我们会取出0和16中的其中一个,如果prefix取出的是0,那么t=16'异或'上0,还等于16,而16是在HashSet中存在的,所以此时结果res更新为16,然后break掉遍历HashSet的循环。实际上prefix先取16的话也一样,那么t=16'异或'上16,等于0,而0是在HashSet中存在的,所以此时结果res更新为16,然后break掉遍历HashSet的循环。

3        10        5        25        2        8

11      1010     101     11001     10      1000

当 i=3 时,我们此时mask为前29位为'1'的二进制数,如上所示,跟数字3,5,2中任何一个相'与',都会得到0。然后跟10的二进制数1010,或跟8的二进制数1000相'与',都会得到二进制数1000,即8。跟25的二进制数11001相'与',会得到二进数11000,即24,存入HashSet中,那么此时HashSet中就有0,8,和24三个数字。此时我们的t为结果res(此时为16)'或'上二进制数1000,得到二进制数11000,即24。此时遍历HashSet中的数,当prefix取出0,那么t=24'异或'上0,还等于24,而24是在HashSet中存在的,所以此时结果res更新为24,然后break掉遍历HashSet的循环。大家可以尝试其他的数,当prefix取出24,其实也可以更新结果res为24的。但是8就不行啦,因为HashSet中没有16。不过无所谓了,我们只要有一个能更新结果res就可以了。

3        10        5        25        2        8

11      1010     101     11001     10      1000

当 i=2 时,我们此时mask为前30位为'1'的二进制数,如上所示,跟3的二进制数11相'与',会得到二进制数0,即0。然后跟10的二进制数1010相'与',会得到二进制数1000,即8。然后跟5的二进制数101相'与',会得到二进制数100,即4。然后跟25的二进制数11001相'与',会得到二进制数11000,即24。跟数字2和8相'与',分别会得到0和8,跟前面重复了。所以最终HashSet中就有0,4,8,和24这四个数字。此时我们的t为结果res(此时为24)'或'上二进制数100,得到二进制数11100,即28。那么就要验证结果res能否取到28。我们遍历HashSet,当prefix取出0,那么t=28'异或'上0,还等于28,但是HashSet中没有28,所以不行。当prefix取出4,那么t=28'异或'上二进制数100,等于24,在HashSet中存在,Bingo!结果res更新为28。其他的数可以不用试了。

3        10        5        25        2        8

11      1010     101     11001     10      1000

当 i=1 时,我们此时mask为前31位为'1'的二进制数,如上所示,每个数与mask相'与'后,我们HashSet中会有2,4,8,10,24这五个数。此时我们的t为结果res(此时为28)'或'上二进制数10,得到二进制数11110,即30。那么就要验证结果res能否取到30。我们遍历HashSet,当prefix取出2,那么t=30'异或'上2,等于28,但是HashSet中没有28,所以不行。当prefix取出4,那么t=30'异或'上4,等于26,但是HashSet中没有26,所以不行。当prefix取出8,那么t=30'异或'上8,等于22,但是HashSet中没有22,所以不行。当prefix取出10,那么t=30'异或'上10,等于20,但是HashSet中没有20,所以不行。当prefix取出24,那么t=30'异或'上24,等于6,但是HashSet中没有6,所以不行。遍历完了HashSet所有的数,结果res没有被更新,还是28。

3        10        5        25        2        8

11      1010     101     11001     10      1000

当 i=0 时,我们此时mask为前32位为'1'的二进制数,如上所示,每个数与mask相'与'后,我们HashSet中会有2,3,5,8,10,25这六个数。此时我们的t为结果res(此时为28)'或'上二进制数1,得到二进制数11101,即29。那么就要验证结果res能否取到29。取出HashSet中每一个数字来验证,跟上面的验证方法相同,这里博主偷懒就不写了,最终可以发现,结果res无法被更新,还是28,所以最终的结果就是28。

综上所述,我们来分析一下这道题的核心。我们希望用二进制来拼出结果的数,最终结果28的二进制数为11100,里面有三个'1',我们来找一下都是谁贡献了这三个'1'?在 i=4 时,数字25贡献了最高位的'1',在 i=3 时,数字25贡献了次高位的'1',在 i=2 时,数字5贡献了第三位的'1'。而一旦某个数贡献了'1',那么之后在需要贡献'1'的时候,此数就可以再继续贡献'1'。而一旦有两个数贡献了'1'后,那么之后的'1'就基本上只跟这两个数有关了,其他数字有'1'也贡献不出来。验证方法里使用了前面提到的性质,a ^ b = t,如果t是所求结果话,我们可以先假定一个t,然后验证,如果a ^ t = b成立,说明该t可以通过a和b'异或'得到。参见代码如下:

 1 import java.util.HashSet;
 2 
 3 class Solution {
 4     public static int findMaximumXOR(int[] nums) {
 5         int max = 0;
 6         int mask = 0;
 7         for (int i = 31; i >= 0; i--) {
 8             // 从最高位试着找nums的前缀
 9             mask = mask | (1 << i);
10             HashSet set = new HashSet();
11             for (int num : nums) {
12                 set.add(mask & num);
13             }
14             //判断最大异或结果的当前位是否为1
15             int temp=max|(1<<i);
16             for (int prefix: set){
17                 if (set.contains(prefix^temp)) {
18                     max=temp;
19                 }
20             }
21         }
22         return max;
23     }
24 }

 

转载于:https://www.cnblogs.com/kexinxin/p/10242217.html

你可能感兴趣的:(数据结构与算法,java)