Представимость суммой по модулю

[bot]

Найти такое наименьшее $m$, что все возможные суммы двух различных элементов любого m-элементного подмножества кольца $\mathbb Z/n\mathbb Z$ исчерпывают всё кольцо.

[Sonic86]

Если $n \geq 3$, то $m=[\frac{n}{2}]+2$.