登录
Collatz树的广度第一次遍历,每个节点的奇数子节点先于偶数子节点遍历。如果Collatz 3n+1猜想为真,则这是所有正整数的置换。
14

%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日