Large Finite Point Sets Have 4 Collinear Points or a 6-Clique
- Mathematics
Every finite planar point set of at least 10^11055931 points has four collinear points or six pairwise visible points.
Big line or big clique for six visible points
- Mathematics
Does every sufficiently large finite planar point set contain four collinear points or six pairwise visible points?
Curated contributions 1
Understand the problem ↓Understanding the problem
Read the background
Does every sufficiently large finite planar point set contain four collinear points or six pairwise visible points?
Why it matters
The pair (six visible points, four collinear points) was an open case of the Kára–Pór–Wood conjecture.
What counts as progress
Does every sufficiently large finite planar point set contain four collinear points or six pairwise visible points?
Website timeline
Publication dates and editorial changes.
Model-generated proof of the six-by-four big-line-or-big-clique case