【原创】POJ 3922 HDU 2486 HDU 2580 A simplestone game

POJ - 3922

Description

After he has learned how to play Nim game, Mike begins to try another stone game which seems much easier.

The game goes like this: Two players start the game with a pile of n stones. They take stones from the pile in turn and every time they take at least one stone. The one who goes first can take at most $n-1$ stones for his first move. From then on a player can take at most k times as many stones as his opponent has taken last time. For example, if one player take m stones in his turn, then the other player can take at most $k\ast m$ stones next time. The player who takes the last stone wins the game. Suppose that those two players always take the best moves and never make mistakes, your job is to find out who will definitely win the game.

Input

The first line contains a integer $t$, indicating that there are $t$ test cases following.$(t<=20)$.
Each test case is a line consisting of two integer n and k.$(2<=n<=10^8,1<=k<=10^5)$

Output

For each test case, output one line starting with “$CaseN:$”, $N$ is the case number. And then, if the first player can ensure a winning, print the minimum number of stones he should take in his first turn. Otherwise, print “$lose$”. Please note that there is a blank following the colon.

Sample Input

5
16 1
11 1
32 2
34 2
19 3

Sample Output

Case 1: lose
Case 2: 1
Case 3: 3
Case 4: lose
Case 5: 4

Hint

When k = 1, the first player will definitely lose if the initial amount of stones is in the set {2, 4, 8, 16, 32, …}. Let’s call this kind of set “first-player-lose set”.

When k = 2, the first-player-lose set is {2, 3, 5, 8, 13, 21, 34, 57 …} , which happens to be the Fibonacci sequence starting from 2.

---

分析

我太难了。

K=1

如果$K=1$，无解的答案为$2^n$。先手的必胜策略是取$n$的最后一位$1$，如$(25{)}_{1}0=(11001{)}_2$就取走$1$个石子，$(24{)}_{1}0=(11000{)}_2$，就取走$8$个石头；这样对手无论如何取都会把若干个$0$取为$1$，然后你再取$n$的最后一位。这样保证了始终是你把$1$态变为$0$态，对手把$0$态变为$1$态。周而复始，最后把石头取完的一定是你。

---

K=2

如果$K=2$，就是经典的斐波那契博弈问题。无解的答案为斐波那契数。

证明如下：
如果$n$为斐波那契数$f_i$，考虑数学第二归纳法证明：

如果$i=3，f_i=2$，先手只能取一颗，显然必败；
假设对于$i>3$，$\forall 3\le j<i$都有$“n=f_j时是先手必败态”$成立，现在只需证明$f_i=f_{i-2}+f_{i-1}$也是必败态。

稍微性感性一点的理解的话：

如果我先手取的石头数量比较大，比如说取了$\ge f_{i-2}$颗石头，那么后手就会赢。
因为$f_{i-1}<2\ast f_{i-2}$，剩下的石头至多是$f_{i-1}$颗，而这是先手2倍以内，可以被后手一步取完。

如果我先手取的石头比较少，比如取了$<f_{i-2}$颗石头，那么后手还是会赢。
因为由我们之前的假设可知，对于前$f_{i-2}$的最后一颗石头（相当于一个$f_{i-2}$的子问题，而这已经在我们第二归纳法的假设中假设成立了）肯定可以由后手取到，此时留给我们先手的是$f_{i-1}$颗石头，而这也已经被假设为必败态了，先手$GG$了。

你说，当来到$f_{i-1}$颗石头的时候，因为上一局后手已经取过了，先手的取石子数有限制，这怎么办？
这不怎么办。必败态就是决定了你无论怎么取石头都会输的必败态，怎么挣扎都是$木大木大哒$的。

接下来证明所有非斐波那契数都是必胜态。
由齐肯多夫定理知，任意一个正整数都可以表示为若干个不相邻的斐波那契数之和（相邻的就可以直接合成为一个新的斐波那契数了，这样不断合成直至最后就可以不相邻了）。
设$n=f_{a_1}+f_{a_2}+\cdots +f_{a_k}（假设是从小到大排序）$，如$9=1+8，19=1+5+13$。

那么我们先手先取走$f_{a_1}$，因为不相邻，所以有$f_{a_2}>2\ast f_{a_1}$，故后手无论如何取都不能把$f_{a_2}$取完，于是这里又变成了一个$f_{a_2}$的子问题，由上文知，这$f_{a_2}$的最后一颗石头一定是我先手取到。同理，对于每个$f_{a_i}$的子问题，都是后手在面对，而最后一颗总是在我手上。

仔细想想，发现K=1和K=2的情况是很类似的，二者的不同就在于一个是用$2^i$数列，一个是用斐波那契数列。

---

任意的K

对于$K>2$的情况。
由$K=2$的情况得到启发，能不能把$n$写成若干数的和，$n=a_1+a_2+\cdots +a_k$，进行类似的操作？
（即我取走$a_1$，就有：你不能一步取完$a_2$，并且经过若干步以后，$a_2$的最后一颗石头总是我的）

