Y 序列 vs TBMS:修订间差异
来自Googology Wiki
更多操作
小无编辑摘要 |
修正公式格式 |
||
第3行: | 第3行: | ||
序数行BMS规则:使用<math>n^\alpha</math>表示连续的<math>\alpha</math>行n.位于后继序数行的项的父项、祖先项定义同[[Bashicu矩阵|BMS]];位于极限序数行的项的父项列标为同一列、行数小于它的项父项列标的下确界.LNZ(末列最后一个非零项,Last non zero)位于后继序数行时,展开同BMS;LNZ位于极限序数行时,不展开,取末列行标的基本列。 | 序数行BMS规则:使用<math>n^\alpha</math>表示连续的<math>\alpha</math>行n.位于后继序数行的项的父项、祖先项定义同[[Bashicu矩阵|BMS]];位于极限序数行的项的父项列标为同一列、行数小于它的项父项列标的下确界.LNZ(末列最后一个非零项,Last non zero)位于后继序数行时,展开同BMS;LNZ位于极限序数行时,不展开,取末列行标的基本列。 | ||
=== Part 1 === | |||
* <math>(0)(1^\omega)=Y(1,3)</math> | |||
* <math>(0)(1^\omega)(0)(1^\omega)=Y(1,3,1,3)</math> | |||
* <math>(0)(1^\omega)(1)=Y(1,3,2)</math> | |||
* <math>(0)(1^\omega)(1)(2)=Y(1,3,2,3)</math> | |||
* <math>(0)(1^\omega)(1)(2,1)=Y(1,3,2,4)</math> | |||
* <math>(0)(1^\omega)(1)(2,1)(3,1)=Y(1,3,2,4,6)</math> | |||
* <math>(0)(1^\omega)(1)(2,1)(3,2)=Y(1,3,2,4,7)</math> | |||
* <math>(0)(1^\omega)(1)(2,1,1)=Y(1,3,2,4,8)</math> | |||
* <math>(0)(1^\omega)(1)(2,1,1,1)=Y(1,3,2,4,8,16)</math> | |||
* <math>(0)(1^\omega)(1)(2,1^\omega)=Y(1,3,2,5)</math> | |||
* <math>(0)(1^\omega)(1)(2,1^\omega)(1)=Y(1,3,2,5,2)</math> | |||
* <math>(0)(1^\omega)(1)(2,1^\omega)(1)(2,1^\omega)=Y(1,3,2,5,2,5)</math> | |||
* <math>(0)(1^\omega)(1)(2,1^\omega)(2)=Y(1,3,2,5,3)</math> | |||
* <math>(0)(1^\omega)(1)(2,1^\omega)(2)(3,1)=Y(1,3,2,5,3,5)</math> | |||
* <math>(0)(1^\omega)(1)(2,1^\omega)(2)(3,1,1)=Y(1,3,2,5,3,5,9)</math> | |||
* <math>(0)(1^\omega)(1)(2,1^\omega)(2)(3,1^\omega)=Y(1,3,2,5,3,6)</math> | |||
* <math>(0)(1^\omega)(1)(2,1^\omega)(2)(3,1^\omega)(3)(4,1^\omega)=Y(1,3,2,5,3,6,4,7)</math> | |||
* <math>(0)(1^\omega)(1,1)=Y(1,3,2,5,4)</math> | |||
* <math>(0)(1^\omega)(1,1)(2)=Y(1,3,2,5,4,5)</math> | |||
* <math>(0)(1^\omega)(1,1)(2,1)=Y(1,3,2,5,4,6)</math> | |||
* <math>(0)(1^\omega)(1,1)(2,2)=Y(1,3,2,5,4,7)</math> | |||
* <math>(0)(1^\omega)(1,1)(2,2,1)=Y(1,3,2,5,4,8)</math> | |||
* <math>(0)(1^\omega)(1,1)(2,2,1,1)=Y(1,3,2,5,4,8,16)</math> | |||
* <math>(0)(1^\omega)(1,1)(2,2,1^\omega)=Y(1,3,2,5,4,9)</math> | |||
* <math>(0)(1^\omega)(1,1)(2,2,1^\omega)(2,2)=Y(1,3,2,5,4,9,7)</math> | |||
* <math>(0)(1^\omega)(1,1)(2,2,1^\omega)(2,2)(3,3)=Y(1,3,2,5,4,9,7,11)</math> | |||
* <math>(0)(1^\omega)(1,1)(2,2,1^\omega)(2,2)(3,3,1)=Y(1,3,2,5,4,9,7,12)</math> | |||
* <math>(0)(1^\omega)(1,1)(2,2,1^\omega)(2,2)(3,3,1,1)=Y(1,3,2,5,4,9,7,12,21)</math> | |||
* <math>(0)(1^\omega)(1,1)(2,2,1^\omega)(2,2)(3,3,1^\omega)=Y(1,3,2,5,4,9,7,13)</math> | |||
* <math>(0)(1^\omega)(1,1,1)=Y(1,3,2,5,4,9,8)</math> | |||
* <math>(0)(1^\omega)(1,1,1)(2,2,2)=Y(1,3,2,5,4,9,8,15)</math> | |||
* <math>(0)(1^\omega)(1,1,1)(2,2,2,1)=Y(1,3,2,5,4,9,8,16)</math> | |||
* <math>(0)(1^\omega)(1,1,1)(2,2,2,1^\omega)=Y(1,3,2,5,4,9,8,17)</math> | |||
* <math>(0)(1^\omega)(1,1,1,1)=Y(1,3,2,5,4,9,8,17,16)</math> | |||
* <math>(0)(1^\omega)(1^\omega)=Y(1,3,3)</math> | |||
* <math>(0)(1^\omega)(1^\omega)(1^\omega)=Y(1,3,3,3)</math> | |||
* <math>(0)(1^\omega)(2)=Y(1,3,4)</math> | |||
=== Part 2 === | |||
* <math>(0)(1^\omega)(2)(1)=Y(1,3,4,2)</math> | |||
* <math>(0)(1^\omega)(2)(1)(2,1)=Y(1,3,4,2,4)</math> | |||
* <math>(0)(1^\omega)(2)(1)(2,1^\omega)=Y(1,3,4,2,5)</math> | |||
* <math>(0)(1^\omega)(2)(1)(2,1^\omega)(2)=Y(1,3,4,2,5,3)</math> | |||
* <math>(0)(1^\omega)(2)(1)(2,1^\omega)(2)(3,1^\omega)=Y(1,3,4,2,5,3,6)</math> | |||
* <math>(0)(1^\omega)(2)(1)(2,1^\omega)(2,1)=Y(1,3,4,2,5,4)</math> | |||
* <math>(0)(1^\omega)(2)(1)(2,1^\omega)(2,1)(3,2,1^\omega)=Y(1,3,4,2,5,4,9)</math> | |||
* <math>(0)(1^\omega)(2)(1)(2,1^\omega)(2,1,1)=Y(1,3,4,2,5,4,9,8)</math> | |||
* <math>(0)(1^\omega)(2)(1)(2,1^\omega)(2,1^\omega)=Y(1,3,4,2,5,5)</math> | |||
* <math>(0)(1^\omega)(2)(1)(2,1^\omega)(3)=Y(1,3,4,2,5,6)</math> | |||
* <math>(0)(1^\omega)(2)(1)(2,1^\omega)(3)(2)=Y(1,3,4,2,5,6,3)</math> | |||
* <math>(0)(1^\omega)(2)(1)(2,1^\omega)(3)(2)(3,1^\omega)(4)=Y(1,3,4,2,5,6,3,6,7)</math> | |||
* <math>(0)(1^\omega)(2)(1,1)=Y(1,3,4,2,5,6,4)</math> | |||
* <math>(0)(1^\omega)(2)(1,1)(2,2)=Y(1,3,4,2,5,6,4,7)</math> | |||
* <math>(0)(1^\omega)(2)(1,1)(2,2,1)=Y(1,3,4,2,5,6,4,8)</math> | |||
* <math>(0)(1^\omega)(2)(1,1)(2,2,1^\omega)=Y(1,3,4,2,5,6,4,9)</math> | |||
* <math>(0)(1^\omega)(2)(1,1)(2,2,1^\omega)(3)=Y(1,3,4,2,5,6,4,9,10)</math> | |||
* <math>(0)(1^\omega)(2)(1,1)(2,2,1^\omega)(3)(2,2)=Y(1,3,4,2,5,6,4,9,10,7)</math> | |||
* <math>(0)(1^\omega)(2)(1,1)(2,2,1^\omega)(3)(2,2)(3,3,1^\omega)(4)=Y(1,3,4,2,5,6,4,9,10,7,13,14)</math> | |||
* <math>(0)(1^\omega)(2)(1,1,1)=Y(1,3,4,2,5,6,4,9,10,8)</math> | |||
* <math>(0)(1^\omega)(2)(1,1,1)(2,2,2,1)=Y(1,3,4,2,5,6,4,9,10,8,16)</math> | |||
* <math>(0)(1^\omega)(2)(1,1,1)(2,2,2,1^\omega)=Y(1,3,4,2,5,6,4,9,10,8,17)</math> | |||
* <math>(0)(1^\omega)(2)(1,1,1)(2,2,2,1^\omega)(3)=Y(1,3,4,2,5,6,4,9,10,8,17,18)</math> | |||
* <math>(0)(1^\omega)(2)(1,1,1)(2,2,2,1^\omega)(3)(2,2,2)=Y(1,3,4,2,5,6,4,9,10,8,17,18,15)</math> | |||
* <math>(0)(1^\omega)(2)(1,1,1,1)=Y(1,3,4,2,5,6,4,9,10,8,17,18,16)</math> | |||
* <math>(0)(1^\omega)(2)(1^\omega)=Y(1,3,4,2,5,6,5)</math> | |||
* <math>(0)(1^\omega)(2)(1^\omega)(2)=Y(1,3,4,2,5,6,5,6)</math> | |||
* <math>(0)(1^\omega)(2)(2)=Y(1,3,4,2,5,6,6)</math> | |||
* <math>(0)(1^\omega)(2)(3,1)=Y(1,3,4,2,5,6,8)</math> | |||
* <math>(0)(1^\omega)(2)(3,1,1)=Y(1,3,4,2,5,6,8,12)</math> | |||
* <math>(0)(1^\omega)(2)(3,1^\omega)=Y(1,3,4,2,5,6,9)</math> | |||
* <math>(0)(1^\omega)(2)(3,1^\omega)(4)=Y(1,3,4,2,5,6,9,10)</math> | |||
* <math>(0)(1^\omega)(2)(3,1^\omega)(4)(5,1^\omega)=Y(1,3,4,2,5,6,9,10,13)</math> | |||
* <math>(0)(1^\omega)(2,1)=Y(1,3,4,2,5,7)</math> | |||
=== Part 3 === | |||
* <math>(0)(1^\omega)(2,1)(1)=Y(1,3,4,2,5,7,2)</math> | |||
* <math>(0)(1^\omega)(2,1)(1)(2,1^\omega)=Y(1,3,4,2,5,7,2,5) | |||
后续分析参见[[Y序列 VS TBMS Part2]]、[[Y序列 VS TBMS Part3]] | 后续分析参见[[Y序列 VS TBMS Part2]]、[[Y序列 VS TBMS Part3]] | ||
[[分类:分析]] | [[分类:分析]] |