康托展开和逆康托展开

       康托展开是一个全排列到一个自然数的双射，常用于构建哈希表时的空间压缩。 康托展开的实质是计算当前排列在所有由小到大全排列中的顺序，因此是可逆的。  

                                         原理介绍

康托展开运算

其中, 为整数,并且  。

 表示原数的第i位在当前未出现的元素中是排在第几个（难以理解?）

下面通俗易懂

简单点说就是，判断这个数在其各个数字全排列中从小到大排第几位。

比如 132，在1、2、3的全排列中排第2位。

康托展开的逆运算(难以理解?)

既然康托展开是一个双射，那么一定可以通过康托展开值求出原排列，即可以求出n的全排列中第x大排列。

如n=5,x=96时：

首先用96-1得到95，说明x之前有95个排列.(将此数本身减去1)用95去除4! 得到3余23，说明有3个数比第1位小，所以第一位是4.用23去除3! 得到3余5，说明有3个数比第2位小，所以是4，但是4已出现过，因此是5.用5去除2!得到2余1，类似地，这一位是3.用1去除1!得到1余0，这一位是2.最后一位只能是1.所以这个数是45321。

按以上方法可以得出通用的算法。 

                                  康托展开和逆康托展开

康托展开举例

再举个例子说明。
　　在   5个数的排列组合中，计算 34152的康托展开值。

       首位是3，则小于3的数有两个，为1和2， ，则首位小于3的所有排列组合为 

       第二位是4，则小于4的数有两个，为1和2，注意这里3并不能算，因为3已经在第一位，所以其实计算的是在第二位之后小于4的个数。因此    。

       第三位是1，则在其之后小于1的数有0个，所以   。

       第四位是5，则在其之后小于5的数有1个，为2，所以    。

       最后一位就不用计算啦，因为在它之后已经没有数了，所以  固定为0

根据公式：

       所以比34152小的组合有61个，即34152是排第62。

通俗易懂例子

比如2143 这个数，求其展开：
从头判断，至尾结束,
① 比 2（第一位数）小的数有多少个->1个就是1，1*3!
② 比 1（第二位数）小的数有多少个->0个0*2!
③ 比 4（第三位数）小的数有多少个->3个就是1,2,3，但是1,2之前已经出现，所以是  1*1!
将所有乘积相加=7
比该数小的数有7个，所以该数排第8的位置。
1234  1243  1324  1342  1423  1432
2134  2143  2314  2341  2413  2431
3124  3142  3214  3241  3412  3421
4123  4132  4213  4231  4312  4321

代码实现

static const int FAC[] = {1, 1, 2, 6, 24, 120, 720, 5040, 40320, 362880};   // 阶乘
int cantor(int *a, int n)
{
    int x = 0;
    for (int i = 0; i < n; ++i) {
        int smaller = 0;  // 在当前位之后小于其的个数
        for (int j = i + 1; j < n; ++j) {
            if (a[j] < a[i])
                smaller++;
        }
        x += FAC[n - i - 1] * smaller; // 康托展开累加
    }
    return x;  // 康托展开值
}

逆康托展开举例

一开始已经提过了，康托展开是一个全排列到一个自然数的双射，因此是可逆的。即对于上述例子，在   给出61可以算出起排列组合为34152。由上述的计算过程可以容易的逆推回来，具体过程如下：  

       用 61 / 4! = 2余13，说明   ,说明比首位小的数有2个，所以首位为3。

       用 13 / 3! = 2余1，说明  ，说明在第二位之后小于第二位的数有2个，所以第二位为4。

       用 1 / 2! = 0余1，说明  ，说明在第三位之后没有小于第三位的数，所以第三位为1。

       用 1 / 1! = 1余0，说明  ，说明在第二位之后小于第四位的数有1个，所以第四位为5。

       最后一位自然就是剩下的数2。

       通过以上分析，所求排列组合为 34152。

通俗易懂例子

假设求4位数中第19个位置的数字。
① 19减去1  → 18
② 18 对3！作除法 → 得3余0
③  0对2！作除法 → 得0余0
④  0对1！作除法 → 得0余0
据上面的可知：
我们第一位数（最左面的数），比第一位数小的数有3个，显然 第一位数为→ 4
比第二位数小的数字有0个，所以 第二位数为→1
比第三位数小的数字有0个，因为1已经用过，所以第三位数为→2
第四位数剩下 3
该数字为  4123  (正解)

代码实现

static const int FAC[] = {1, 1, 2, 6, 24, 120, 720, 5040, 40320, 362880};   // 阶乘
  
//康托展开逆运算
void decantor(int x, int n)
{
    vector<int> v;  // 存放当前可选数
    vector<int> a;  // 所求排列组合
    for(int i=1;i<=n;i++)
        v.push_back(i);
    for(int i=n;i>=1;i--)
    {
        int r = x % FAC[i-1];
        int t = x / FAC[i-1];
        x = r;
        sort(v.begin(),v.end());// 从小到大排序
        a.push_back(v[t]);      // 剩余数里第t+1个数为当前位
        v.erase(v.begin()+t);   // 移除选做当前位的数
    }
}

                                              用途

      

维基：n位（0~n-1）全排列后，其康托展开唯一且最大约为n!，因此可以由更小的空间来储存这些排列。由公式可将X逆推出对应的全排列。

它可以应用于哈希表中空间压缩，

而且在搜索某些类型题时，将VIS数组量压缩。比如:八数码、魔板。