TAOCP V4.F2 格雷码(2)

TAOCP V4.F2 格雷码(2)

        九链环问题(Chinese ring puzzle)。

1、预备知识，关于异或

      若F=a₀a₁．．．a_n-2a_n-1，那么，若发生a_j=1-a_j (0<=j<n) 这样的变化，则   F=1-F。

2、知识浏览

 

         1、为什么类型（b）的移动，将k变成k(2^j+1-1)？

            设环的状态为(a_n-1a_n-2...a₁a₀)₂，且g^-1( (a_n-1a_n-2...a₁a₀)₂ )=(b_n-1b_n-2...b₁b₀)₂=k。

     若a_i=0 (i<j)，且a_j=1。那么，经过类型（b）的移动，a_n-1a_n-2...a₁a₀变成：

                                   a_n-1a_n-2...!a_j+1...a₁a₀             （ !a_j+1为a_j+1取补 ）

            于是，由反转公式：b_j=a_ja_j+1．．．a_n-2a_n-1 知道，b_j+1...b₁b₀ 的所

有位均取补了。

 所以说：类型（b）的移动，将k变成k(2^j+1-1)。

        2、若g^-1( (a_n-1a_n-2...a₁a₀)₂ )=(b_n-1b_n-2...b₁b₀)₂=k，为什么最少k步且只要k步，就

可以解决九链环问题？

         我们只要证明：类型(a)、(b)的移动每次能且只能将k减少1。

         首先，(a)类移动与(b)类移动是互斥的：每次只有一种移动是朝目标而去的，另一

种移动是倒退，不可取。

         当k为奇数时，(a)类移动使k减少1。

         当k为偶数时，(b)类移动使k变成k(2^j+1-1)。

         k(2^j+1-1)最多可以将k减少多少？

         实际上，j+1等于k中含2的幂的最高次数，也就是等于k的二进制“直尺函数”。

         因此，k(2^j+1-1)最多可以将k减少1。      

            

二进制格雷码生成算法：