对怎样的正整数n，存在2n个整数a₁, a₂, …, a(n), b₁, b₂,,…, b(n), 满足
① 对任何1≤ i ≤ n, a(i) - b(i) ≡ i 或 -i (mod 2n)
② 这2n个整数组成一组模2n的完全剩余系