4.
记某局面有N堆,数量为0<a[1]<=a[2]<=...<=a[N-1]<=a[N].
记L为所有使得2|N,a[1]=a[2],a[3]=a[4],...,a[N-1]=a[N]的局面.
(显然引用 局面恰好可以分成若干组使得每组都是数量相同的两堆 为L中局面通俗的等价说法.)
我们将证明L即败局集.
I.
对一个L中的局面进行操作,若取石子的堆本来有k个,根据新增规则,
i.原先多于k个的堆在操作后不变;
ii.原先恰有k个的堆在操作后不变,除了取出石子的堆减少了;
iii.原先少于k个的堆在操作后仍然少于k个.
综上,操作后恰有k个的堆恰好比操作前少1.
显然L中局面中某数量的堆的数量必为偶数,故L中局面经操作后不在L中.
II.
对一个不在L中的局面0<a[1]<=a[2]<=...<=a[N-1]<=a[N],我们证明可以进行操作使得操作后局面属于L.
不妨设a[N-1]<a[N],否则不断将最多的两堆无视掉,直至剩下的堆中最多的两堆不一样多或只剩不足两堆:
每次无视掉的都是一样多的两堆,若剩下的堆可操作为L中局面,那么加上被无视的堆后显然仍为L中局面.
i.2|N-1
取走a[N],同时将a[1],a[3],...,a[k-2]分别增加为a[2],a[4],...,a[N-1].
增加的堆最多变为a[N-1]<a[N],
增加的石子总数为(a[2]-a[1])+(a[4]-a[3])+...+(a[N-1]-a[N-2])=a[N-1]-(a[N-2]-a[N-3])-(a[N-4]-a[N-5])-...-(a[3]-a[2])-a[1]<a[N],
为合法操作.
显然此操作后的局面属于L.
ii.2|N
将a[N]取走a[N]-a[1]变为a[1],同时将a[2],a[4],...,a[N-2]分别增加为a[3],a[5],...,a[N-1].
增加的堆最多变为a[N-1]<a[N],
增加的石子总数为(a[3]-a[2])+(a[5]-a[4])+...+(a[N-1]-a[N-2])=a[N-1]-(a[N-2]-a[N-3])-(a[N-4]-a[N-5])-...-(a[4]-a[3])-a[2]<a[N]-a[1],
为合法操作.
显然此操作后的局面属于L.
综上,L即为此博弈的败局集. |