登录
搜索: a000375-编号:a00037五
    排序:关联|参考文献||被改进的|创建     格式:长的|短的|数据
Topswops:实现的卡排列数A000375号(n) ●●●●。
+20
1
1, 1, 2, 2, 1, 5, 2, 1, 1, 1, 1, 1, 1, 4, 6, 1, 2, 1, 4
抵消
1,3
参考文献
D.E.Knuth,TAOCP,第7.2.1.2节,问题107-109。
链接
Kento Kimura、Atsuki Takahashi、Tetsuya Araki和Kazuyuki Amano,18和19张卡上Topswop的最大步数,arXiv:2103.08346[加拿大国防部],2021年。
Yuichi Komano和Takaaki Mizuki,Topswop的物理零知识证明协议,国际会议信息。第二节:实践与经验(ISPEC 2022)。科学。图书系列(LNCS第13620卷),查姆施普林格,537-553。
交叉参考
囊性纤维变性。A000375号.
关键词
非n,更多
作者
N.J.A.斯隆2006年10月15日
扩展
使用中的注释添加了a(17)=2A000375号来自Quan T.Nguyen,William Fahle;通过莫里茨·弗兰肯斯坦2010年11月27日
Kimura等人的a(18)-a(19)增加了安德烈·扎博洛茨基2021年3月24日
状态
经核准的
顶牌(2):从洗牌n张标有1..n的牌开始。如果顶牌是m,则颠倒前m张牌的顺序。重复上述步骤,直到1到达顶部,然后停止。假设现在对整个数据组进行了排序(如果没有,则丢弃此案例)。a(n)是1到达顶部之前的最大步数。
+10
0, 1, 2, 4, 7, 10, 16, 22, 30, 38, 51, 63, 80, 101, 112, 130, 159, 191, 207, 231
抵消
1,3
评论
另请参见A000375号,这是此问题的主要条目。
来自的评论约书亚·祖克2007年1月24日:(开始)
对于一些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)。(结束)
来自的评论莫里茨·弗兰肯斯坦,2011年4月16日:(开始)
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(结束)
参考文献
D.E.Knuth,TAOCP,第7.2.1.2节,问题107-109。
链接
琳达·莫拉莱斯和哈尔·苏德伯勒,Topswops的二次下界《理论计算机科学》,第411卷,第44-46期,2010年10月25日,第3965-3970页。
黄体脂酮素
(Python)
定义a(n):#参见A000375号对于ts
P中d的返回最大值(ts(d,var=2)(范围(1,n+1)))
打印([a(n)代表范围(1,11)中的n])#迈克尔·布拉尼基2020年12月11日
交叉参考
囊性纤维变性。A000375号,174498英镑.
关键词
非n,坚硬的,美好的,更多
作者
比尔·布莱维特,Mike Toepke[mtoepke(AT)microsoft.com]
扩展
a(14)-a(15)摘自James Kilfiger(mapdn(AT)csv.warwick.ac.uk),1997年7月
a(16)-a(17)来自威廉·雷克斯·马歇尔2001年3月28日
定义由澄清富兰克林·T·亚当斯-沃特斯2007年1月24日
a(18)来自Quan T.Nguyen,William Fahle(tuongquan.Nguyen(AT)utdallas.edu),2010年10月21日
a(1)=0前面加马克斯·阿列克谢耶夫2010年11月18日
a(19)来自莫里茨·弗兰肯斯坦2010年12月14日
a(20)来自莫里茨·弗朗肯斯坦2011年4月16日
状态
经核准的

搜索在0.040秒内完成