Periodic Forcing, Echo Constraints and the Non-Periodicity of the Rule 30 Centre Column: Reductions, Structural Lemmas, Certified Computations and Barriers
Source files
root filemain.tex · root file14 KiB · SHA-256 8acbad1344310b84… · view textancillaryanc/MANIFEST.yaml2 KiB · SHA-256 62433dccae61ab0d… · view textancillaryanc/actual.py1 KiB · SHA-256 4679fbdded1c5dd3… · view textancillaryanc/attractor.py1 KiB · SHA-256 dd8314eb82afcc4f… · view textancillaryanc/certify_all.py490 B · SHA-256 0de304c65cf2a0f7… · view textancillaryanc/certtree.py993 B · SHA-256 2b951c95cdc96cae… · view textancillaryanc/closed2.py4 KiB · SHA-256 9bce0681c7997b5d… · view textancillaryanc/ebit2.py1 KiB · SHA-256 63c29d90bbe72f01… · view textancillaryanc/energy.py2 KiB · SHA-256 28d83b8082641979… · view textancillaryanc/gates.py2 KiB · SHA-256 6c2d325ae69191b4… · view textancillaryanc/idcheck.py2 KiB · SHA-256 4edd4dae7e6b039c… · view textancillaryanc/independent_merge_check.py2 KiB · SHA-256 a0f4b9ba48b1c33f… · view textancillaryanc/layer3.py866 B · SHA-256 2a442604379ef2be… · view textancillaryanc/machine.py2 KiB · SHA-256 8a87d242679f6623… · view textancillaryanc/masked_sat.py2 KiB · SHA-256 07ebada8f2265b40… · view textancillaryanc/merge.py1 KiB · SHA-256 2171811c5fb6f5b3… · view textancillaryanc/mn2.py1017 B · SHA-256 f460348e2476425b… · view textancillaryanc/nesting.py1 KiB · SHA-256 5ea527fca19be204… · view textancillaryanc/orfactor.py1 KiB · SHA-256 af04f9f80512272a… · view textancillaryanc/pin.py1 KiB · SHA-256 f0e878eae96ba5be… · view textancillaryanc/r150.py1 KiB · SHA-256 82d52c1dc2660d28… · view textancillaryanc/redund.py1 KiB · SHA-256 4bccddc495170712… · view textancillaryanc/rightattack.py2 KiB · SHA-256 619d984b24682004… · view textancillaryanc/sawtooth.py2 KiB · SHA-256 a32dda2867b9ac05… · view textancillaryanc/seedgap.py897 B · SHA-256 d19ad669fc0486b4… · view textancillaryanc/selfsim30.py865 B · SHA-256 959f78d1921a3fc7… · view textancillaryanc/stall3.py1 KiB · SHA-256 1d7acb59f9ae1ecd… · view textancillaryanc/twonight.py2 KiB · SHA-256 f2b60635c62b4b5e… · view textancillaryanc/window.py871 B · SHA-256 51980a2a106139f5… · view text