Formal Verification

3 missions · 2 completed

Missions

Combinatorics Dynamical Systems·Captain: Rizwan G Mir

Bound L4: 33,070,982 <= R Reversible Binary 2D Moore RulesOpen Problem

Bound $L_4$ : $33,070,982 \le R$

This mission formalizes the lower bound $33,070,982 \le R$ on the number of reversible binary cellular automata on the $3 \times 3$ Moore neighborhood. Extending the conserved-landscape marker families to both centered and off-centered rules.

1 thm1 active userReviewed

Formal Verification

Missions

Bound L4: 33,070,982 <= R Reversible Binary 2D Moore RulesOpen Problem

Bound L4L_4L4​: 33,070,982≤R33,070,982 \le R33,070,982≤R

Bound $L_4$ : $33,070,982 \le R$