只出现一次的数字

题目

136. 只出现一次的数字 - 力扣（LeetCode）

剑指 Offer 56 - I. 数组中数字出现的次数 - 力扣（LeetCode）

解题思路

异或性质：
$$0\oplus 0=0\text{\hspace{1em}(1)}$$
$$0\oplus 1=1\text{\hspace{1em}(2)}$$
$$1\oplus 0=1\text{\hspace{1em}(3)}$$
$$1\oplus 1=0\text{\hspace{1em}(4)}$$

结论$(1)：$由$(1)(2)$知，与$0$异或等于本身

结论$(2)：由$(3)(4)$知，与$1$异或等于取反

结论$(3)：由$(1)(4)$知，相同异或为$0$

结论$(4)：由$(2)(3)$知，相异异或为$1$

同时异或拥有
交换律：$a\oplus b=b\oplus a$
结合律：$(a\oplus b)\oplus c=a\oplus (b\oplus c)$

第一题：假如数组中所有数为$a_1,b_1,...,ans,...,a_n,b_n$
$a_i,b_i$为相等的一对，成为对子。
所有数相异的结果可以看做：利用交换律和结合律可以将所有对子先异或，结果为零，最后异或$ans$，根据结论$(1)$，因此结果为$ans$

第二题：假如数组中所有数为$a_1,b_1,...,ans1,ans2...,a_n,b_n$
利用第一题的思想，只需设法将数组分为两组，其中$ans1,ans2$各在一组。
因为其他对子的值相同，只要按照同一标准分组，对子肯定会分在同一组，从而异或为零，因此不必考虑分组标准对其他元素的影响，只需考虑如果将$ans1,ans2$分开。

假设：$mask=ans1\oplus ans2$
如果$mask$为零，这不可能，根据结论$(3)$，与题设矛盾。

如果$mask$不为零，$mask$的二进制表示中一定有一位为$1$，假设为$mas{k}_i$
根据结论$(4)$，$ans{1}_i,ans{2}_i$一定不相同。由此找到将$ans1,ans2$分开的标准。

理论上根据$mask$中任意不为零的$bit$位都可以将$ans1,ans2$区分开。
为了简便，选择$lowbit$

代码

class Solution {
public:
    vector<int> singleNumbers(vector<int>& nums) {
        int mask = 0;
        vector<int> ans;
        int a = 0;
        int b = 0;

        for(auto& t : nums){
            mask ^= t;
        }

        // lowbit
        mask = mask & (~mask + 1);

        for(auto& t : nums){
            if(t & mask){
                a ^= t;
            }else{
                b ^= t;
            }
        }
        ans.push_back(a);
        ans.push_back(b);

        return ans;
    }
};