Holdouts lists: Difference between revisions
Jump to navigation
Jump to search
m (typo) |
No edit summary |
||
| Line 1: | Line 1: | ||
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. | 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 [[Decider|deciders]] are unable to decide. | ||
Holdout lists are often shared by contributors: | Holdout lists are often shared by contributors: | ||
{| class="wikitable" | {| class="wikitable sortable" | ||
|+ | |+ | ||
!BB space | !BB space | ||
| Line 11: | Line 11: | ||
!File | !File | ||
|- | |- | ||
|BB(6) | |[[BB(6)]] | ||
|[https://discord.com/channels/960643023006490684/1239205785913790465/1250895665719148595 June 13th 2024] | |[https://discord.com/channels/960643023006490684/1239205785913790465/1250895665719148595 June 13th 2024] | ||
|@tjligocki, @Shawn Ligocki | |@tjligocki, @Shawn Ligocki | ||
| | | 12,091 | ||
|[[:File:BB6 holdouts 12091.txt]] | |[[:File:BB6 holdouts 12091.txt]] | ||
|- | |- | ||
|BB(3,3) | |[[BB(3,3)]] | ||
|[https://discord.com/channels/960643023006490684/1084047886494470185/1249142547217907772 June 9th 2024] | |[https://discord.com/channels/960643023006490684/1084047886494470185/1249142547217907772 June 9th 2024] | ||
|@Justin Blanchard | |@Justin Blanchard | ||
| Line 29: | Line 29: | ||
|[[:File:BB6 holdouts 12325.txt]] | |[[:File:BB6 holdouts 12325.txt]] | ||
|- | |- | ||
|BB(2,5) | |[[BB(2,5)]] | ||
|[https://discord.com/channels/960643023006490684/1084047886494470185/1242679236142170203 May 22nd 2024] | |[https://discord.com/channels/960643023006490684/1084047886494470185/1242679236142170203 May 22nd 2024] | ||
|@Justin Blanchard | |@Justin Blanchard | ||
Revision as of 15:13, 14 June 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 |
|---|---|---|---|---|
| BB(6) | June 13th 2024 | @tjligocki, @Shawn Ligocki | 12,091 | File:BB6 holdouts 12091.txt |
| 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 |
| BB(2,5) | May 22nd 2024 | @Justin Blanchard | 499 | File:2x5.todo.txt |