xxx 个男组能将 nnn 名男子分成大小为 q,q+1q,q+1q,q+1 的组，当且仅当 xq≤n≤x(q+1)xq\le n\le x(q+1)xq≤n≤x(q+1)；女组同理给出 yq≤n≤y(q+1)yq\le n\le y(q+1)yq≤n≤y(q+1)。这些不等式是任何有效安排的必要条件。 yyy