Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated


N. Alon, Subset sums, J. Number Theory 27 (1987), no. 2, 196-205, received 8 September 1986 (the page name's date). With f(n,m)f(n,m) the largest size of a set A⊆{1,…,n}A\subseteq\{1,\ldots,n\} with no subset summing to mm, Corollary 2.6 gives ⌈n/3⌉+1≤f(n,2n)<n/3+3+(1+3)r3(n)\lceil n/3\rceil+1\le f(n,2n)<n/3+3+(1+\sqrt3)r_3(n) for n≥2n\ge2, where r3(n)=o(n)r_3(n)=o(n) is the largest size of a subset of {1,…,n}\{1,\ldots,n\} with no three-term progression. So f(n,2n)=(1/3+o(1))nf(n,2n)=(1/3+o(1))n, which the paper says settles a problem of Erdős and Graham. The lower bound is the set of integers from ⌊2n/3⌋\lfloor2n/3\rfloor to nn. The upper bound applies Proposition 2.5, the quantitative form of the bounded zero-sum Theorem 1.1 that the later claims on Problem 361 use, to find at most two blocks of at most three elements whose sums give 2n2n. In this problem's notation, f1/2(n)=(1/6+o(1))nf_{1/2}(n)=(1/6+o(1))n along even nn.

Covers. The first question at c=1/2c=1/2 along even nn, asymptotically; nothing about odd nn or other cc. Together with the even integers below n/2n/2, which avoid every odd nn, it shows that f1/2(n)/nf_{1/2}(n)/n does not converge, the pair of limits 1/61/6 and 1/41/4 that Beyer de Ryke's Proposition 5.2 states ([[problems/integer_sequences/E0361/claims/2026_07_25_beyer_de_ryke|claim page]]).

Accepted: refereed (Journal of Number Theory). The site's commentary on the problem is empty and its label is OPEN, so there is no curator credit.

Depends on. Nothing in this wiki.