摘要： $f (x_1, x_2...x_n, i)$ 表示三进制为 $\overline{x_1x_2...x_n}_{(3)}$，后 $n - i + 1$ 位确定，前 $i - 1$ 位要求实际上任意位与 $x_j$ 相差不超过 $1$，即 $\forall j \leq i - 1, |fact_j 阅读全文