HDU 4388 Stone Game II {博弈||找规律}

Stone Game II

Time Limit: 1000/1000 MS (Java/Others)    Memory Limit: 32768/32768 K (Java/Others)
Total Submission(s): 531    Accepted Submission(s): 300

 

Problem Description

 

　　Stone Game II comes. It needs two players to play this game. There are some piles of stones on the desk at the beginning. Two players move the stones in turn. At each step of the game the player should do the following operations.
        First, choose a pile of stones. (We assume that the number of stones in this pile is n)
        Second, take some stones from this pile. Assume the number of stones left in this pile is k. The player must ensure that 0 < k < n and (k XOR n) < n, otherwise he loses.
        At last, add a new pile of size (k XOR n). Now the player can add a pile of size ((2*k) XOR n) instead of (k XOR n) (However, there is only one opportunity for each player in each game).
The first player who can't do these operations loses. Suppose two players will do their best in the game, you are asked to write a program to determine who will win the game.

Input

　　The first line contains the number T of test cases (T<=150). The first line of each test cases contains an integer number n (n<=50), denoting the number of piles. The following n integers describe the number of stones in each pile at the beginning of the game.
       You can assume that all the number of stones in each pile will not exceed 100,000.

Output

　　For each test case, print the case number and the answer. if the first player will win the game print "Yes"(quotes for clarity) in a single line, otherwise print "No"(quotes for clarity).

Sample Input

3

2

1 2

3

1 2 3

4

1 2 3 3

Sample Output

Case 1: No

Case 2: Yes

Case 3: No

 

这个题好啊，看了一会没什么思路。看题解发现自己还看错题了。

题目大意：

给出n堆物品，每堆物品都有若干件，现在A和B进行游戏，每人每轮操作一次，按照如下规则：

1. 任意选择一个堆，假设该堆有x个物品，从中选择k个，要保证0<k<x且0<(x^k)<x。

2. 再增加一个大小为x^k的堆（也就相当于将一个x个物品的堆变成一个k个物品的堆和一个x^k个物品的堆），另外有一个技能，可以将这个大小为x^k的堆变成(2*k)^x的堆，但是这个技能每个人只有一次机会可以使用。

现在问两人轮流操作，都采取最优策略，最后不能操作的人输，问谁会赢。

解题思路

把每堆原来a个物品分成两堆，k和k^a，证明得，这样分堆，不会影响二进制中1的总数的奇偶性，（后面会给出证明）为什么要考虑二进制呢？

注意题目中的条件，x^k<x，所以当x的二进制表示中只有一个1时就不能再分了。所以终止条件也有了。

对于操作，因为是乘二，所以并不影响奇偶性结果。

设一堆数目中二进制表示1的个数是m，则所有要操作的步骤就是所有的（m-1）加起来。讨论这个总数的奇偶性就行了。

为何分堆不影响二进制中1的总数的奇偶性？

考虑x的某一位p，分四种情况：

1. 如果x的第p位为1且k的第p位也为1，那么(x^k)的第p位就是0.

2. 如果x的第p位为1且k的第p位也为0，那么(x^k)的第p位就是1.

3. 如果x的第p位为0且k的第p位也为1，那么(x^k)的第p位就是1.

4. 如果x的第p位为0且k的第p位也为0，那么(x^k)的第p位就是0.

综上，此题可以解决。

如何统计二进制中1的个数？

可以对2不断取模进行，也可以使用n&(n-1)

后面的证明看博客https://blog.csdn.net/u013243347/article/details/52220551

/**
 *　　　　　　  　　┏┓　　 　┏┓
 * 　　　　　  　　┏┛┗━━━━━━━┛┗━━━┓
 * 　　　　　  　　┃　　　　　　　┃ 　
 * 　　　　　  　　┃　　　━　　 　┃
 * 　　　　　  　　┃　＞　　　＜　┃
 * 　　　　　  　　┃　　　　　　　┃
 * 　　　　　  　　┃...　⌒　... 　┃
 * 　　　　　　  　┃              ┃
 * 　　　　　　  　┗━┓          ┏━┛
 * 　　　　　　　　　┃          ┃　Code is far away from bug with the animal protecting　　　　　　　　　　
 * 　　　　　　　　　┃          ┃   神兽保佑,代码无bug
 * 　　　　　　　　　┃          ┃　　　　　　　　　　　
 * 　　　　　　　　　┃          ┃  　　　　　　
 * 　　　　　　　　　┃          ┃
 * 　　　　　　　　　┃          ┃　　　　　　　　　　　
 * 　　　　　　　　　┃          ┗━━━┓
 * 　　　　　　　　　┃              ┣┓
 * 　　　　　　　　　┃              ┏┛
 * 　　　　　　　　　┗┓┓┏━━━━━━━━┳┓┏┛
 * 　　　　　　　　　　┃┫┫       ┃┫┫
 * 　　　　　　　　　　┗┻┛       ┗┻┛
 */ 
#include<iostream>
#include<cstdio>
#include<cmath>
#include<cstring>
#include<algorithm>
#include<map>
#include<vector>
#define mem(a,b) memset(a,b,sizeof(a))
#define ll long long
#define inf 1000000000
#define maxn 1005
#define maxm 100005
#define eps 1e-10
#define for0(i,maxn) for(int i=1;i<=(maxn);++i)
#define for1(i,maxn) for(int i=1;i<=(maxn);++i)
#define for2(i,x,y) for(int i=(x);i<=(y);++i)
#define for3(i,x,y) for(int i=(x);i>=(y);--i)
#define mod 1000000007
using namespace std;
inline int read()
{
    int x=0,f=1;char ch=getchar();
    while(ch<'0'||ch>'9') {if(ch=='-') f=-1;ch=getchar();}
    while(ch>='0'&&ch<='9') {x=10*x+ch-'0';ch=getchar();}
    return x*f;
}
int getsg(int n)
{
    int count=0;
    while(n)
    {
        n&=(n-1);
        count++;
    }
    return count;
}
int main()
{
    int T,n;
    T=read();
    int index=0;
    while(T--)
    {
        printf("Case %d: ",++index);
        n=read();
        int ans=0;
        for(int i=1;i<=n;++i) ans+=(getsg(read())-1);
        if(ans&1) puts("Yes");
        else puts("No");
    }
}