1RB1LA_1LC0RC_1LD1RC_1RB1LE_0LF0LA_---0RB

From BusyBeaverWiki
Revision as of 10:02, 6 August 2025 by Polygon (talk | contribs) (Added BB domain)
Jump to navigation Jump to search

1RB1LA_1LC0RC_1LD1RC_1RB1LE_0LF0LA_1RZ0RB (bbch)

Halting BB(6) TM with long-running Collatz-like analysis.

Analysis by @dyuan https://discord.com/channels/960643023006490684/1239205785913790465/1280618026844033086:

C(a, b, c) = 1^a 0 1^b C> 0 1^c

C(a, b+3, c) -> C(a+1, b, c+2)
C(a, 0, c) -> C(a+1, c, 0)
C(a+1, 1, c) -> C(0, a, c+3)
C(0, 1, c) -> Halt
C(a, 2, c) -> C(0, a+c+4, 0)

Start: C(0, 2, 0)

Halt simulation by @dyuan https://discord.com/channels/960643023006490684/1239205785913790465/1280672951364223029:

...
C(0, 4941994153, 0)
C(0, 4946359454, 0)
C(0, 4950724861, 0)
...
C(0, 1, 4954904166)

So sigma score is 4,954,904,169 (https://discord.com/channels/960643023006490684/1239205785913790465/1280675920071622657).