当 n 为偶数时,将集合指标按模 2n+1 循环编号;若 j−i 是 n 个剩余类 −n/2,...,−1,1,...,n/2 之一,就给 (i,j) 标 0,其余标 1。这样每个 A_i 恰有 n 个 0。