POJ - 1740 (A New Stone Game)

题意：给定 n 堆石子，每回合有两个操作：

①选择一堆不为 0 的石堆取走至少一块石子；

②取走后从这堆石子中剩下的选取任意移到其它任意不为0的石堆(这步操作可选可不选)；

若无法进行步骤①则算败，问先手是否必胜；

 

分析：

Ⅰ：先考虑有两堆数量相同的石子，不论先手如何操作，后手都有相应的操作保持自己是必胜方，这一点需要理解，

例如 对于(2,2)：

① 若先手 操作之后 为(0,2) 那么后手操作之后为 (0,0) ,后手胜；

② 若先手 操作之后 为(0,3) 那么后手操作之后为 (0,0) ,后手胜；

③ 若先手 操作之后 为(1,2) 那么后手操作之后为 (1,1) ,后手胜；

在这种局势下，后手总有对应方法保证自己必胜，然后我们再延伸考虑有偶数个石堆，且两两相等的情况，不管先手如何操作，后手总有对应方案使得整个局势又回到偶数对个石堆，且两两相等的情况，因此，这类情况下，后手必胜；

Ⅱ：然后考虑偶数个石堆，但不满足两两相等的情况，这种情况下先手可以配对石子最少的石堆和石子最多的石堆，然后多余的石子填充两两相邻的石堆使其数量一致，这样局势就回到了前面一种情况，此时先手必胜；

问题是为什么可以这样操作：我们假设有 2*n 个石堆，石子最少的堆有 a 块，最多的有 b 块，那么中间的石堆数量都在 [a,b] 之间，我们把中间的 2*(n-1) 堆石堆按照升序排序，那么它们两两差值的和不会超过 b-a-1；

因为中间 2*(n-1) 块石堆最极端的情况可能是

① (a,a+1),(a+1,a+2)..(b-2,b-1),(b-1,b)...(b,b)；

② (a,a)...(a,a),(a,b-1),(b,b)...(b,b)；

③ (a,a)...(a,a),(a+1,b),(b,b)...(b,b)；

在这举例的三种极端情况下，填平需要的石块数量都是 b-a-1 块，其它情况都不会比这些更差，最后一堆石堆按操作①拿走至少 1 块后，还剩下 b-a-1 块可以任意移动，足够满足要求，所以此时先手必胜；

Ⅲ：最后考虑奇数个石堆，有了前面的经验，这种情况下先手可以直接搬空石子最多的石堆，然后多余的石子填充两两相邻的石堆使其数量一致，这样局势就回到了前面一种情况，此时先手必胜；

 

代码：

#include<vector>
#include<cstdio>
#include<iostream>
#include<algorithm>
using namespace std;

vector<int>s;

int main()
{
	int n;
	while(scanf("%d",&n)&&n){
	    s.clear();
		for(int i=0,x;i<n;i++){
		    scanf("%d",&x);
		    s.push_back(x);
	    }
	    if(n&1){
	    	puts("1");
	    	continue;
		}
	    sort(s.begin(),s.end());
	    bool flag=0;
	    for(int i=0;i<n;i+=2){
			if(s[i]!=s[i+1]){
				flag=1;
				break;
			}
		}
	    if(flag) puts("1");
	    else puts("0");
	}
}