1.题目
如何找出字符串的字典序全排列的第N种？（字符串全排列的变种）
2.思路
主要想通过这题，介绍一下康托展开式。基于康托展开式可以解决这个问题。
一般的解法：①求出所有全排列 ②按照字典序排个序 ③取第N个
3.康托展开与逆展开
康托展开是一个全排列到一个自然数的双射，常用于构建哈希表时的空间压缩。 康托展开的实质是计算当前排列在所有由小到大全排列中的顺序，因此是可逆的。（引用）
3.1公式
X=a[n]*(n-1)!+a[n-1]*(n-2)!+…+a[i]*(i-1)!+…+a[1]*0!
其中,a[i]为整数,并且0<=a[i]<i,1<=i<=n。
a[i]的意义参见举例中的解释部分
3.2举例
例如，3 5 7 4 1 2 9 6 8 展开为 98884。因为X=2*8!+3*7!+4*6!+2*5!+0*4!+0*3!+2*2!+0*1!+0*0!=98884.
解释：
排列的第一位是3，比3小的数有两个，以这样的数开始的排列有8!个，因此第一项为2*8!
排列的第二位是5，比5小的数有1、2、3、4，由于3已经出现，因此共有3个比5小的数，这样的排列有7!个，因此第二项为3*7!
以此类推，直至0*0!
伪代码实现
① Cantor(A, n) 求一个字符数组的康托值
Cantor(A, n)
for i← to n-
result ← result + Less(A[i]) * F[i]
return result
定义：
- A：待求康托值的字符数组
- n：字符数组长度，如公式中的n
- F：阶乘的结果集，如公式中(n-1)!、i!、2!、1!、0!
- Less：函数，求比自己小的数的个数，如公式中的a[i]的意义
②Less(n, set) 求比自己小的数的个数，公式中a[i]
Less(n, set)
for(m : set )
if m < n
count ← count+
add(set, n)
return n - count -
定义：
- n：待求比自己小的数
- set：存放已经出现过的数
- count：比3小的数有1,2，如果1,2在set中出现了，count就计数这个。
- 返回值：-1的目的是为了得到a[i]
3.3用途
显然，n位（0~n-1）全排列后，其康托展开唯一且最大约为n!，因此可以由更小的空间来储存这些排列。由公式可将X逆推出对应的全排列。
3.4康托展开的逆运算
既然康托展开是一个双射，那么一定可以通过康托展开值求出原排列，即可以求出n的全排列中第x大排列。
如n=5,x=96时：
- 首先用96-1得到95，说明x之前有95个排列.(将此数本身减去！)
- 用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.
伪代码实现
①ResolveCantor(A, X, n)：给第X种，求该全排列n的字符串
ResolveCantor(A, X, n)
for i← to n-
a ← X div F[i]
b ← X mod F[i]
A[i] ← Solve(a, visit)
X ← b
return A
定义：
- A：存储字符串的结果
- X：字典序全排列的X种（0,1,2,3,...），这个值是康托值
- n：字符数组长度，如康托公式中的n
- F：阶乘的结果集，如公式中(n-1)!、i!、2!、1!、0!
- Solve：函数，求某个输出字符
②Solve(a, visit)：求某个输出字符
Solve(a, visit)
while a is visited
a← a+
see a is visited or not
return a +
定义：
- a：康托公式中的a[i]
- visit：boolean数组，visit[a]表示a是否已经出现过了。
- 返回值：+1 为了构建出输出字符
如果用这个算法去求字符串的全排列，时间复杂度是O(n3)，优于递归算法的O(n!)。
3.5 Java代码实现
为了实现简单一些，实现部分采用的是int数组。
import java.util.HashSet;
import java.util.Set; public class Cantor { public static final int LEN = 3;
private static int[] f = new int[LEN];
private static Set<Integer> set = new HashSet<Integer>();
private static boolean[] visit = new boolean[LEN]; static {
int re = 1;
for (int i = 1; i < LEN; i++) {
re *= i;
f[LEN - 1 - i] = re;
}
f[LEN - 1] = 1;
for (int i = 0; i < LEN; i++) {
visit[i] = false;
}
System.out.println("F[0]: " + f[0]);
} public static void main(String[] args) {
int[] a = { 2, 1, 3 };
int n = a.length;
int x = cantor(a, n);
String str = "";
for (int i = 0; i < n; i++) {
str += "" + a[i];
}
System.out.println("src String: " + str);
System.out.println("cantor value: " + x);
int[] b = new int[LEN];
resolveCantor(b, x, n);
str = "";
for (int i = 0; i < n; i++) {
str += "" + b[i];
}
System.out.println("resolve cantor str: " + str);
} static int cantor(int[] a, int n) {
int result = 0;
for (int i = 0; i < n; i++) {
result += less(a[i]) * f[i];
}
return result;
} private static int less(int n) {
int count = 0;
for (Integer m : set) {
if (m < n)
count++;
}
set.add(n);
return n - count - 1;
} static int[] resolveCantor(int[] arr, int x, int n) {
int a, b;
for (int i = 0; i < n; i++) {
a = x / f[i];
b = x % f[i];
arr[i] = solve(a);
System.out.println("a: " + a + " b: " + b + " arr[i]: " + arr[i]);
x = b;
}
return arr;
} private static int solve(int a) {
boolean flag = true;
while (flag) {
if (visit[a] == false) {
visit[a] = true;
flag = false;
} else {
a++;
}
}
return a + 1;
}
}