因为 s i s_i si 可以去到 s i − p , s i + q … s_{i-p},s_{i+q}\dots si−p,si+q…,因此可以表示成 a p − b q ap-bq ap−bq 的形式。
本质:划分等价类,等价类有一个迭代的过程,怎么都可以走到 gcd ( p , q ) \gcd(p,q) gcd(p,q),但走不到更小的
因为 s i s_i si 可以去到 s i − p , s i + q … s_{i-p},s_{i+q}\dots si−p,si+q…,因此可以表示成 a p − b q ap-bq ap−bq 的形式。
本质:划分等价类,等价类有一个迭代的过程,怎么都可以走到 gcd ( p , q ) \gcd(p,q) gcd(p,q),但走不到更小的