ERI读书笔记01 computing the parity of a word

题目是这样的：

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)。