Skelet 1: Difference between revisions

From BusyBeaverWiki
Jump to navigation Jump to search
(→‎Preperiod: Note this is an upper bound.)
(Remove lower bound comment.)
Line 1: Line 1:
{{machine|1LC1LE_---1LD_1RD0LD_1LA1RE_0LB0RC|halt}}{{unsolved|What is the cycle start time of Skelet 1? The best known lower bound is <math>10^{24}</math>.}}{{TM|1RB1RD_1LC0RC_1RA1LD_0RE0LB_---1RC}}
{{machine|1LC1LE_---1LD_1RD0LD_1LA1RE_0LB0RC|halt}}{{unsolved|What is the exact cycle preperiod of Skelet 1?}}{{TM|1RB1RD_1LC0RC_1RA1LD_0RE0LB_---1RC}}
[[File:Skeleton warrior.png|thumb|A skeleton warrior holding a sword. The runic inscription on its blade is a string that is particularly often encountered on a tape during Skelet 1 simulation.]]
[[File:Skeleton warrior.png|thumb|A skeleton warrior holding a sword. The runic inscription on its blade is a string that is particularly often encountered on a tape during Skelet 1 simulation.]]
One of the most challenging [[BB(5)]] Turing machines to prove non-halting. It was eventually proven to be a [[Translated Cycler]] with period 8,468,569,863 and start step about <math>5.42 \times 10^{51}</math><ref>[https://www.sligocki.com/2023/03/13/skelet-1-infinite.html#stats Skelet #1 is infinite] Statistics.</ref>
One of the most challenging [[BB(5)]] Turing machines to prove non-halting. It was eventually proven to be a [[Translated Cycler]] with period 8,468,569,863 and start step about <math>5.42 \times 10^{51}</math><ref>[https://www.sligocki.com/2023/03/13/skelet-1-infinite.html#stats Skelet #1 is infinite] Statistics.</ref>

Revision as of 22:07, 4 February 2025

Unsolved problem:
What is the exact cycle preperiod of Skelet 1?

1RB1RD_1LC0RC_1RA1LD_0RE0LB_---1RC (bbch)

A skeleton warrior holding a sword. The runic inscription on its blade is a string that is particularly often encountered on a tape during Skelet 1 simulation.

One of the most challenging BB(5) Turing machines to prove non-halting. It was eventually proven to be a Translated Cycler with period 8,468,569,863 and start step about [1]

Preperiod

The exact preperiod (minimum cycle start start step) for Skelet 1 is not known, but @hipparcos computed it to be approximately 5418883027667422764169643414989497193809945789706483. This is an upper bound (by this point the TM is cycling). This value is probably accurate to within about one period.[2]

References

See Also