Skip to content

Erdős problem 42

Start work

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

The source's own material, retained exactly.

5 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

42.lean

Retained formal statement3 of 5

The difference set of {1, 2, 4} is {0, 1, 2, 3}.

FormalConjectures/ErdosProblems/42.leanErdos42.example_difference_set1 lineExact file
{1, 2, 4} - {1, 2, 4} = {0, 1, 2, 3}
TextbookStatement only, no proof