Skelet 1: Difference between revisions
Jump to navigation
Jump to search
(Link to Skelet stuff and not who proved it.) |
(Add link to repo) |
||
| Line 12: | 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 | |||
[[Category:Stub]] | [[Category:Stub]] | ||
Revision as of 20:13, 22 March 2025
Unsolved problem:
What is the exact cycle preperiod of Skelet 1?
1RB1RD_1LC0RC_1RA1LD_0RE0LB_---1RC (bbch)
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