Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated


Claim. A note posted by the account sallerk on 31 August 2026, linked from a comment on the site's thread the same day, states as its Proposition that "Every planar set of n ≤ 15 points with no three collinear determines at least ⌊n/2⌋ distinct distances", which is the first question of Problem 1082 for every n≤15n\le15. Let g(k)g(k) be the largest planar set with at most kk distinct distances, and h(k)h(k) the largest such set with no three points on a line. A counterexample with kk distances needs n≥2k+2n\ge2k+2 points, so the question for these nn is h(k)≤2k+1h(k)\le2k+1. Since h(k)≤g(k)h(k)\le g(k), the published values g(1),…,g(6)=3,5,7,9,12,13g(1),\dots,g(6)=3,5,7,9,12,13 (Erdős and Fishburn, Discrete Math. 160 (1996); Shinohara, Discrete Math. 308 (2008); Wei, Electron. J. Combin. 19(4) (2012), #P38) settle every k≤6k\le6 except k=5k=5. For k=5k=5, Shinohara's uniqueness of the twelve-point five-distance set, a triangular-lattice set that contains collinear triples, together with g(4)=9g(4)=9, gives h(5)≤11h(5)\le11. The note discloses that its searches, computations and drafting were done with AI assistance and names no system.

Covers. The first question for every n≤15n\le15. Nothing for n≥16n\ge16: the smallest possible counterexample has sixteen points and seven distances, which stays open because g(7)g(7) is unknown. Nothing on the second question.

Depends on. No page of this wiki; the note rests on the published values of g(k)g(k) it cites.

Acceptance. None documented. The note is linked from a thread comment and is neither refereed nor reviewed; the site's label for the problem is FALSIFIABLE. The claim is claimed.