设 S = {x1, x2, x3, .... , xn} 为一个n元正整数集合:
y = (a * x + b) mod n 为排列的一个生成函数,其中 a 与 n 互素,并且a, b取值于S中, b的取值任意且个数为 |S| 个 .
那么任取S中与n互素的一个数并赋值与a, 设与n互素的数有m个, 那么符合条件的a与b的组合数有m * | S | 个 .
任取m * | S |中的一个组合, 并令x依次取 x1, x2, x3, .... , xn并带入到生成函数中生成对应的y值序列, 该y值序列就是生成的一个排列, 所以这样的排列共可以生成 m * | S |个 .
这就达到了生成有限个排列的目的.
算法实现也是非常简单, 感兴趣的读者可以试着尝试实现一下.