蓝桥杯 历届试题 高僧斗法

问题描述

　　古时丧葬活动中经常请高僧做法事。仪式结束后，有时会有“高僧斗法”的趣味节目，以舒缓压抑的气氛。
　　节目大略步骤为：先用粮食（一般是稻米）在地上“画”出若干级台阶（表示N级浮屠）。又有若干小和尚随机地“站”在某个台阶上。最高一级台阶必须站人，其它任意。(如图1所示)
　　两位参加游戏的法师分别指挥某个小和尚向上走任意多级的台阶，但会被站在高级台阶上的小和尚阻挡，不能越过。两个小和尚也不能站在同一台阶，也不能向低级台阶移动。
　　两法师轮流发出指令，最后所有小和尚必然会都挤在高段台阶，再也不能向上移动。轮到哪个法师指挥时无法继续移动，则游戏结束，该法师认输。
　　对于已知的台阶数和小和尚的分布位置，请你计算先发指令的法师该如何决策才能保证胜出。

输入格式

　　输入数据为一行用空格分开的N个整数，表示小和尚的位置。台阶序号从1算起，所以最后一个小和尚的位置即是台阶的总数。（N<100, 台阶总数<1000）

输出格式

　　输出为一行用空格分开的两个整数: A B, 表示把A位置的小和尚移动到B位置。若有多个解，输出A值较小的解，若无解则输出-1。

样例输入

1 5 9

样例输出

1 4

样例输入

1 5 8 10

样例输出

1 3

解答：Nim博弈，将小和尚分组，异或操作

具体的Nim博弈思路和Nim博弈对此题的应用见大佬的解析：https://blog.dotcpp.com/a/57490

Nim博弈的重要思路就是使用异或操作，对当前游戏进行判断。若异或结果为0，则先开始的一定会输。若非零，则先开始的人需要找到一个方案使得操作后的状态异或结果为0，从而对手将输掉比赛。

loc = [int(i) for i in input().split()]    # 记录小和尚位置
n = len(loc)
group = [loc[i]-loc[i-1]-1 for i in range(1, n)]    # 相邻的小和尚两两配对，计算距离
# 求异或结果
s = 0
for i in range(0, len(group), 2):
    s ^= group[i]    

if s==0:    # 若开局异或结果为0，则必输无疑
    print(-1)
else:
    for i in range(n-1):    # 遍历每个小和尚，寻找可以使结果为0的移动方案
        for j in range(1, loc[i+1]-loc[i]):    # 前进步数
            group[i] -= j
            if i!=0:
                group[i-1] += j
            s = 0
            for k in range(0, len(group), 2):
                s ^= group[k]
            if s == 0:    # 找到可以赢的方案
                print(loc[i], loc[i]+j)
                exit()
            group[i] += j    # 若当前方案非可以胜利的方案，则需要恢复
            if i!=0:
                group[i-1] -= j