Erdős problem 42 · problems.science

Erdős Problem 42: Let M ≥ 1 and N be sufficiently large in terms of M. Is it true that for every maximal Sidon set A ⊆ {1,…,N} there is another Sidon set B ⊆ {1,…,N} of size M such that (A - A) ∩ (B - B) = {0}?

Sources

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

5 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

42.lean

Retained formal statement5 of 5

For any maximal Sidon set, the difference set contains 0.

FormalConjectures/ErdosProblems/42.leanErdos42.maximal_sidon_contains_zero1 lineExact file

1∀ (A : Set ℕ) (N : ℕ), 1 ≤ N → A.IsMaximalSidonSetIn N → 0 ∈ A - A

TextbookStatement only, no proof

Sources

Search problems.science