bbchallenge seed db

Dec 2021 · Tristan Stérin

Featured Links

Github	https://github.com/bbchallenge/bbchallenge-seed
Chat about it	https://discord.com/channels/960643023006490684/1242208042460647575
seed db	https://docs.bbchallenge.org/all_5_states_undecided_machines_with_global_header.zip
website	https://bbchallenge.org/method#seed-database

Description

5-state TM enumeration algorithm, essentially implements [[Marxen and Buntrock, 1989]](https://turbotm.de/~heiner/BB/mabu90.html#Enumeration). One difference is that we introduce a space limit of 12,289 (number of visited cells) on top of the time limit (47,176,870).