对于一些n,有一些最长的链最终被排序,而另一些则没有排序,比如n=6,有以下四个链最终被分类,还有一个链没有排序:
以下示例使用0到n-1,而不是1到n。
((#(4 5 3 0 2 1) #(2 0 3 5 4 1) #(3 0 2 5 4 1) #(5 2 0 3 4 1) #(1 4 3 0 2 5) #(4 1 3 0 2 5) #(2 0 3 1 4 5) #(3 0 2 1 4 5) #(1 2 0 3 4 5) #(2 1 0 3 4 5) #(0 1 2 3 4 5))
(#(3 4 5 1 0 2) #(1 5 4 3 0 2) #(5 1 4 3 0 2) #(2 0 3 4 1 5) #(3 0 2 4 1 5) #(4 2 0 3 1 5) #(1 3 0 2 4 5) #(3 1 0 2 4 5) #(2 0 1 3 4 5) #(1 0 2 3 4 5) #(0 1 2 3 4 5))
(#(3 0 4 1 5 2) #(1 4 0 3 5 2) #(4 1 0 3 5 2) #(5 3 0 1 4 2) #(2 4 1 0 3 5) #(1 4 2 0 3 5) #(4 1 2 0 3 5) #(3 0 2 1 4 5) #(1 2 0 3 4 5) #(2 1 0 3 4 5) #(0 1 2 3 4 5))
(#(2 5 4 0 3 1) #(4 5 2 0 3 1) #(3 0 2 5 4 1) #(5 2 0 3 4 1) #(1 4 3 0 2 5) #(4 1 3 0 2 5) #(2 0 3 1 4 5) #(3 0 2 1 4 5) #(1 2 0 3 4 5) #(2 1 0 3 4 5) #(0 1 2 3 4 5)))
(#(3 0 5 4 1 2) #(4 5 0 3 1 2) #(1 3 0 5 4 2) #(3 1 0 5 4 2) #(5 0 1 3 4 2) #(2 4 3 1 0 5) #(3 4 2 1 0 5) #(1 2 4 3 0 5) #(2 1 4 3 0 5) #(4 1 2 3 0 5) #(0 3 2 1 4 5))
对于某些n,例如n=12,最长的链都没有排序(因此A000375号和A000376号不同)。我对n=12从排序后向后进行了详尽的搜索,发现63是最长的链,从这四个链中的一个开始:
#(9 10 6 0 2 7 1 8 11 5 3 4)
#(9 10 6 0 1 2 7 8 11 5 3 4)
#(7 8 11 5 0 6 10 9 2 1 3 4)
#(5 0 1 7 10 3 11 8 9 6 2 4)
但是,如果你不假设它最终排序,65是可以实现的。(结束)
来自Quan T.Nguyen,William Fahle(tuongquan.Nguyen(AT)utdallas.edu)的评论,2010年10月21日:(开始)
(6 14 9 2 15 8 1 3 4 12 18 5 10 13 16 17 11 7)是长度18的唯一置换,在进行身份置换(即按排序顺序)之前,它需要191个步骤(也称为最长翼置换)的“上摆动移动”。
对于n=17,(2 10 15 11 7 14 5 16 6 4 17 13 1 3 8 9 12)是唯一一个最长的有翼排列(或卡片顺序),它在按排序顺序终止之前需要159步“上摆动移动”,即(1 2 3 4 5 6 7 8 9 10 11 13 14 15 17)。(结束)
n=18->191
6 14 9 2 15 8 1 3 4 12 18 5 10 13 16 17 11 7
n=19->207
2 3 7 8 4 19 10 15 17 6 1 11 5 18 12 9 13 14 16
3 7 2 8 4 19 10 15 17 6 1 11 5 18 12 9 13 14 16
n=20->231
5 20 6 3 2 15 10 1 16 9 18 14 19 7 12 17 8 11 13 4
3 20 5 6 2 15 10 1 16 9 18 14 19 7 12 17 8 11 13 4
5 20 2 6 3 15 10 1 16 9 18 14 7 12 17 8 11 13(结束)