0RB2LA1RA_1LA2RB1RC_---1LB1LC

From BusyBeaverWiki
Revision as of 12:22, 7 December 2025 by Polygon (talk | contribs) (Analysis: Added analysis by Pascal Michel)
Jump to navigation Jump to search

0RB2LA1RA_1LA2RB1RC_1RZ1LB1LC (bbch) is the current BB(3,3) champion. It was discovered by Terry and Shawn Ligocki in November 2007.

It runs for 119,112,334,170,342,541 steps before halting and leaves 374,676,383 ones.

Analysis by Pascal Michel

Let C(n) = . . . 0 (A0) 2^n 0 . . .
Then we have:

. . . 0 (A0) 0 . . . 	--( 3 )--> 	C(1)
C(8k + 1) 	--( 112k^2 + 116k + 13 )--> 	C(14k + 3)
C(8k + 2) 	--( 112k^2 + 144k + 38 )--> 	C(14k + 7)
C(8k + 3) 	--( 112k^2 + 172k + 54 )--> 	C(14k + 8)
C(8k + 4) 	--( 112k^2 + 200k + 74 )--> 	C(14k + 9)
C(8k + 5) 	--( 112k^2 + 228k + 97 )--> 	. . . 0 1 (H1) 2^(14k+9) 0 . . .
C(8k + 6) 	--( 112k^2 + 256k + 139 )--> 	C(14k + 14)
C(8k + 7) 	--( 112k^2 + 284k + 169 )--> 	C(14k + 15)
C(8k + 8) 	--( 112k^2 + 312k + 203 )--> 	C(14k + 16)

So we have (in 34 transitions):

. . . 0 (A0) 0 . . . --( 3 )-->
C( 1 ) --( 13 )-->
C( 3 ) --( 54 )-->
C( 8 ) --( 203 )-->
C( 16 ) --( 627 )-->
C( 30 ) --( 1915 )-->
. . .
 
C( 122,343,306 ) --( 26,193,799,261,043,238 )-->
C( 214,100,789 ) --( 80,218,511,093,348,089 )-->
. . . 0 1 (H1) 2^374676381 0 . . .