Holdouts lists: Difference between revisions
Jump to navigation
Jump to search
m (Fixed links...) |
(Add some BB 3x3 results from 2023) |
||
Line 128: | Line 128: | ||
|- | |- | ||
|[[BB(6)]] | |[[BB(6)]] | ||
|[https://discord.com/channels/960643023006490684/1239205785913790465/1250895665719148595 June | |[https://discord.com/channels/960643023006490684/1239205785913790465/1250895665719148595 June 13, 2024] | ||
|@tjligocki | |@tjligocki | ||
| 12,091 | | 12,091 | ||
Line 135: | Line 135: | ||
|- | |- | ||
|[[BB(3,3)]] | |[[BB(3,3)]] | ||
|[https://discord.com/channels/960643023006490684/1084047886494470185/1249142547217907772 June | |[https://discord.com/channels/960643023006490684/1084047886494470185/1249142547217907772 June 9, 2024] | ||
|@Justin Blanchard | |@Justin Blanchard | ||
|22 | |22 | ||
Line 142: | Line 142: | ||
|- | |- | ||
|BB(6) | |BB(6) | ||
|[https://discord.com/channels/960643023006490684/1239205785913790465/1248708916381220954 June | |[https://discord.com/channels/960643023006490684/1239205785913790465/1248708916381220954 June 7, 2024] | ||
|@mxdys | |@mxdys | ||
|12,325 | |12,325 | ||
Line 156: | Line 156: | ||
|- | |- | ||
|[[BB(2,5)]] | |[[BB(2,5)]] | ||
|[https://discord.com/channels/960643023006490684/1084047886494470185/1242679236142170203 May | |[https://discord.com/channels/960643023006490684/1084047886494470185/1242679236142170203 May 22, 2024] | ||
|@Justin Blanchard | |@Justin Blanchard | ||
|499 | |499 | ||
|[[:File:2x5.todo.txt]] | |[[:File:2x5.todo.txt]] | ||
| | |||
|- | |||
|[[BB(3,3)]] | |||
|[https://discord.com/channels/960643023006490684/1084047886494470185/1116351783040716830 June 8, 2023] | |||
|@Iijil | |||
|925 | |||
|[[:File]] | |||
|Intersection of @sligocki and @Iijil from below] | |||
|- | |||
|[[BB(3,3)]] | |||
|[https://discord.com/channels/960643023006490684/1084047886494470185/1116351783040716830 June 8, 2023] | |||
|@Iijil | |||
|2,480 | |||
|[[:File]] | |||
| | |||
|- | |||
|[[BB(3,3)]] | |||
|[https://discord.com/channels/960643023006490684/1084047886494470185/1116178334620070000 June 7, 2023] | |||
|@sligocki | |||
|2,417 | |||
|[[:File]] | |||
| | | | ||
|- | |- |
Revision as of 01:54, 17 January 2025
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.