Holdouts lists: Difference between revisions
Jump to navigation
Jump to search
(Updated and added BB(5) table entries) |
(Added a history of the BB6 holdouts files as entries in the holdout table.) |
||
| Line 168: | Line 168: | ||
|[https://bbchallenge.org/skelet List of 43 holdouts] | |[https://bbchallenge.org/skelet List of 43 holdouts] | ||
| | | | ||
|- | |||
|[[BB(6)]] | |||
|May 27, 2023 | |||
|@sligocki | |||
|181,851 | |||
|[[:File:6x2.holdouts_1458704.txt.gz]] | |||
|This was posted to the BBChallenge Forum (before Discord) | |||
|- | |||
|[[BB(6)]] | |||
|May 10, 2023 | |||
|@sligocki | |||
|1,458,704 | |||
|[[:File:6x2.holdouts_1458704.txt.gz]] | |||
|This was posted to the BBChallenge Forum (before Discord) | |||
|} | |} | ||
Georgi Georgiev (Skelet) posted [https://skelet.ludost.net/bb/nreg.html a list of 43 holdouts] for BB(5) in 2003. bbchallenge.org successfully reduced the number of holdouts for BB(5) to zero in June 2024. | Georgi Georgiev (Skelet) posted [https://skelet.ludost.net/bb/nreg.html a list of 43 holdouts] for BB(5) in 2003. bbchallenge.org successfully reduced the number of holdouts for BB(5) to zero in June 2024. | ||
Revision as of 06:09, 16 January 2025
A holdout (or undecided machine) is a Turing machine for which it is not known whether the machine halts or not from all-0 input tape. Holdouts are the machines which deciders are unable to decide.
Holdout lists are often shared by contributors. Here is a table that summarises the number of holdout per busy beaver domain:
| 2-state | 3-state | 4-state | 5-state | 6-state | |
|---|---|---|---|---|---|
| 2-symbol | 0 | 0 | 0 | 0 | 4408 |
| 3-symbol | 0 | 6 | 460,916,384 | ||
| 4-symbol | 0 | 434,787,751 | |||
| 5-symbol | 273 | ||||
| 6-symbol | 22,302,296 |
Downloadable lists
Georgi Georgiev (Skelet) posted a list of 43 holdouts for BB(5) in 2003. bbchallenge.org successfully reduced the number of holdouts for BB(5) to zero in June 2024.