Erdős problem 1 · problems.science

If $A\subseteq\{1, ..., N\}$ with $|A| = n$ is such that the subset sums $\sum_{a\in S}a$ are distinct for all $S\subseteq A$ then $N \gg 2 ^ n.$

Sources

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

8 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

1.lean

Retained formal statement7 of 8

A generalisation of the problem to sets $A \subseteq (0, N]$ of real numbers, such that the subset sums all differ by at least $1$ is proposed in [Er73] and [ErGr80].

[Er73] Erdős, P., _Problems and results on combinatorial number theory_. A survey of combinatorial theory (Proc. Internat. Sympos., Colorado State Univ., Fort Collins, Colo., 1971) (1973), 117-138.

[ErGr80] Erdős, P. and Graham, R., _Old and new problems and results in combinatorial number theory_. Monographies de L'Enseignement Mathematique (1980).

FormalConjectures/ErdosProblems/1.leanErdos1.erdos_1.variants.real1 lineExact file

1∃ C > 0, ∀ (N : ℕ) (A : Finset ℝ), Erdos1.IsSumDistinctRealSet A N → N ≠ 0 → C * 2 ^ A.card < ↑N

OpenStatement only, no proof

Sources

Search problems.science