洛谷p2197题解

题目描述

甲，乙两个人玩 nim 取石子游戏。

nim 游戏的规则是这样的：地上有 n 堆石子（每堆石子数量小于 10^4），每人每次可从任意一堆石子里取出任意多枚石子扔掉，可以取完，不能不取。每次只能从一堆里取。最后没石子可取的人就输了。假如甲是先手，且告诉你这 n 堆石子的数量，他想知道是否存在先手必胜的策略。

输入格式

本题有多组测试数据。

第一行一个整数 T （T≤10T≤10），表示有 T 组数据

接下来每两行是一组数据，第一行一个整数 n，表示有 n 堆石子，n≤10^4。

第二行有 n 个数，表示每一堆石子的数量.

输出格式

共 T 行，每行表示如果对于这组数据存在先手必胜策略则输出 Yes，否则输出 No。

输入输出样例

输入 #1复制

2
2
1 1
2
1 0

输出 #1复制

No
Yes

结论：

如果所有石子数量异或和等于1，先手有必胜策略，否则没有。

证明：

设每 i 堆的石子数量为 si，则获胜的时候所有石子的异或和为0^0……^0=0，开始的时候石子的异或和为s1^s2^……^sn=任意正整数

希望下一步达到的状态就是 s1^s2……^sn=0

再下一步的状态就一定是s1^s2……^sn=任意正整数

直到全部变成零。

这样当然很好，但只是希望，但是如何让s1^s2……^sn=0呢？

s1^s2……^sn=num(num为任意正整数)

根据异或的性质num^num=0

只要两边同时异或上num，就会变成num^s1^s2……^sn=0

只要将num和si异或起来就可以了。

接下来只需要证明num^si<si

设二进制下num最高位为第k位一定为1，所以s中一定有一个数，si第k位为1，所以跟si异或一定会将si的一位变小，从而使si变小。

code：

这你也要抄

#include <bits/stdc++.h>
using namespace std;
long long ans,p,q,a1,a2,n,m,last,lastest;
int main(){
	cin>>p>>q>>a1>>a2>>n>>m;
	last=a1;
	lastest=a2;
	for(long long i=2;i<n;i++){
		ans=((p*last)%m+(q*lastest)%m)%m;
		last=lastest;
		lastest=ans;
	}
	cout<<last;
}

总结：评绿过分了