相异加项的和集

设A，B为z的有穷子集，│A│=k,│B│=l。记S（A，B）={a+b:a∈A，b∈B，a≠b}。当k≠l时，│S（A，B）│≥k+l-2。本文给出了4≤k＜l时│S（A，B）│达到下界的充分必要条件。