如果存在一种类似于$2^i$数列和斐波那契数列的数列 { a } = { a 1 , a 2 , a 3 , ⋯ &ThinSpace; } \{a\}=\{a_1,a_2,a_3,\cdots\} {a}={a1​,a2​,a3​,⋯}，使得任何正整数$n$能用 { a } \{a\} {a}中的数求和得到，并且我们选中的数$a_1+a_2+\cdots +a_k（假设从小到大排序）$中，$\forall 1\le i<k，有a_{i+1}>K\times a_i$，我们就可以用类似的方法：如果在这个数列中的数是必败态，而不在其中的，先手取最小的那一部分然后必胜，来判断是否能赢。

这个数列怎么找呢……
首先，我们记录一个数组$b_{i-1}$，代表只用前$i-1$项能够构造出的最大的数。
比如$K=2$时，$a=1,2,3,5,8,13,21,\cdots$，那么$b_3$代表只用$1,2,3$的斐波那契数能构造的最大数，即$4=1+3$，而非$5=2+3$，也不是$6=1+2+3$，因为$5=5$，$6=1+5$。
不过当$K>2$时，我们不知道$5$和$6$是不是，我们可以令$b_3=6$，之后选$a_4$的时候不选5就是了。

然后再次使用归纳法。
假设已经找到了前$i-1$项：$a_1,a_2,a_3,\cdots ,a_{i-1}$，也求出了$b_1,b_2,b_3,\cdots ,b_{i-1}$。因为我们要让任意自然数都能组合出来，但我们最大只能造出$b_{i-1}$，更大一点儿的数，比如$b_{i-1}+1$怎么组合出来呢？当然不能组合出来呢，$b$数组已经决定了这一点。那么，为了把$b_{i-1}+1$组合出来，我们不得不把$b_{i-1}+1$加入$a$数组中。
于是得到$a_i=b_{i-1}+1$。

现在我们有了$a_i$，考虑怎么求$b_i$。因为我们构造出的$b_i=a{c}_1+a_{c_2}+\cdots +a_{c_k}$要满足$\forall 1\le z<k，有a_{c_{z+1}}>K\times a_{c_z}$。于是我们先选上$a_i$，再往前找到第一个满足$a_i>K\times a_t$的t，于是就得到$b_i=a_i+b_t$。

为什么要先选上$a_i$呢？
这是显然的……因为不用上$a_i$，你就是在求$b_{i-1}$……
然后选上了$a_i$以后就是一个简单的贪心……

为什么这样做能保证所有不在 { a } \{a\} {a}里的数都能被选中？
因为由于定义，$b_i$以前的所有数都可以被组合出来，而$b_i$以后是直接+1得到$a_{i+1}$，然后由于定义，$[b_i,b_{i+1}]$的数都可以组合出来。然后继续重复……所以只统计最大是可以关照到所有的数的……
关键问题是为什么这么定义就是对的？也就是问为什么 $b_i$可以 并且 $b_{i+1}$可以 就能保证$[b_i,b_{i+1}]$都可以？
emmm……荒废了一个小时以后发现我的能力不足以独立证明……
为什么能保证$n=b_i+t,1\le t\le b_{i+1}-b_i$能由不重复的 { a } \{a\} {a}组合出来呢？是分为$b_i$和$t$两部分吗，但这又怎么保证不重复呢？
如果K=2时斐波那契数可以直接合并，那么$K̸=2$时呢？
其实我们上述的操作已经类似于求证齐肯多夫定理了…………所以请参见广义齐肯多夫定理？

P.S.这篇博客就是求证了一遍齐肯多夫定理再拓展到广义齐肯多夫定理……

---

代码实现

于是你就把 { a } &amp; { b } \{a\}\And \{b\} {a}&{b}手跑出来……然后看$n$是不是其中一项……

#include<cmath>  
#include<cstdio> 
#include<cstring>  
#include<algorithm>  
using namespace std;  

void Read(int &p)
{
	p=0;
	char c=getchar();
	while(c<'0' || c>'9') c=getchar();
	while(c>='0'  && c<='9') 
		p=p*10+c-'0',c=getchar();
}

const int MAXN=2002030;
int t,n,k,a,b,id,ans,arr[MAXN],brr[MAXN];

int main()
{
	Read(t);
	while(t--)
	{
		id++;
		Read(n),Read(k);
		if(n<=k+1){printf("Case %d: lose\n",id);continue;}
		
		a=0,b=0,arr[0]=brr[0]=1;
		while(arr[a]<n)
		{
			a++,arr[a]=brr[a-1]+1;
			while(arr[b+1]*k<arr[a]) b++;
			brr[a]=arr[a]+(arr[b]*k<arr[a])*brr[b];
		}
				
		if(arr[a]==n) {printf("Case %d: lose\n",id);continue;}

		while(n)
		{
			if(n>=arr[a]) ans=arr[a],n-=arr[a];
			a--;
		}
		printf("Case %d: %d\n",id,ans);
	} 
}

---

代码里要有个小优化……

说在后面

为什么你的博客里要有这么多无意义的显然的自问自答？
因为这是我在想的时候真的考虑到的东西，卡了好久发现啊真显然啊太没意义了啊……