检验过的
已批准
提出
编辑
如果n位于卡尔·怀特豆茎的无限树干中(即..,在里面A179016号),否则为达到豆茎有限分支中最远叶子所需的1+步数。
如果2013年2月20日A079559号(n)=10,a(n)=1;否则,如果A213719型(n) =1,a(n)=0;否则a(n)=1+max(a(A213723型(n) ),a(A213724型(n) ),
(带有memoization-macro definec的方案):(definec(A213725型n) (第二((不(零?(A213720型A079559号n个)))))1) (不是(零(A213719型n) )0)(其他(1+(最大)(A213725型(A213723型n) )(A213725型(A213724型n) ))
安蒂·卡图恩:将删除的特征函数A213720的引用更改为其二进制补码A079559。