BB(4,4): Difference between revisions
Added Category:BB(4,4) |
Added new champion |
||
| Line 1: | Line 1: | ||
The 4-state 4-symbol [[Busy Beaver]] problem, BB(4,4), is unsolved and unexplored. With [[Cryptids]] like [[Bigfoot]] in the preceding domain [[BB(3,3)]], we know that we must solve a [[Collatz-like]] problem in order to solve BB(4,4). The current BB(4,4) [[champion]] is | The 4-state 4-symbol [[Busy Beaver]] problem, BB(4,4), is unsolved and unexplored. With [[Cryptids]] like [[Bigfoot]] in the preceding domain [[BB(3,3)]], we know that we must solve a [[Collatz-like]] problem in order to solve BB(4,4). The current BB(4,4) [[champion]] is {{TM|1LD3LB1RZ2RA_2LC3RB1LC2RA_3RB1LB3LC2RC_1RD3RA2LB0LC|halt}} and runs for more than <math>2 \uparrow^{194} 4</math> steps. It was discovered in October 2026 by [[User:Loader3229|Loader3229]]. | ||
In September 2025, [[User:Tjligocki|Terry Ligocki]] ran a test enumeration on one of 1 billion subtasks. The subtask ran for 1.5 hours and produced ~9000 [[holdouts]].<ref>https://discord.com/channels/960643023006490684/1084047886494470185/1421553188322021528</ref> When corrected for the amount of subtasks involved, these values are 9000 times longer and 3500 times larger than the ones for [[BB(2,7)]]. The expected number of holdouts from an enumeration of this domain is about 1,530,000,000,000,000.<ref>https://discord.com/channels/960643023006490684/960643023530762341/1484060947424477235</ref> | In September 2025, [[User:Tjligocki|Terry Ligocki]] ran a test enumeration on one of 1 billion subtasks. The subtask ran for 1.5 hours and produced ~9000 [[holdouts]].<ref>https://discord.com/channels/960643023006490684/1084047886494470185/1421553188322021528</ref> When corrected for the amount of subtasks involved, these values are 9000 times longer and 3500 times larger than the ones for [[BB(2,7)]]. The expected number of holdouts from an enumeration of this domain is about 1,530,000,000,000,000.<ref>https://discord.com/channels/960643023006490684/960643023530762341/1484060947424477235</ref> | ||
Revision as of 18:36, 27 October 2026
The 4-state 4-symbol Busy Beaver problem, BB(4,4), is unsolved and unexplored. With Cryptids like Bigfoot in the preceding domain BB(3,3), we know that we must solve a Collatz-like problem in order to solve BB(4,4). The current BB(4,4) champion is 1LD3LB1RZ2RA_2LC3RB1LC2RA_3RB1LB3LC2RC_1RD3RA2LB0LC (bbch) and runs for more than steps. It was discovered in October 2026 by Loader3229.
In September 2025, Terry Ligocki ran a test enumeration on one of 1 billion subtasks. The subtask ran for 1.5 hours and produced ~9000 holdouts.[1] When corrected for the amount of subtasks involved, these values are 9000 times longer and 3500 times larger than the ones for BB(2,7). The expected number of holdouts from an enumeration of this domain is about 1,530,000,000,000,000.[2]