Ark's Blog

引っ越しました→ https://blog.arkark.dev/

ようこそ

ARC087 E - Prefix-free Game のGrundy数の証明

この問題の解説

実験結果から分かるように,{g_i = }{i}を割り切る最大の2の冪)であることが示せます.

とあります。たしかに計算してみるとそうなるのですが、実際に成り立つのか気になるので証明しました。

続きを読む