关于整数集合的加性完备

设B是k个整数组成的集合,N是充分大的整数,假定对每个正整数n≤N,至少存在一个b∈B,使得n=λ~2+b,其中λ为正整数。Erds最早提出了k的下界估计问题,即是否存在c_0>0,使得k≥(1+c_0)N~(1/2),Moser首先定出了c_0=0.06,以后Donagi和Herzog证明了c_0=0.125;Abbott证明了c_0=0.147,他们都假设B为