博弈论的一道例题

在前几天的校赛上被一道博弈论的题给干翻了，还是对博弈的过程和必胜态和必败态的分析上没有经验，题目如下：

Alice和Bob正在玩n堆石头的游戏。保证n是偶数。 第i堆有 ai 个石头。

Alice和Bob轮流玩一个游戏，Alice先手。

在每个玩家的回合中，他们必须选择 n/2 个非空的堆，并从每一个被选择的堆中移除数量为正值的石头。他们可以在一个回合中移除不同数量的石头。第一个无法移动的玩家输了(当非空堆少于n/2时)。

给定初始数据，决定谁将赢得比赛，输出赢得比赛的人。

输入描述:
第一行包含一个整数n(2≤n≤50)，即石头堆数。数据保证n是偶数。

第二行包含n个整数a1,a2，…，an(1≤ai≤50)—每堆堆中的石头的数量。

输出描述:
如果Alice赢了，打印一个字符串“Alice”;否则，打印“Bob”(不带双引号)。
示例1
输入
4
3 1 4 1
输出
Alice
说明
在示例中，Alice可以在第一次移动时从第一堆中移走2颗石子，从第三堆中移走3颗石子，以确保它获胜。
示例2
输入
4
1 1 1 2
输出
Bob
说明
Alice必须取n/2=2堆石子，不管怎么取，都会使一堆石子变为0。Bob将n/2堆取为0后，Alice就没办法继续取了，Bob胜。

看完题后感觉是怎样的？，总感觉是跟1的数量有关系，因为最后n/2如果是1，或者大于1的数量小于n/2，是必选的，这样去分析必胜态必败态，感觉对了。当时就是这样想的觉得切入点是对的，但是试了试样例只过了53%，然后以为是边界条件错了至于卡了一半，其实当时就应该想到的，即使边界条件错最多卡10%以内，错了一半说明两个人胜利的条件都错了，应该转换思路的。甩脱1对思路的限制是最重要的，可惜当时思考半个小时也没摆脱，唉！
其实思路是最小值的数量，1只是引导你往这个方向去想。
先手是A，后手是B。我们先来分析一种情况
6
2 2 3 2 2 4
对于这种情况，A先手，无论如何A都会选到一个2，使得这n堆石子的最小值变小，情
况就可能会变成
2 2 2 1 2 2
那么B就会选3堆2使其变成1，最小值不变
1 1 1 1 2 2
A再选就必然会使1堆出现0，A就输了。
由此我们可以得出一个结论：
当最小值个数 大于 n/2 时，A必然会选到一个最小值，使最小值变小，B会选 n/2 堆使
其变成当前最小值，A再选时又会使最小值变小，每一回合都是A使最小值变小，这样一直
循环下去，A总会最先使最小值变为0，B再选n/2堆使其变为0 ，A就输了。
所以，最终结论就是：当最小值个数小于n/2时，A赢，否则B赢。

#include<bits/stdc++.h>
#define ll long long
using namespace std;
const int qs=1e5+7;
int n,x,Min;
int main(){
 cin>>n;
 Min=qs;
 int cnt=0;
 for(int i=1;i<=n;++i){
 cin>>x;
 if(Min>x) Min=x,cnt=1;
 else if(Min==x) cnt++;
 }
 if(cnt<=n/2) cout<<"Alice\n";
 else cout<<"Bob\n";
 return 0;
}