Massively Collaborative Research
The Busy Beaver Challenge
Write-up of Bouncers
Dependencies:
Featured Links
| Github | https://github.com/bbchallenge/bbchallenge-proofs/blob/build-latex-pdf/deciders/correctness-deciders.pdf |
| Chat about it | https://discord.com/channels/960643023006490684/1151558585344593950 |
Description
While writing this write-up we figured out that the greedy algorithm for "formula tape fitting" was optimal under easy-to-satisfy assumptions, which makes the method more performant than having to rely on Dynamic Programming.