%I#28 2022年5月16日21:13:09
%S 1,2,4,8,16,5,32,10,64,3,20,21128,6,40,42256,12,13,80,84,85512,24,
%电话:261601681701024,48,52,533203363403412048,96,17104106640,
%电话:6721136806824096192,34208,352122131280134422613602271364
%N宽度-Collatz树的第一次遍历,每个节点的奇数子节点先于偶数子节点遍历。如果Collatz 3n+1猜想为真,则这是所有正整数的置换。
%C来自Wolfdieter Lang_,2013年11月26日:(开始)
%C本表第l行的长度为A005186(l)。
%C从标为8的顶点开始的(不完全)三元子树在级别l=3处遵循规则:(i)三个可能的边(分支)标签是l、V、R(用于左、垂直和右)。(ii)如果顶点标签m与4模6同余,则出度为2,标签L的边以标签(m-1)/3结束,标签R的边以标记2*m结束。否则(如果顶点标签m与0、1、2、3、5(mod 6)同余),出度为1,标签V的边以标号2*m的顶点结束。请参阅Python程序。
%C在以节点标签8开始的树的顶部,放置一元树(出度1)和顶点标签1、2和4,其中每个边标签为V。在级别l=0处,1标记Collatz树CT的根。请注意,级别l=2处的4具有出度1,而不是2,即使4==4(mod 6)。需要此异常,因为否则L分支将导致整个CT树的重复。
%C或者,可以使用上述给定规则,在0级启动顶点标签为4的Collatz树,但要切断从2级之后的4开始的L分支(标记为2的顶点的越界为0)。如果没有这个切割,4将再次出现,整棵树将重复出现。
%C CT(l,k)==4(mod 6),l>=3的顶点标签数为A176866(l+1)。
%C从l=4级标签16开始的子树分支结构中左右对称的l=16级(忽略顶点标签)不再存在,因为行长度A005186(16)=29是奇数。(结束)
%H T.D.Noe,n表,n=0..3517的a(n)</a>
%e摘自Wolfdieter Lang,2013年11月26日:(开始)
%e在表CT的开头,将l>=4的4(mod 6)顶点标签CT(l,k)和外缘l和R放在括号中。其他标签的出度为1,边缘标签为V)。从顶点16开始,用一个条分隔左子树和右子树。
%电子邮件1 2 3 4 5 6 7 8 9 10。。。
%电子0:1
%e 1:2
%电子2:4
%电子3:8
%e 4:(16)
%电子版5:5|32
%e 6:(10)|(64)
%电子邮箱7:3 20 | 21 128
%e 8:6(40)| 42(256)
%电子邮箱9:12 13 80 | 84 85 512
%电子10:24 26(160)|168 170(1024)
%电子11:48(52)53 320 | 336(340)341 2048
%电子邮箱12:96 17 104(106)(640)|672 113 680(682)(4096)
%e。。。
%e l=13:192(34)(208)35 212 213 1280 | 1344(226)(1360)227 1364 1365 8192。
%e l=14:384 11 68 69 416(70)(424)426(2560)| 2688 75 452 453 2720(454)(2728)2730(16384)。
%e l=15:768(22)(136)138(832)23 140 141 848 852 853 5120 | 5376 150(904)906(5440)151 908 909 5456 5460 5461 32768。
%e当水平l=15时,左右4(mod 6)结构首次不对称。这导致下一级l=16的顶点数为12+3|12+2=15|14,总共29个(奇数),打破了左右分支的对称性。
%e上述注释中提到的替代Collatz树开始了(此处标记为2的顶点现在超出了0度):
%电子邮件1 2 3 4 5 6 7 8。。。
%e 0:(4)
%e 1:1 8
%e 2:2(16)
%e 3:5 32
%e 4:(10)(64)
%电子5:3 20 21 128
%e 6:6(40)42(256)
%电子邮箱7:12 13 80 84 85 512
%电子8:24 26(160)168 170(1024)
%电子邮箱9:48(52)53 320 336(340)341 2048
%e。。。(结束)
%o(Python)
%o定义A088975():
%o产量1
%o对于A088975()中的x:
%o如果x>4且x%6==4:
%o产量(x-1)/3
%o产量2*x
%Y参考A127824(对相同深度的术语进行排序)。A005186(行长),A176866(4个(mod 6)标签的数量,l>=3)。
%K easy、tabf、nonn
%0、2
%2003年10月31日,阿维德·艾普斯坦
%E关键字选项卡,注释CT(l,k)和两个交叉引用由_Wolfdieter Lang_添加,2013年11月26日