CoSearch
Massively Collaborative Research
bbchallenge logo
The Busy Beaver Challenge

Cyclers

Mar 2022 · Tristan Stérin
Featured Links
Github https://github.com/bbchallenge/bbchallenge-deciders/tree/main/decider-cyclers
Chat about it https://discord.com/channels/960643023006490684/1028753914503385199
Forum Link https://discuss.bbchallenge.org/t/decider-cyclers/33
Write-up (see Section 2) https://github.com/bbchallenge/bbchallenge-proofs/blob/build-latex-pdf/deciders/correctness-deciders.pdf
Description

Algorithm is pretty much folklore: https://en.wikipedia.org/wiki/Cycle_detection