BB(4,4): Difference between revisions
Loader3229 (talk | contribs) No edit summary |
Loader3229 (talk | contribs) No edit summary |
||
| 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 {{TM|1LD3LB1RZ2RA_2LC3RB1LC2RA_3RB1LB3LC2RC_1RD3RA2LB0LC|halt}} and runs for more than <math>2 \uparrow^{194} 4</math> steps. It was constructed by [[User:loader3229|loader3229]] in October 2026 by modifying the BB(3,4) champion. | 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 constructed by [[User:loader3229|loader3229]] in October 2026 by modifying the BB(3,4) champion. [https://discord.com/channels/960643023006490684/1084047886494470185/1564638159944294442 Discord] | ||
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 00:57, 28 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 constructed by loader3229 in October 2026 by modifying the BB(3,4) champion. Discord
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]