FxorG

摘要： 记 $b$ 为可用步数序列，长度为 $m$。 考虑必要性，即每个点都能通过 $b$ 的线性组合在模 $n$ 意义下表示出来。 即 $b_1x_1+b_2x_2+...+b_mx_m+nx_{m+1}$ 能表示出来 $[0,n)$ 中的每个数，这一部分根据裴蜀定理可得。 这个条件可能是充要的，考虑证明 阅读全文