1RB1RA_1LC0RE_0LF1LD_1LA1LC_1RA1RB_---0LD

From BusyBeaverWiki
Revision as of 04:21, 8 July 2024 by Sligocki (talk | contribs) (unbiased random walk)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search


https://bbchallenge.org/1RB1RA_1LC0RE_0LF1LD_1LA1LC_1RA1RB_---0LD

Analysis by Shawn Ligocki:

B(a, b) = $ 101^a 10^b <C 1^3 $

B(0,   3b)    ->  Halt(8b+4)
B(a+1, 3b)    ->  B(a,   4b+5)
B(a,   3b+1)  ->  B(a+1, 4b+2)
B(a,   3b+2)  ->  B(a,   8b+10)

Start  --(13)-->  B(0, 2)

This performs an unbiased pseudo-random walk. Unbiased random walks have 100% chance to return to 0. This TM eventually does, but only after 34,821 iterations (reaching ).

Code/Quick_Sim.py 1RB1RA_1LC0RE_0LF1LD_1LA1LC_1RA1RB_---0LD -n6 --print-loops=100_000
...
Steps:    ~10^15_713.71342
Nonzeros: ~10^7_857.11327