Maximal evenness: Difference between revisions
| Line 6: | Line 6: | ||
== Formal definition == | == Formal definition == | ||
Mathematically, if ''n'' < ''m'', a ''maximally even (sub)set of size n'' in '''Z'''/''m'''''Z''' is any translate of the set | Mathematically, if 0 < ''n'' < ''m'', a ''maximally even (sub)set of size n'' in '''Z'''/''m'''''Z''' is any translate of the set | ||
<math>\operatorname{ME}(n, m) = \{ \mathbb{Z} + \lceil \frac{im}{n} \rceil : i \in \{1, ..., n\} \} \subseteq \mathbb{Z}/m\mathbb{Z},</math> | <math>\operatorname{ME}(n, m) = \{ \mathbb{Z} + \lceil \frac{im}{n} \rceil : i \in \{1, ..., n\} \} \subseteq \mathbb{Z}/m\mathbb{Z},</math> | ||