Skelet 1: Difference between revisions
Jump to navigation
Jump to search
(Remove lower bound comment.) |
(Removed "halt" from the TM template as this TM doesn't halt) |
||
| (4 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
{{machine|1LC1LE_---1LD_1RD0LD_1LA1RE_0LB0RC | {{machine|1LC1LE_---1LD_1RD0LD_1LA1RE_0LB0RC}}{{unsolved|What is the exact cycle preperiod of Skelet 1?}}{{Stub}} | ||
[[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.]] | ||
{{TM|1RB1RD_1LC0RC_1RA1LD_0RE0LB_---1RC}}, called Skelet #1, was one of [[Skelet's 43 holdouts]] and one of the last holdouts in [[BB(5)]]. It was eventually proven to be a [[Translated Cycler]] by Pavel Kropitz and Shawn Ligocki. | |||
It has a 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> Both of these values are gigantic in comparison to the runtime of the [[5-state busy beaver winner]] which runs for a "mere" 47 million steps. | |||
== Preperiod == | == Preperiod == | ||
| Line 10: | Line 12: | ||
== See Also == | == See Also == | ||
* https://www.sligocki.com/2023/02/25/skelet-1-wip.html | * [https://www.sligocki.com/2023/02/25/skelet-1-wip.html Skelet #1: What I Know]. 25 Feb 2023. Shawn Ligocki | ||
* https://www.sligocki.com/2023/02/27/skelet-1-halting-config.html | * [https://www.sligocki.com/2023/02/27/skelet-1-halting-config.html Skelet #1: A Halting Counter Config]. 27 Feb 2023. Shawn Ligocki | ||
* https://www.sligocki.com/2023/03/13/skelet-1-infinite.html | * [https://www.sligocki.com/2023/03/13/skelet-1-infinite.html Skelet #1 is infinite ... we think]. 13 Mar 2024. Shawn Ligocki | ||
* Simulation code by Pavel & Shawn: https://github.com/univerz/bbc/tree/no1 | |||
Latest revision as of 17:28, 16 August 2025
Unsolved problem:
What is the exact cycle preperiod of Skelet 1?
1RB1RD_1LC0RC_1RA1LD_0RE0LB_---1RC (bbch), called Skelet #1, was one of Skelet's 43 holdouts and one of the last holdouts in BB(5). It was eventually proven to be a Translated Cycler by Pavel Kropitz and Shawn Ligocki.
It has a period 8,468,569,863 and start step about .[1] Both of these values are gigantic in comparison to the runtime of the 5-state busy beaver winner which runs for a "mere" 47 million steps.
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
- ↑ Skelet #1 is infinite Statistics.
- ↑ @hipparcos 13 Jan 2025 Discord
See Also
- Skelet #1: What I Know. 25 Feb 2023. Shawn Ligocki
- Skelet #1: A Halting Counter Config. 27 Feb 2023. Shawn Ligocki
- Skelet #1 is infinite ... we think. 13 Mar 2024. Shawn Ligocki
- Simulation code by Pavel & Shawn: https://github.com/univerz/bbc/tree/no1