Erdős problem 361 · problems.science

Let $c > 0$ and $n$ be some large integer. What is the size of the largest set $A \subseteq \{1, \ldots, \lfloor c n \rfloor\}$ such that $n$ is not a sum of a subset of $A$ ? Does this depend on $n$ 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 statement2 of 3

Asymptotic version of Erdős Problem 361: determine the order of growth of the largest cardinality as $n \to \infty$ .

FormalConjectures/ErdosProblems/361.leanErdos361.erdos_361.asymptotic1 lineExact file

1∀ (c : ℝ), 0 < c → (fun n => ↑(Erdos361.subsetSumAvoidanceNumber c n)) =Θ[Filter.atTop] sorry

OpenStatement only, no proof

Sources

Search problems.science