【洛谷】P4018 Roy&October之取石子（配数学证明）

题目地址：

https://www.luogu.com.cn/problem/P4018

题目背景：
Roy 和 October 两人在玩一个取石子的游戏。

题目描述：
游戏规则是这样的：共有$n$个石子，两人每次都只能取 $p^k$个（$p$为质数，$k$为自然数，且$p^k$小于等于当前剩余石子数），谁取走最后一个石子，谁就赢了。现在October先取，问她有没有必胜策略。若她有必胜策略，输出一行October wins!；否则输出一行Roy wins!。

输入格式：
第$1$行一个正整数$T$，表示测试点组数。
第$2$行$\sim$第$T+1$ 行，一行一个正整数$n$，表示石子个数。

输出格式：
$T$行，每行分别为October wins!或Roy wins!。

数据范围：
对于$30\%$的数据，$1\le n\le 30$；
对于$60\%$的数据，$1\le n\le 10^6$；
对于$100\%$的数据，$1\le n\le 5\times 10^7$, $1\le T\le 10^5$。

可以证明$6k,k=0,1,2,...$是必败态。$0$显然是必败态。由于$\nexists p,6=p^m$，所以这些态互相不可达；而由于$1=p^0,4=2^2$，而$2,3,5$都是素数，所以别的状态都能到$6k$的状态。所以$6k$是必败态。代码如下：

#include <iostream>
using namespace std;

int main() {
  int T;
  scanf("%d", &T);
  while (T--) {
    int x;
    scanf("%d", &x);
    x % 6 ? puts("October wins!") : puts("Roy wins!");
  }
}

每组数据时空复杂度$O(1)$。