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 statement3 of 3

Resolved by Alon [Al91] who proved t(n)n2/3lognt(n) \ll n^{2/3}\log n.

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

Search problems.science

Find a Problem, Result, source, or page