In additive number theory and combinatorics, a restricted sumset has the form
where A1,…,An{\displaystyle A_{1},\ldots ,A_{n}} are finite nonempty subsets of a field F and P(x1,…,xn){\displaystyle P(x_{1},\ldots ,x_{n})} is a polynomial over F.
When P(x1,…,xn)=1{\displaystyle P(x_{1},\ldots ,x_{n})=1}, S is the usual sumset A1+⋯+An{\displaystyle A_{1}+\cdots +A_{n}} which is denoted by nA if A1=⋯=An=A{\displaystyle A_{1}=\cdots =A_{n}=A}; when