No label defined (Q4256476)

Für \(A\subseteq \mathbb{N}\) bedeutet \(s^\wedge A\) die Menge der ganzen Zahlen, die sich als Summe von \(s\) paarweise verschiedenen Elementen aus \(A\) darstellen lassen. Die Menge \(A\subseteq \mathbb{N}\) heißt zulässig (admissible) genau dann, wenn für \(s\neq t\) folgt \(s^\wedge A\cap t^\wedge A = \emptyset\) (leere Menge). \textit{E. G. Straus} [J. Math. Sci. 1, 77-80 (1966; Zbl 0149.28503)] zeigte, daß für eine Menge \(A\subseteq[1,N]\) die Menge \(\{N-k+1, N-k+2,\dots,N\}\) genau dann zulässig ist, wenn gilt \(k\leq\sqrt{N+\frac 14}-1\). In dieser Arbeit zeigen die Verff. (Theorem 1): Es gibt ein \(N_0\in\mathbb{N}\), so daß für jedes \(N\geq N_0\) und jede zulässige Menge \(A\subseteq[1,N]\) gilt \(\text{Card }A\leq 2\sqrt{N+\frac 14}-1\). Damit wird eine Vermutung von P. Erdös für große \(N\) bewiesen. For the entire collection see [Zbl 0919.00044].