[K倍动态减法问题] HDU 2486 & HDU2580 & POJ3922 a simple stone game

这就是斐波那契博弈的加强版
对于某些特定的$K$ 我们有结论

• $K=1$ 后手必胜当且仅当$n$是$2$的次幂 先手的策略是取$lowbit(n)$
  • $K=2$ 后手必胜当且仅当$n$是斐波那契数 先手的策略是取$n$的斐波那契拆分中最小的数

  这道题 我们仿照斐波那契博弈的构造方法
  构造一个数列$a_n$
  将每个自然数都表示成$a_n$中不连续的几项的和 $f_1 + f_2 + \cdots +f_n$
  数列$f_n$中 $f_{j+1} > K*f_j$ 即满足题中的k倍关系

  • 如果该堆石子恰是数列$a_n$中的一项 后手必胜
  • 否则 该堆石子可以表示为$a_n$中的不连续几项的和 先手必胜 策略是取其中$f_1$个石子 后手取走的石子不会超过$f_2$个 继续上述策略 后手永远取不完石子

  下面程序中 $a$即表示这个序列 $b$作为辅助数组表示前$i$个的$a$能够按规则构造出的最大的数

  #include<cstdio>
  #include<cstdlib>
  #include<algorithm>
  #define read(x) scanf("%d",&(x))
  using namespace std;
  
  const int N=5000005;
  int n,K,a[N],b[N];
  
  int main(){
    int T,Case=0;
    freopen("t.in","r",stdin);
    freopen("t.out","w",stdout);
    read(T);
    while (T--){
      read(n); read(K);
      int x=0,y=0;
      while (a[x]<n){
        a[++x]=b[x-1]+1;
        while (a[y+1]*K<a[x]) y++;
        if (a[y]*K<a[x])
      b[x]=b[y]+a[x];
        else
      b[x]=a[x];
      }
      printf("Case %d: ",++Case);
      if (n==a[x]) printf("lose\n");
      else{
        int ans;
        for (;n;x--) if (n>=a[x]) n-=a[x],ans=a[x];
        printf("%d\n",ans);
      }
    }
    return 0;
  }