[leetcode]137.只出现一次的数字（2）

给你一个整数数组 nums ，除某个元素仅出现 一次 外，其余每个元素都恰出现 三次 。请你找出并返回那个只出现了一次的元素。

示例 1：

输入：nums = [2,2,3,2]
输出：3

示例 2：

输入：nums = [0,1,0,1,0,1,99]
输出：99

提示：

1 <= nums.length <= 3 * 104
-231 <= nums[i] <= 231 - 1
nums 中，除某个元素仅出现 一次 外，其余每个元素都恰出现 三次

进阶：你的算法应该具有线性时间复杂度。 你可以不使用额外空间来实现吗？

思路：位运算（有限自动机）

本题为[leetcode]136.只出现一次的数字的拓展。可以将这种方法拓展到更一般的解法。

对于136题，即某个元素只出现一次以外，其余每个元素均出现两次。找出那个只出现了一次的元素。
遍历元素，对于每一个数，会遇到至多三种状态。

状态1：这个数还没有出现
状态2：这个数出现了一次
状态3：这个数出现了两次

状态之间的转移：

状态1（遇到这个数）->状态2（遇到这个数）->状态3.

由于除了答案之外，所有数都出现了2次，我们可以将状态3于状态1合并，即出现了两次等同于没有出现过，于是最后停留在状态2的数即为答案。

使用0来表示状态1，使用1来表示状态2，遇到这个数表示为1，没有遇到表示为0，有限自动机如图所示

转移表：

于是根据可以得到位运算方程：a=((~a)&nums)|(a&(-nums))

（看每一步推导的结果，1的留下，0的舍去，a的结果为1有两种情况，前面为1用原来的，为0取反，多个状态之间使用或。）

运算结果保存在a中，即最后停留在a=1的状态中的数字为答案，返回a即可。

AC代码：（C++）

class Solution {
   public:
    int singleNumber(vector<int>& nums) {
        int a = 0;
        for (int num : nums) {
            a = ((~a) & num) | (a & (~num));
        }
        return ans;
    }
};

于是对于本题，我们可以基于此拓展。

由于除了答案之外每个数都出现了3次，那么对于遍历中的每个数都有3种状态：

状态1：出现了0次
状态2：出现了1次
状态3：出现了2次
状态4：出现了3次

同理，我们可以认为状态4等同于状态1，最终停留在状态2上的数就是答案。
使用两位二进制位表示状态，状态1：00，状态2：01，状态3：10
有限状态机与转移表如图所示：

于是根据可以得到位运算方程：

a = (a & (~b) & (~num)) | ((~a) & b & num);
b = ((~a) & b & (~num)) | ((~a) & (~b) & num);

运算结果保存在a中，即最后停留在b=1的状态中的数字为答案，返回b即可。

AC代码：（C++）

class Solution {
   public:
    int singleNumber(vector<int>& nums) {
        int a = 0, b = 0;
        for (int num : nums) {
            int temp1 = (a & (~b) & (~num)) | ((~a) & b & num);
            int temp2 = ((~a) & b & (~num)) | ((~a) & (~b) & num);
            a = temp1;
            b = temp2;
        }
        return b;
    }
};