Skip to content

Erdős problem 798

Let t(n)t(n) be the minimum number of points in {1,,n}2\{1,\ldots,n\}^2 such that the (t2)\binom{t}{2} lines determined by these points cover all points in {1,,n}2\{1,\ldots,n\}^2.

Sources

Browse retained paths and inspect the exact material available for this Problem.

3 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

798.lean

Retained formal statement2 of 3

A problem of Erdős and Purdy, who proved t(n)n2/3t(n) \gg n^{2/3}.

FormalConjectures/ErdosProblems/798.leanErdos798.erdos_798.variants.lower_bound1 lineExact file
(fun n => ↑n ^ (2 / 3)) =O[Filter.atTop] fun n => ↑(Erdos798.t n)
SolvedStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page