Skip to content

Erdős problem 1028

Let H(n)=minfmaxX{1,,n}x<yXf(x,y),H(n)=\min_f \max_{X\subseteq \{1,\ldots,n\}} \left\lvert \sum_{x<y\in X} f(x,y)\right\rvert, where ff ranges over all functions f:{1,,n}2{1,1}f:\{1,\ldots,n\}^2\to \{-1,1\}. Estimate H(n)H(n).

Sources

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

4 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

1028.lean

Retained formal statement3 of 4

Erdős [Er63d] proved n4H(n)n3/2.\frac{n}{4}\leq H(n) \ll n^{3/2}.

FormalConjectures/ErdosProblems/1028.leanErdos1028.erdos_1028.variants.lower_bound1 lineExact file
∀ᶠ (n : ℕ) in Filter.atTop, ↑n / 4 ≤ ↑(Erdos1028.H n)
SolvedStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page