bzoj 1982: [Spoj 2021]Moving Pebbles 博弈论

题意

任选一堆，首先拿掉至少一个石头,然后移动任意个石子到任意一些堆中. 谁不能移动了，谁就输了…
n<=100000

分析

题解根本就不是构造性的要怎么想。。。

答案就是如果把石子数相同的两堆两两配对能配成n/2对的话就是后手胜，否则就是先手胜。
证明：
首先证明这是必败局面。因为无论先手怎么做，后手总能跟先手做一样的操作，于是先手必败。
再证明其他局面下先手必胜。
若堆数为奇数，则我们把第一小和第二小配一堆，第三小和第四小配一堆。。。然后拿最大的来填补这些差值。显然是可以填补上的。
若堆数为偶数，则我们把第一小和第一大配一堆，第二小和第三小配一堆。。。然后拿最大的多出来的那部分来填补差值，显然是可以填补上的。
证毕。

代码

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<algorithm>
using namespace std;

int n,a[100005];

int main()
{
    scanf("%d",&n);
    if (n&1)
    {
        puts("first player");
        return 0;
    }
    for (int i=1;i<=n;i++) scanf("%s",&a[i]);
    sort(a+1,a+n+1);
    for (int i=1;i<=n;i+=2)
        if (a[i]!=a[i+1])
        {
            puts("first player");
            return 0;
        }
    puts("second player");
    return 0;
}