Every $C_4$ -free graph on $49$ vertices has a vertex of degree at most $6$

Contributed by David Niedbala Giraudin

Source files

Download source .zip

root filef49.tex · root file29 KiB · SHA-256 3473dd996b9719b9… · view text ancillaryanc/README.log4 KiB · SHA-256 8109066451aaf31b… · view text ancillaryanc/SHA256SUMS_content.log3 KiB · SHA-256 4c7b6c8b6e49fe35… · view text ancillaryanc/add_exactA.py2 KiB · SHA-256 63b3a9f0ae573cbc… · view text ancillaryanc/add_exactB.py2 KiB · SHA-256 34246a1ca189cb3e… · view text ancillaryanc/add_symB.py5 KiB · SHA-256 c1255da5c1558b72… · view text ancillaryanc/add_type.py3 KiB · SHA-256 386dfe72761312a8… · view text ancillaryanc/check_graphs.py2 KiB · SHA-256 2bcd77ad564f583b… · view text ancillaryanc/conc.py1 KiB · SHA-256 3cc3cf12316ab915… · view text ancillaryanc/coverage_check_canonical.py3 KiB · SHA-256 7148d6bec8c246da… · view text ancillaryanc/coverage_check_unionfind.py4 KiB · SHA-256 6c2d7bf0c57b593d… · view text ancillaryanc/cubesA.json3 KiB · SHA-256 4b42fee8054acd7f… · view text ancillaryanc/drat_spot_check.py7 KiB · SHA-256 b6f88bbeb9d202fb… · view text ancillaryanc/enc_slots.py3 KiB · SHA-256 0ed9faf863a62193… · view text ancillaryanc/enc_struct.py3 KiB · SHA-256 5201f9506dee9bfd… · view text ancillaryanc/falsification_test.py6 KiB · SHA-256 d9e5d958eb5a3a9f… · view text ancillaryanc/formulas_sha256.log7 KiB · SHA-256 d7c1edab5c77fe02… · view text ancillaryanc/globsb.py2 KiB · SHA-256 bc3892a66ce41de9… · view text ancillaryanc/hs50.csv980 B · SHA-256 33e43280a5c2a245… · view text ancillaryanc/logs_bundle.log734 KiB · SHA-256 fe8a917a33bad40f… · view text ancillaryanc/make_formulas.py3 KiB · SHA-256 1db8197e0f99bf48… · view text ancillaryanc/progA.py3 KiB · SHA-256 f26aee40cca92a44… · view text ancillaryanc/progA2.py1 KiB · SHA-256 e3479ed8189ae962… · view text ancillaryanc/progB.py6 KiB · SHA-256 849966590c962fcb… · view text ancillaryanc/redund.py1 KiB · SHA-256 c3acf575fff9f66f… · view text ancillaryanc/relax49.csv848 B · SHA-256 11a60bd0b5ee9ebb… · view text ancillaryanc/reps39.json2 KiB · SHA-256 68cddbff04191387… · view text ancillaryanc/symbreak.py2 KiB · SHA-256 04abdfc75f8f0385… · view text ancillaryanc/symmetry_check.py4 KiB · SHA-256 48c049fb6d961a23… · view text ancillaryanc/tri.py1 KiB · SHA-256 66c69fcbe35f0d41… · view text ancillaryanc/unpack_logs.py2 KiB · SHA-256 9d3c40ff981ef1dc… · view text ancillaryanc/verify_logs.py6 KiB · SHA-256 ce7f76b7cb42f588… · view text ancillaryanc/w48.csv938 B · SHA-256 6484ef0410557992… · view text ancillaryanc/w48_cayley.py2 KiB · SHA-256 9d28a8995d2a73a3… · view text

Back to the main record