UTPC Contest 09-08-23 Div. 1 I
首先对于每一堆考虑SG函数
考虑如果只能取一个,那么SG函数是10101010…然后观察出这个东西具有奇偶性
考虑如果 f m o d 2 = 1 f~mod~2=1 f mod 2=1 那么奇偶性不变
考虑如果 f m o d 2 = 0 f~mod~2=0 f mod 2=0 那么考虑 f f f 位置,发现同时和 0 位置的 0 和 f − 1 f-1 f−1 位置的 1 1 1 取mex,得2
然后思考 f + 1 f+1 f+1 位置 和 f , 1 f,1 f,1 位置取mex 而 1 位置是 1,得mex=0
我们得到了一个周期为 f + 1 f+1 f+1 的规律 2101…01010
wait? f 2 f^2 f2 呢
我们发现这种情况下,对于第一个可以这么操作的位置( f 2 f^2 f2),假设它在周期区间从左往右的距离是w,那么映射到的位置相当于从右往左f-w
w与f-w的奇偶性质相同,而f+1是个奇长度区间,所以可以说明f-w位置就和w的前一个位置的SG函数相等
更一般地,对于 f k f^k fk,因为 f f f 和 f + 1 f+1 f+1 互质,则 f + 1 ∣ f k f+1|f^k f+1∣fk 恒不成立 (引理1)
考虑
f
k
m
o
d
(
k
+
1
)
=
t
1
f^k~mod (k+1)=t1
fk mod(k+1)=t1 则
f
k
=
t
1
+
t
2
∗
(
f
+
1
)
f^k=t1+t2*(f+1)
fk=t1+t2∗(f+1)
可发现
t
1
,
t
2
t1,t2
t1,t2 奇偶性相同
我们发现
f
m
o
d
(
f
+
1
)
=
f
f~mod (f+1)=f
f mod(f+1)=f
又
f
2
m
o
d
(
f
+
1
)
=
1
f^2~mod (f+1)=1
f2 mod(f+1)=1
f^2=t1(f+1)+t2 找最大的t1
如果t1=f 显然不成立
那么最大的t1=f+1 此时t2=1
我们又知道取模是封闭的,乘法和取模的顺序不影响结果
所以我们得到取模的结果只有 f , 1 f,1 f,1 !!
而我们又从引理1证明了不会踩到SG值(mex值)相同的点
因此 f k f^k fk 的操作不会使得mex变化
证得只有走 1 , f 1,f 1,f 是有效操作,可对应算出SG函数