精选50题之 89. 格雷编码

原题目链接

格雷编码是一个二进制数字系统，在该系统中，两个连续的数值仅有一个位数的差异。
给定一个代表编码总位数的非负整数 n，打印其格雷编码序列。格雷编码序列必须以 0 开头。

示例 1:

输入: 2
输出: [0,1,3,2]
解释:
00 - 0
01 - 1
11 - 3
10 - 2
对于给定的 n，其格雷编码序列并不唯一。
例如，[0,2,3,1] 也是一个有效的格雷编码序列。
00 - 0
10 - 2
11 - 3
01 - 1

示例 2:

输入: 0
输出: [0]
解释: 我们定义格雷编码序列必须以 0 开头。
给定编码总位数为 n 的格雷编码序列，其长度为 2n。当 n = 0 时，长度为 20 = 1。
因此，当 n = 0 时，其格雷编码序列为 [0]。

题目分析

Ps.前两天的题目都有直接实现，但是这个一看没有成型的思路，还是老老实实分析题目吧

格雷编码其实在计算机导论中就有出现，与BCD等同属于不同的码制表示，特点就在于相邻连两个数的二进制表示，只有一位发生了变化。

仔细想想，这个定义其实很抽象、不具体——并没有明确说明生成的规则。换言之，实际表示中一定是有迹可循的，有着极特殊规律的。

回到实例二，n = 2时：

00 - 0
01 - 1
11 - 3
10 - 2

最高位与一般二级制表示一致，但是低位不同——并不是 0-1交替出现，而是0-1-1-0。不难发现其中的中心对称性。

而n = 3 时对称性就更为明显了。

000 - 0
010 - 2
011 - 3
001 - 1
----------- 对称的
100 - 4
110 - 6
111 - 7
101 - 5

除了对称性外，还可以发现—— [n+1]的解 = 0连接[n]的解 ∪ 1[n]连接的解的逆序排列。
这种形式可以用很像是动态规划。

解题分析

基于中心对称性和子结构特性，好像可以求解了。但是怎么实现？
尝试进行模拟操作——逐个添加0或1，并迭代。
特别的，由于vector的内置函数只能在尾端操作，所以需要倒序添加。则实际形式更像是

00 - 0
10 - 2
11 - 3
01 - 1

“添加0” 是通过对原有结果 * 2 得到；“添加1” 则是通过倒序遍历“添加0”的结果，分别 +1 然后加入到vector 尾部。

代码实现

class Solution {
public:
    vector<int> grayCode(int n) {
        if(n == 0) return vector<int> {0};
        vector<int> res = {0, 1};
        if(n == 1) return res;
        for(int i = 2; i <= n; i++)
        {
            int len = res.size(); // 得到当前长度，用于下一次添加
            for (int j = 0; j < len; j++)
                res[j] *= 2;    // 末位加0
            for (int j = len-1; j>=0 ; j--)
                res.push_back(res[j]+1);    // 末位加1
        }
        return res;
    }
};

复杂度分析：

• 时间复杂度：O(2^n)
• 空间复杂度：O(2^n)

其他方式

其实这道题感觉上复杂度不能再优化了。因为无论如何，2^n个解都需要逐个运算。
只不过对于规则的实现会有不同的解法。
一、使用移位运算符 （这两天两天总有它?）

class Solution {
public:
    vector<int> grayCode(int n) {
        vector<int> result(1);
        result[0] = 0;
        for(int i = 1; i <= n; i++)
        {
            int e = 1 << (i - 1); //i - 1位结果前增加一位1
            for(int j = result.size() - 1; j >= 0; j--)
            {   // 镜像排列
                result.push_back(e + result[j]);
            }
        }
        return result;
    }
};

二、公式实现，使用异或运算符和…移位运算符（这…直接实现数学定义?）

class Solution {
public:
    vector<int> grayCode(int n) {
        vector<int> gray = {};
        for(int binary = 0; binary < 1 << n; binary++)
        {
            gray.push_back(binary ^ binary >> 1);
        }
        return gray;
    }
};

这也太巧妙了吧

写在最后

这运算符……我怕是不是没学过?