蓝桥杯—高僧斗法（JAVA实现，尼姆游戏）

一、题目

资源限制
时间限制：1.0s 内存限制：256.0MB
问题描述
　　古时丧葬活动中经常请高僧做法事。仪式结束后，有时会有“高僧斗法”的趣味节目，以舒缓压抑的气氛。
　　节目大略步骤为：先用粮食（一般是稻米）在地上“画”出若干级台阶（表示N级浮屠）。又有若干小和尚随机地“站”在某个台阶上。最高一级台阶必须站人，其它任意。(如图1所示)
　　两位参加游戏的法师分别指挥某个小和尚向上走任意多级的台阶，但会被站在高级台阶上的小和尚阻挡，不能越过。两个小和尚也不能站在同一台阶，也不能向低级台阶移动。
　　两法师轮流发出指令，最后所有小和尚必然会都挤在高段台阶，再也不能向上移动。轮到哪个法师指挥时无法继续移动，则游戏结束，该法师认输。
　　对于已知的台阶数和小和尚的分布位置，请你计算先发指令的法师该如何决策才能保证胜出。
输入格式
　　输入数据为一行用空格分开的N个整数，表示小和尚的位置。台阶序号从1算起，所以最后一个小和尚的位置即是台阶的总数。（N<100, 台阶总数<1000）
输出格式
　　输出为一行用空格分开的两个整数: A B, 表示把A位置的小和尚移动到B位置。若有多个解，输出A值较小的解，若无解则输出-1。
样例输入
1 5 9
样例输出
1 4
样例输入
1 5 8 10
样例输出
1 3

二、解题思路

这个题目就是一类尼姆游戏。之前不知道尼姆游戏是什么，看了大佬的解析1和大佬的解析2懂了什么是尼姆游戏和理解了题意。接下来就是想着怎么把这道题目转换成尼姆游戏。

单纯以小石子为例的话，并不适用这道题目，所以这道题以两个小和尚为一对，如果移动了一个小和尚，会影响前一个对之间的距离。注意：如果从低到高有a,b,c,d四个小和尚，那么成（a,b）(c,d)两对，b和c之间的距离对结果不会有什么影响，因为c如果往前多少阶梯移动，b也可以往前有多少个阶梯的移动，这就是为什么计算异或值的时候要"i+=2"，要跳过b、c中间的距离。

总的来说，尼姆游戏这类问题，就是考虑异或值的问题，先手异或值为非0就赢，为0就输，先手异或值为非0时，创造一个异或值为0的状况（就是挖一个坑），后手无论怎么拿，异或值都会变回非0，这样先手就胜券在握了。

三、代码实现

import java.util.Scanner;
public class Main {
	static boolean []flag;
	public static void main(String[] args){
		int []a=new int[110];
		int []b=new int[110];
		int n=0,sum=0;
		Scanner sc=new Scanner(System.in);
		Scanner scc=new Scanner(sc.nextLine());
		while(scc.hasNext()) {
			a[n]=scc.nextInt();	//输入每个和尚所在的阶梯
			n++;
		}
		for(int i=1;i<n;i++) {
			b[i-1]=a[i]-a[i-1]-1; 	//转换成nim博弈问题
		}
		for(int i=0;i<n-1;i+=2) {	//因为一对人的后一个人跟前一对的前一个人之间有多少台阶不影响结果
			sum^=b[i];	//异或运算
		}
		if(sum==0) {	//先手异或为0就输了
			System.out.println("-1");
		}
		else {//先手必赢，找到一步把异或变为0，让后手只能帮你变成非0，这样稳赢
			for(int i=0;i<n-1;i++) {	//枚举每一对的移动，使得异或等于0
				for(int j=1;a[i]+j<a[i+1];++j) {	//枚举每个人的移动步数，约束条件是低于后一个人的台阶
					b[i]-=j;
					if(i!=0) b[i-1]+=j;	//如果不是第一个对移动，那它的前一个对会加上你移动的步数
					sum=0;	//初始化一下异或值
					for(int k=0;k<n-1;k+=2) {	//算一下移动后的异或值
						sum^=b[k];
					}
					if(sum==0) {	//等于0那就先手赢了
						System.out.println(a[i]+" "+(a[i]+j));
						break;
					}
					b[i]+=j;	//如果没赢就把刚刚移动的还原
					if(i!=0) {
						b[i-1]-=j;
					}
				}
			}
		}
	}	
}