Holdouts lists: Difference between revisions
Jump to navigation
Jump to search
Jacobzheng (talk | contribs) No edit summary |
(Updated and added BB(5) table entries) |
||
| Line 147: | Line 147: | ||
|[[:File:BB6 holdouts 12325.txt]] | |[[:File:BB6 holdouts 12325.txt]] | ||
|Some equivalent machines are removed. | |Some equivalent machines are removed. | ||
|- | |||
|[[BB(5)]] | |||
|June 2024 | |||
|BBChallenge | |||
|0 | |||
| | |||
|'''BB(5) is SOLVED!''' | |||
|- | |- | ||
|[[BB(2,5)]] | |[[BB(2,5)]] | ||
| Line 156: | Line 163: | ||
|- | |- | ||
|[[BB(5)]] | |[[BB(5)]] | ||
| | |[https://skelet.ludost.net/bb/nreg.html circa May 13th, 2003] | ||
| | |Georgi Georgiev (Skelet) | ||
| | |43 | ||
| | |[https://bbchallenge.org/skelet List of 43 holdouts] | ||
| | | | ||
|} | |} | ||
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 00:27, 24 December 2024
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.