历届试题 高僧斗法 【阶梯博弈】

问题描述

　　古时丧葬活动中经常请高僧做法事。仪式结束后，有时会有“高僧斗法”的趣味节目，以舒缓压抑的气氛。
　　节目大略步骤为：先用粮食（一般是稻米）在地上“画”出若干级台阶（表示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博弈。可以发现，第2个人向3个人移动时，第1个人总能移动相同的步数回复到之前的状态。所以如果当前为必败态，那么这个操作不会影响结果。

如果当前不是必败态，那么可以有两种操作：

1、将每对的前一个人前移减少石子个数。

2、将每对的后一个人前移增加石子个数。

枚举所有操作，直到状态为必败态。

需要注意^（异或）运算符的优先级小于逻辑运算符（==），注意加括号。

代码：

#include<stdio.h>
#include<string.h>
#include<ctype.h>
#include<algorithm>
#include<ctype.h>
using namespace std;
#define inf 1<<29
int a[105],cnt,d[105];
void read()
{
    cnt=0;
    char c;
    int num=0;
    while((c=getchar())!='\n')
    {
        if(num && c==' ')
        {
            a[cnt++]=num;
            num=0;
        }
        else if(isdigit(c))
        {
            num=num*10+c-'0';
        }
    }
    if(num) a[cnt++]=num;
}
int main()
{
    read();
    sort(a,a+cnt);
    memset(d,0,sizeof d);
    int ans=0;
    for(int i=0;i<cnt-1;i++)
    {
        d[i]=a[i+1]-a[i]-1;
    }
    for(int i=0;i<cnt-1;i+=2)
        ans^=d[i];
    if(ans==0)
    {
        printf("-1\n");
        exit(0);
    }
    for(int i=0;i<cnt-1;i++)
    {
        for(int j=1;j<=d[i];j++)
        {
            if(i%2)
            {
                if((ans^d[i-1]^(d[i-1]+j))==0)
                {
                    printf("%d %d\n",a[i],a[i]+j);
                    exit(0);
                }
            }
            else
            {
                if((ans^d[i]^(d[i]-j))==0)
                {
                    printf("%d %d\n",a[i],a[i]+j);
                    exit(0);
                }
            }
        }
    }
    return 0;
}