Holdouts lists: Difference between revisions
Qwertyasdf (talk | contribs) Editing prose for clarity; hope I explained TNF correctly |
updated BB(2,5) holdout count |
||
| (16 intermediate revisions by 3 users not shown) | |||
| Line 16: | Line 16: | ||
|0 | |0 | ||
|0 | |0 | ||
| | |1214 | ||
| | |18,195,192 | ||
|- | |- | ||
!3-symbol | !3-symbol | ||
| Line 36: | Line 36: | ||
|- | |- | ||
!5-symbol | !5-symbol | ||
| | |71 | ||
| | | | ||
| | | | ||
| Line 44: | Line 44: | ||
|- | |- | ||
!6-symbol | !6-symbol | ||
| | |548,993 | ||
| | | | ||
| | | | ||
| Line 52: | Line 52: | ||
|} | |} | ||
== Downloadable | == Downloadable Holdouts Lists == | ||
This is a table where people have added lists with no restriction or independent verification. For some of the entries there is a reference to a spreadsheet that documents what was run to achieve the result. For others, there is additional documentation on the specific BB pages. | This is a table where people have added lists with no restriction or independent verification. For some of the entries there is a reference to a spreadsheet that documents what was run to achieve the result. For others, there is additional documentation on the specific BB pages. | ||
{| class="wikitable sortable" | {| class="wikitable sortable" | ||
| Line 62: | Line 62: | ||
!File | !File | ||
!Notes | !Notes | ||
|- | |||
|[[BB(6)]] | |||
|February 28th, 2026 | |||
|@mxdys | |||
|1214 | |||
|[https://wiki.bbchallenge.org/w/images/0/0e/BB6_holdouts_1214.txt BB6_holdouts_1214.txt] | |||
| | |||
|- | |||
|[[BB(6)]] | |||
|February 19th, 2026 | |||
|@mxdys | |||
|1226 | |||
|[https://wiki.bbchallenge.org/w/images/8/80/BB6_holdouts_1226.txt BB6_holdouts_1226.txt] | |||
| | |||
|- | |||
|[[BB(6)]] | |||
|January 29th, 2026 | |||
|@mxdys | |||
|1314 | |||
|[https://discord.com/channels/960643023006490684/1239205785913790465/1466438332677619956 BB6_holdouts_1314.txt] | |||
| | |||
|- | |- | ||
|[[BB(6)]] | |[[BB(6)]] | ||
| Line 73: | Line 94: | ||
|November 22nd, 2025 | |November 22nd, 2025 | ||
|Robin Rovenszky | |Robin Rovenszky | ||
|Variable | |Variable | ||
|[https://docs.google.com/spreadsheets/d/1mMp8bAcTFT91j7azn72liX8NSTwc2E_ozKnOGTfRCfw/edit?gid=1330361301#gid=1330361301 Google Sheets] | |[https://docs.google.com/spreadsheets/d/1mMp8bAcTFT91j7azn72liX8NSTwc2E_ozKnOGTfRCfw/edit?gid=1330361301#gid=1330361301 Google Sheets] | ||
|Annotated list, including links to Discord discussions, always up-to-date. | |Annotated list, including links to Discord discussions, always up-to-date. | ||
Latest revision as of 17:46, 11 March 2026
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 yet unable to decide. Contributors have shared lists of holdouts. Some lists exclude known equivalent machines, i.e., machines whose halting status is implied by the halting status of another machine. If a holdout machine with more than one undefined transitions is found to reach a undefined transition, the number of holdouts may increase as a consequence of TNF enumeration.
| 2-state | 3-state | 4-state | 5-state | 6-state | 7-state | |
|---|---|---|---|---|---|---|
| 2-symbol | 0 | 0 | 0 | 0 | 1214 | 18,195,192 |
| 3-symbol | 0 | 4 | 9,401,447 | |||
| 4-symbol | 0 | 12,435,284 | ||||
| 5-symbol | 71 | |||||
| 6-symbol | 548,993 |
Downloadable Holdouts Lists
This is a table where people have added lists with no restriction or independent verification. For some of the entries there is a reference to a spreadsheet that documents what was run to achieve the result. For others, there is additional documentation on the specific BB pages.