08/11/20 03:10:38
a,bが互いに素な整数のとき、任意の自然数nに対して
ax + by = n
は整数解を持つ。
とくに0≦x≦b-1を満たすように取る事ができる。
このときy = (n-ax)/b ≧ (n-a(b-1))/b
なので、n ≧ a(b-1)ならば、とくに(x,y)が非負の解を持つ。
このことは、今までに挙げられた中に互いに素な数が一組でもあるとき、Sの補集合が有限集合になることを意味している。
また、このゲームにおいて、
(ⅰ)2が挙げられたとき、Sは3を含まない。
(ⅱ)3が挙げられたとき、Sは2を含まない。
(ⅲ)2と3がともに挙げられた時点でSに含まれないのは1のみ
また、4以上の数が挙げられても2も3もSに含まれる事は無いので、両者は完全に見合いになっており、要するにこのゲームは
「相手に2か3を言わせたほうが勝ち」である。
例えば、{初手,二手目}={4,5}のときSの補集合={1,2,3,6,7,11}であり、
ここで先手が11を言えば{1,2,3,6,7}になる。
この6と7も見合いになっているのでこれは先手の勝ち。
一般に、もし先手があげた数が素数pだったら後手はpと素な数を言わざるを得ないので
そこでSに含まれない数の全体(有限)が必ず先手勝ちになるpがあるのか、
それともどんなpに対しても後手勝ちにできる二手目があるのかとか色々考えてみたけどよーわからん。