HDU 1847 (博弈 找规律) Good Luck in CET-4 Everybody!

为了提高题解质量还是简单证明一下：3的倍数是必败状态。

• 如果n % 3 = 1，那么拿走1个石子；如果n % 3 = 2，那么拿走两个石子，都将转移到3的倍数的状态。所以每个必胜状态都有一个后继是必败状态。
• 如果n % 3 = 0，因为2ⁱ里面没有一个是3的倍数，所以不管怎么拿，剩下的石子数n' % 3 != 0.所以每个必败状态的所有后继都是必胜状态。

证必。

 1 #include <cstdio>

 2 

 3 int main()

 4 {

 5     int n;

 6     while(scanf("%d", &n) == 1 && n)

 7         printf("%s\n", n % 3 ? "Kiki" : "Cici");

 8 

 9     return 0;

10 }

代码君