LeetCode.260 Single Number 3

写作来源

今天在LeetCode上面连续做了Single Number 2和Single Number 3，非常羞耻地说，两题都是看了别人的思路理解以后再写出来的，Single Number 2的解法有人已经在简书上面写了，我这里就解释一些LeetCode上面的Discuss部分的其他人的解法。

思路

首先贴上别人写的代码。

class Solution
{
public:
    vector<int> singleNumber(vector<int>& nums) 
    {
        // Pass 1 : 
        // Get the XOR of the two numbers we need to find
        int diff = accumulate(nums.begin(), nums.end(), 0, bit_xor<int>());
        // Get its last set bit
        diff &= -diff;

        // Pass 2 :
        vector<int> rets = {0, 0}; // this vector stores the two numbers we will return
        for (int num : nums)
        {
            if ((num & diff) == 0) // the bit is not set
            {
                rets[0] ^= num;
            }
            else // the bit is set
            {
                rets[1] ^= num;
            }
        }
        return rets;
    }
};

第一步，如果说写了Single Number的人首先会把所有的数进行异或，最终得到两个不重复两次的数字的异或的结果，这里记为：

$$diff = b_0\;xor\;b_1$$
此时，设所有重复了两次的数字分别为 $a_0, a_1, a_2 \cdots a_n$，而本题的思想就是通过某一种标识把 $b_0$和 $b_1$分离，或者说是把整个输入的列表分成两个部分，这两个部分分别为：
$$\begin{equation} c_0, c_1 \cdots c_m, b_0 \\ d_0, d_1 \cdots d_k, b_1 \\ \{a_0, a_1, a_2 \cdots a_n\} = \{c_0, c_1 \cdots c_m\} \cup \{d_0, d_1 \cdots d_k\} \end{equation}$$
因为集合中没有重复的数字，所以这里为了表示重复数字，加上上标表示重复，即比如 $a_0$的两个重复值为 $a_0^1$和 $a_1^1$，所以在上面的两个集合中，存在：
$$\begin{equation} c_0^0 \;xor \; c_0^1 \; xor \; c_1^0 \; xor \; c_1^1 \; xor \; \cdots \; xor \; b_0 = b_0 \\ d_0^0 \;xor \; d_0^1 \; xor \; d_1^0 \; xor \; d_1^1 \; xor \; \cdots \; xor \; b_1 = b_1 \end{equation}$$
由上面的代码可以看出来，这个标识符为 $diff$，原因是，通过 $diff = diff \; xor \;(-diff)$计算以后， $diff$的值只保留了原本的数的最低位，其他的位的值都是0，这算是位运算中最基本的技巧吧。也就是说，原本的 $diff$的最低位也是1，从而推断 $b_0$和 $b_1$的相应位肯定分别为 $0$和$1$，因为只有两个位的值不一样才能够异或出 $1$。这就说明$diff$的值是可以作为标识符的。
其实这里我们可以不用管上面所说的 $c_0, c_1 \cdots c_m$和 $d_0, d_1 \cdots d_k$分别是多少，反正也会被这个标识符分成两个集合，我们只需要关心能被分成两个集合即可。