题目是这样的:
The parity of a binary word is 1 if the number of 1s is odd, otherwise, it is 0.
大意就是要统计二进制中1的个数是奇数还是偶数。
当然,先想到的是暴力求解法:
public static short parity (long x) {
short result = 0;
while (x != 0) {
result ^= (x & 1);
x >>>= 1;
}
return result;
}
复杂度当然是O(n),n是x的长度。
是否可以改进下呢? 当然可以。没必要每一位都要比,只要比是1的比特位就行了,比完之后,移到下一个为1的比特位继续。
public static short parity (long x) {
short result = 0;
while (x != 0) {
result ^= 1;
x &= (x - 1); //drops the lowest bit of x;
}
return result;
}
这样,复杂度就降到了O(k), k是比特位为1的个数;
是否还有改进的空间呢?如果64bits的话,使用lookup table比较合算,但是不能生成2^64, 生成2^16就行了,再把2^64拆成4个2^16再来做计算就行了。
public static short parity (long x) {
final int WORD_SIZE = 16;
final int BIT_MASK = 0xFFFF;
return (short) (precomputerParity[(int) ((x >>>(3 * WORD_SIZE)) & BIT_MASK)]
^ precomputerParity[(int) ((x >>>(2 * WORD_SIZE)) & BIT_MASK)]
^ precomputerParity[(int) ((x >>>(1 * WORD_SIZE)) & BIT_MASK)]
^ precomputerParity[(int) (x & BIT_MASK)] );
}
复杂度为O(1), 不过空间复杂度较高。
还有改进的空间么?
再来看XOR运算,举个例子,一个8位的二进制数, 分成前四位和后四位, 由于XOR运算,操作数两个都为0或者两个都为1时,结果为0,一个为0,一个为1时,结果为1。
所以,将前四位和后四位做XOR运算时,并不会改变1个数的奇偶性。
public static short parity (long x) {
x ^= x >>> 32;
x ^= x >>> 16;
x ^= x >>> 8;
x ^= x >>> 4;
x ^= x >>> 2;
x ^= x >>> 1;
return (short) (x & 1);
}
不断的把有效位进行XOR运算,使其长度折半,然后只要看最后一个有效位就行了。
复杂度为O(logn)。