4位格雷码连续性证明

4位格雷码连续性

前言

上的第二节数电课讲了下4位格雷码，我对格雷码为什么连续很感兴趣，就试着写下这些东西。如有纰漏，烦请指正，不胜感激。

前置知识

请先了解下列知识点:

1. 格雷码
   1. 格雷码是什么
   2. 格雷码简单性质
   3. 格雷码和二进制相互的转换
2. 模2加法(异或)
3. 实际加法的位运算实现
4. 一些常用数学符号
   1. 异或: ^或$\oplus$
   2. 非: ~$x$或$\overline{x}$

正文

对应表

十进制	二进制	格雷码
0	0000	0000
1	0001	0001
2	0010	0011
3	0011	0010
4	0100	0110
5	0101	0111
6	0110	0101
7	0111	0100
8	1000	1100
9	1001	1101
10	1010	1111
11	1011	1110
12	1100	1010
13	1101	1011
14	1110	1001
15	1111	1000

过程

设二进制为$x$, 格雷码为$g(x)$。将x四位分开，从高到低为$x_1,x_2,x_3,x_4$，同样，将$g(x)$分为$g(x{)}_1,...,g(x{)}_4$，即:
$$x=x_1\ast 2^3+x_2\ast 2^2+x_3\ast 2^1+x_4\ast 2^0$$

对连续性，我们考虑$x$和$x+1$及对应的格雷码，如下:

	第一位	第二位	第三位	第四位
$x$	$x_1$	$x_2$	$x_3$	$x_4$
$x+1$	$x_4\&x_3\&x_2\oplus x_1$	$x_4\&x_3\oplus x_2$	$x_4\oplus x_3$	$\overline{x_4}$
$g(x)$	$x_1$	$x_1\oplus x_2$	$x_2\oplus x_3$	$x_3\oplus x_4$
$g(x+1)$	$x_4\&x_3\&x_2\oplus x_1$	$(x_4\&x_3\&x_2\oplus x_1)\oplus (x_4\&x_3\oplus x_2)$	$(x_4\&x_3\oplus x_2)\oplus (x_4\oplus x_3)$	$\overline{x_3}$

一些运算技巧(只针对1bit)

• &和^{有优先级之分，即a&b}c != a^{c&b，且&优先级高于}
• &和^都满足交换律
• a^1 = ~a
• a^0 = a
• a^a = 0

假设法

连续两数只有1位不同，4位格雷码只需设4遍各位不同，证剩下的相同

1. 设第一位不同

有:

$$\overline{x_1}=x_4\&x_3\&x_2\oplus x_1$$
$\therefore x_4\&x_3\&x_2=1$
$\therefore x_4=x_3=x_2=1$

得:

	第二位	第三位	第四位
g(x)	$\overline{x_1}$	0	0
g(x+1)	$\overline{x_1}$	0	0

2. 设第二位不同

有:

$$\overline{x_1\oplus x_2}=(x_4\&x_3\&x_2\oplus x_1)\oplus (x_4\&x_3\oplus x_2)$$
$\therefore \overline{x_1\oplus x_2}=(x_4\&x_3\&x_2)\oplus (x_4\&x_3)\oplus (x_1\oplus x_2)$
$\therefore (x_4\&x_3\&x_2)\oplus (x_4\&x_3)=1$
$\therefore x_4\&x_3\&x_2=\overline{x_4\&x_3}$
$\therefore x_2=0,x_4\&x_3=1$
$\therefore x_2=0,x_4=x_3=1$

得:

	第一位	第三位	第四位
g(x)	$x_1$	1	0
g(x+1)	$x_1$	1	0

3. 设第三位不同

有:

$$\overline{x_3\&x_2}=(x_4\&x_3\oplus x_2)\oplus (x_4\oplus x_3)$$
$\therefore \overline{x_2\oplus x_3}=(x_4\&x_3\oplus x_4)\oplus (x_2\oplus x_3)$
$\therefore x_4\&x_3\oplus x_4=1$
若$x_3=1$, 有$x_4\oplus x_4=1$, 显然不可能
$\therefore x_3=0,x_4=1$

得:

	第一位	第二位	第四位
g(x)	$x_1$	$x_1\oplus x_2$	1
g(x+1)	$x_1$	$x_1\oplus x_2$	1

4. 设第四位不同

有:

$$x_3\oplus x_4=x_3$$
$\therefore x_4=0$

得:

	第一位	第二位	第三位
g(x)	$x_1$	$x_1\oplus x_2$	$x_2\oplus x_3$
g(x+1)	$x_1$	$x_1\oplus x_2$	$x_2\oplus x_3$

后记

1. 鉴于本人愚钝，暂时未想出容易理解、容易推广的证明方法。而且只是证明连续性，还是不知道连续的原因
2. markdown数学公式中^符号是怎么打出来的，虚心求教