Skip to content

Erdős problem 361

Let c>0c > 0 and nn be some large integer. What is the size of the largest set A{1,,cn}A \subseteq \{1, \ldots, \lfloor c n \rfloor\} such that nn is not a sum of a subset of AA? Does this depend on nn in an irregular way?

Sources

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

3 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

361.lean

Retained formal statement1 of 3

Let c>0c > 0 and nn be some large integer. What is the size of the largest set A{1,,cn}A \subseteq \{1, \ldots, \lfloor c n \rfloor\} such that nn is not a sum of a subset of AA? Does this depend on nn in an irregular way?

FormalConjectures/ErdosProblems/361.leanErdos361.erdos_3611 lineExact file
∀ (c : ℝ), 0 < cErdos361.subsetSumAvoidanceNumber c = sorry
OpenStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page