Holdouts lists: Difference between revisions
Jump to navigation
Jump to search
(Changed reference from "File" (the files were too large for the wiki and the compression confused it) to a URL to my Google Drive.) |
m (Fixed links...) |
||
| Line 173: | Line 173: | ||
|@sligocki | |@sligocki | ||
|181,851 | |181,851 | ||
|[https://drive.google.com/file/d/ | |[https://drive.google.com/file/d/1YNwFCN6XJeDNKxxK5KbGHOAFOdIBvDb6/view?usp=drive_link 6x2.holdouts_181851.txt.gz] | ||
|This was posted to the BBChallenge Forum (before Discord) | |This was posted to the BBChallenge Forum (before Discord) | ||
|- | |- | ||
| Line 180: | Line 180: | ||
|@sligocki | |@sligocki | ||
|1,458,704 | |1,458,704 | ||
|[https://drive.google.com/file/d/ | |[https://drive.google.com/file/d/14bDnBt0OwuHATFBiubc_5jub0220EyXf/view?usp=drive_link 6x2.holdouts_1458704.txt.gz] | ||
|This was posted to the BBChallenge Forum (before Discord) | |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:27, 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.