Holdouts lists: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
(Added entry for 2x6 holdout list) |
||
| Line 11: | Line 11: | ||
!File | !File | ||
!Notes | !Notes | ||
|- | |||
|[[BB(2,6)]] | |||
|[November 4, 2024] | |||
|@tjligocki | |||
|22,302,296 | |||
|[https://drive.google.com/file/d/1xRLIjdiqImFP2SL38gvhxVlAaX0L1cYO/view?usp=drive_link 2x6_holdouts_22302296.txt.gz] | |||
|[https://drive.google.com/drive/folders/1p9b5g-Id3WEMUYIwEnaKWRBGIW66ADjM?usp=drive_link Google Drive directory for 2x6 TMs] | |||
|- | |- | ||
|[[BB(3,4)]] | |[[BB(3,4)]] | ||
Revision as of 04:28, 5 November 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:
| BB space | Date | Shared by | Number of holdouts | File | Notes |
|---|---|---|---|---|---|
| BB(2,6) | [November 4, 2024] | @tjligocki | 22,302,296 | 2x6_holdouts_22302296.txt.gz | Google Drive directory for 2x6 TMs |
| BB(3,4) | November 3, 2024 | @tjligocki | 434,787,751 | 3x4_holdouts_434787751.txt.gz | Google Drive directory for 3x4 TMs |
| BB(6) | September 2, 2024 | @mxdys | 5394 | File:BB6 holdouts 5394.txt | |
| BB(6) | August 4, 2024 | @mxdys | 5877 | File:BB6 holdouts 5877.txt | |
| BB(6) | July 6, 2024 | @mxdys | 7296 | File:BB6 holdouts 7296.txt | |
| BB(2,5) | June 15th 2024 | @dyuan01 | 273 | File:2x5_holdouts_273.txt | @Justin Blanchard's 499 holdouts minus machines solved by @mxdys |
| BB(6) | June 13th 2024 | @tjligocki | 12,091 | File:BB6 holdouts 12091.txt | Work done with @Shawn Ligocki |
| BB(3,3) | June 9th 2024 | @Justin Blanchard | 22 | File:3x3.todo.txt, File:Mugshots small.pdf | |
| BB(6) | June 7th 2024 | @mxdys | 12,325 | File:BB6 holdouts 12325.txt | Some equivalent machines are removed. |
| BB(2,5) | May 22nd 2024 | @Justin Blanchard | 499 | File:2x5.todo.txt | |
| BB(5) | 0 |
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.