洗牌问题——偶数张扑克牌，分成两等份， 洗牌多少次回到原来顺序？

前几日在知乎上看到这个问题 求助：用java写出算法：54张扑克，分成上下两等份有规律的洗牌，多少次可以返回初始值？, 感觉所有回答都不够简洁优雅，于是在网上搜索资料，找到这篇论文，该论文证明了如果第一堆在上，那么洗牌次数为2(mod 2n - 1), 也就是说洗牌次数等于使得$2^k \equiv 1(mod 2n - 1)$成立的k。根据群论，因为2与2n - 1互素，所以$2 \in Z{_{2n - 1}^*}$， 所以k必然存在且k的最小值等于$|\langle2\rangle$ 。

python算法实现

#!/usr/bin/env python
# coding=utf-8

def shuffle(n):
    count = 1
    a = 2
    while a != 1:
        a = a * 2 % (n - 1)
        count += 1
    print "{} 张扑克，需要洗牌{}次才能返回初始值".format(n, count)

运行结果

In [23]: for n in range(4, 53, 2):
   ....:     shuffle(n)
   ....:     
4 张扑克，需要洗牌2次才能返回初始值
6 张扑克，需要洗牌4次才能返回初始值
8 张扑克，需要洗牌3次才能返回初始值
10 张扑克，需要洗牌6次才能返回初始值
12 张扑克，需要洗牌10次才能返回初始值
14 张扑克，需要洗牌12次才能返回初始值
16 张扑克，需要洗牌4次才能返回初始值
18 张扑克，需要洗牌8次才能返回初始值
20 张扑克，需要洗牌18次才能返回初始值
22 张扑克，需要洗牌6次才能返回初始值
24 张扑克，需要洗牌11次才能返回初始值
26 张扑克，需要洗牌20次才能返回初始值
28 张扑克，需要洗牌18次才能返回初始值
30 张扑克，需要洗牌28次才能返回初始值
32 张扑克，需要洗牌5次才能返回初始值
34 张扑克，需要洗牌10次才能返回初始值
36 张扑克，需要洗牌12次才能返回初始值
38 张扑克，需要洗牌36次才能返回初始值
40 张扑克，需要洗牌12次才能返回初始值
42 张扑克，需要洗牌20次才能返回初始值
44 张扑克，需要洗牌14次才能返回初始值
46 张扑克，需要洗牌12次才能返回初始值
48 张扑克，需要洗牌23次才能返回初始值
50 张扑克，需要洗牌21次才能返回初始值
52 张扑克，需要洗牌8次才能返回初始值

如果洗牌时第二堆在上，那么洗牌次数就是2(mod 2n + 1)
python算法实现

#!/usr/bin/env python
# coding=utf-8

def shuffle(n):
    count = 1
    a = 2
    while a != 1:
        a = a * 2 % (n + 1)
        count += 1
    print "{} 张扑克，需要洗牌{}次才能返回初始值".format(n, count)

运行结果

for i in range(4, 53, 2):
    somer.shuffle(i)
   ....:     
4 张扑克，需要洗牌4次才能返回初始值
6 张扑克，需要洗牌3次才能返回初始值
8 张扑克，需要洗牌6次才能返回初始值
10 张扑克，需要洗牌10次才能返回初始值
12 张扑克，需要洗牌12次才能返回初始值
14 张扑克，需要洗牌4次才能返回初始值
16 张扑克，需要洗牌8次才能返回初始值
18 张扑克，需要洗牌18次才能返回初始值
20 张扑克，需要洗牌6次才能返回初始值
22 张扑克，需要洗牌11次才能返回初始值
24 张扑克，需要洗牌20次才能返回初始值
26 张扑克，需要洗牌18次才能返回初始值
28 张扑克，需要洗牌28次才能返回初始值
30 张扑克，需要洗牌5次才能返回初始值
32 张扑克，需要洗牌10次才能返回初始值
34 张扑克，需要洗牌12次才能返回初始值
36 张扑克，需要洗牌36次才能返回初始值
38 张扑克，需要洗牌12次才能返回初始值
40 张扑克，需要洗牌20次才能返回初始值
42 张扑克，需要洗牌14次才能返回初始值
44 张扑克，需要洗牌12次才能返回初始值
46 张扑克，需要洗牌23次才能返回初始值
48 张扑克，需要洗牌21次才能返回初始值
50 张扑克，需要洗牌8次才能返回初始值
52 张扑克，需要洗牌52次才能返回初始值

复杂度为为$\large\theta(洗牌次数)$，这是我目前得到的最快算法。