User:XnoobSpeakable/Holdouts-temp: Difference between revisions
(BB(3,4) note) |
(Added a lot more stuff) |
||
| Line 1: | Line 1: | ||
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. | |||
{| class="wikitable" | {| class="wikitable" | ||
|+Number of holdouts (latest exact counts) | |+Number of holdouts (latest exact counts) | ||
| Line 15: | Line 15: | ||
|0 | |0 | ||
|0 | |0 | ||
|1691 | |1691* | ||
|23,314,388 | |23,314,388 | ||
|- | |- | ||
| Line 35: | Line 35: | ||
|- | |- | ||
!5-symbol | !5-symbol | ||
| | |75 | ||
| | | | ||
| | | | ||
| Line 50: | Line 50: | ||
| | | | ||
|} | |} | ||
<nowiki>*</nowiki>The 1691 holdouts are based on equivalence classes. The amount of individual unsolved TMs currently seems to be 3171. | |||
{| class="wikitable" | {| class="wikitable" | ||
|+Number of holdouts (in-progress and approximate values) | |+Number of holdouts (in-progress and approximate values) | ||
| Line 65: | Line 66: | ||
|0 | |0 | ||
|0 | |0 | ||
|1691 | |1691 / 3171 | ||
|23,314,388 | |23,314,388 | ||
|- | |- | ||
| Line 78: | Line 79: | ||
!4-symbol | !4-symbol | ||
|0 | |0 | ||
|<434,787,751* | |<434,787,751** | ||
| | | | ||
| | | | ||
| Line 85: | Line 86: | ||
|- | |- | ||
!5-symbol | !5-symbol | ||
| | |75 | ||
| | | | ||
| | | | ||
| Line 100: | Line 101: | ||
| | | | ||
|} | |} | ||
<nowiki>*</nowiki>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. | <nowiki>**</nowiki>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. | 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. | ||
The 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. | The 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. | ||
Revision as of 10:34, 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 currently seems to be 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.
The 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.