User:XnoobSpeakable/Holdouts-temp: Difference between revisions
Fix typo |
Be more certain about things |
||
| Line 50: | Line 50: | ||
| | | | ||
|} | |} | ||
<nowiki>*</nowiki>The 1691 holdouts are based on equivalence classes. The amount of individual unsolved TMs currently | <nowiki>*</nowiki>The 1691 holdouts are based on equivalence classes. The amount of individual unsolved TMs is currently 3171. | ||
{| class="wikitable" | {| class="wikitable" | ||
|+Number of holdouts (in-progress and approximate values) | |+Number of holdouts (in-progress and approximate values) | ||
Revision as of 10:37, 27 September 2025
The top table may or may not match the one found at Holdouts lists depending on the timing of when these lists get updated. I will keep track of the list on this page seperately. The bottom list will include unfinished work that I have noticed on Discord that will not be in other wiki pages.
| 2-state | 3-state | 4-state | 5-state | 6-state | 7-state | |
|---|---|---|---|---|---|---|
| 2-symbol | 0 | 0 | 0 | 0 | 1691* | 23,314,388 |
| 3-symbol | 0 | 6 | 460,916,384 | |||
| 4-symbol | 0 | 434,787,751 | ||||
| 5-symbol | 75 | |||||
| 6-symbol | 873,469 |
*The 1691 holdouts are based on equivalence classes. The amount of individual unsolved TMs is currently 3171.
| 2-state | 3-state | 4-state | 5-state | 6-state | 7-state | |
|---|---|---|---|---|---|---|
| 2-symbol | 0 | 0 | 0 | 0 | 1691 / 3171 | 23,314,388 |
| 3-symbol | 0 | 6 | ~96.6M | |||
| 4-symbol | 0 | <434,787,751** | ||||
| 5-symbol | 75 | |||||
| 6-symbol | 873,469 |
**I am currently working on BB(3,4) and have removed some holdouts, however, the partial progress has not been merged and the reduction has not been counted.
After the work is done, I will upload my results and update the value in the table. I suspect a reduction to ~65M will be achievable.
Said work was supposed to be done by the end of this week as I am typing (which is tomorrow, 2025-09-28), however, I have delayed it to the end of next week, which is 2025-10-05 to those reading in the future.