acm专题学习之博弈（二）SG（Sprague-Grundy）+Gym - 101954H Split Game

最新推荐文章于 2021-09-20 00:31:00 发布

魔法自动机

最新推荐文章于 2021-09-20 00:31:00 发布

阅读量333

点赞数 1

分类专栏： acm算法学习 acm算法之数论

本文链接：https://blog.csdn.net/qq_40306845/article/details/87122400

版权

acm算法学习同时被 2 个专栏收录

55 篇文章 1 订阅

订阅专栏

acm算法之数论

6 篇文章 0 订阅

订阅专栏

基础知识：

1 公平组合博弈（Impartial Combinatori Games）（ICG）

两人参与
游戏局面状态集有限
两个玩家轮流操作
面对同一个局面，两个玩家可操作的集合完全相同（象棋就不是，因为每个人只能移动自己的棋子）
当没有操作可操作时，游戏结束
不管双方如何操作，游戏总能再有限操作数后结束

2 把ICG局势间的关系抽象成一个有向无环图

任何一个ICG都可以通过把每个局势堪称一个顶点，每个局势和子局势连接一条有向边组成抽象成一个有向无环图

3 P-position和N-position（P点和N点）

P-position（Previous）：后手胜点，P点

N-position（Next）：先手胜点，N点

性质：

结束点必为P点（无法进行移动的点）
可以一次到达P点的点为N点
无法一次到达N点的点为P点

4 (N/P)表（hdu 1847为例）

N（剩余的牌）	0	1	2	3	4	5	6
Position（对应的局势）	P	N	N	P	N	N	P

可以很明显的看出规律，有时候有些题目通过N/P图可以找出规律。

5 Nim游戏的相关知识（博弈专题一中有）

Sprague-Grudy定理：

令N = {0, 1, 2, 3, ...} 为自然数的集合。Sprague-Grundy 函数给游戏中的每个状态分配了一个自然数。结点v的Grundy值等于没有在v的后继的Grundy值中出现的最小自然数.

SG函数：

定义mex(minimal excludant)运算，这是施加于一个集合的运算，表示最小的不属于这个集合的非负整数。eg：mex{2,3,5}=0

对于任意一个状态x，定义 SG(x) = mex(S),其中 S 是 x 后继状态的SG函数值的集合。

我个人对这个SG的理解：

要把SG和Nim结合起来看，在Nim游戏里面是有固定情况：若干堆石子之类的，双方轮流拿一个至一堆石子，最后一个拿走的为胜。这个时候对于每堆中的SG，会发现SG（n）=n，剩余的石子数等于得到SG值。但是如果题目条件有变，不是取一个至一堆石子，而是取2的倍数，那么就不再是SG（n）=n了。因为对应的子局面不是n（剩余石子）取0, 1, 2, 3, ...这样下去了，可能是0, 2, 4, 6, ...这样。但是SG把子局面（0, 2, 4, 6, ...）对应回了原来（0, 1, 2, 3, ...）的编号，会发现它又变回了Nim游戏。SG相当于扩充了Nim游戏使用的情形，那么每堆得到的SG值也同样适用使用Nim和。（本段属于个人理解）

例题：Gym - 101954H Split Game

通过这道例题，来学会使用代码操作SG

题意：有n堆物品，每次可以选择一堆把它分成尽可能多的大小k的堆，其中k小于该堆总大小

条件：1 每次可以选择一堆把它分成尽可能多的大小k的堆

2 k小于选中堆的总大小

思路：枚举求出每一种情况堆的SG值，最后根据题目给出的堆的情况求Nim和（每堆的SG异或和）。

代码：（思路参考：https://blog.csdn.net/BePosit/article/details/84133792）

#include <algorithm>
#include <iostream>
#include <string>
#include <cstdlib>
#include <cstdio>
#include <cstring>
#include <cmath>
using namespace std;
const int maxn=2000+5;
int sg[maxn];
bool vis[maxn];//用来记录已经出现的整数
void getsg()
{
    sg[1]=0;
    for(int i=2;i<=2000;i++)//求出每种堆的sg值
    {
        memset(vis,0,sizeof(vis));
        for(int j=1;j<i;j++)//i数目个的sg值可以理解为按j大小分成堆的sg的nim和
        {
            int cnt=i/j;//可以分成多少堆为j的
            int mod=i%j;//余下的一堆
            //求nim和的时候，相同的堆异或为0，这里省去了全部异或
            //这里的j<i所以mod的sg前面已经算过了
            if(cnt%2==0)
            vis[sg[mod]]=1;
            else
            vis[sg[mod]^sg[j]]=1;
        }
        for(int k=0;k<=2000;k++)
        {
            if(!vis[k])
            {
                //sg的值等于后继最小没出现的整数
                sg[i]=k;
                break;
            }
        }
    }
}
int main()
{
    getsg();
    int n;
    scanf("%d",&n);
    int ans=0;
    while(n--)
    {
        int p;
        scanf("%d",&p);
        ans^=sg[p];
    }
    if(!ans)
    printf("Second\n");
    else
    printf("First\n");
    return 0;
}

总结：1 理解了一下SG函数，也算解决了自己的一个不惑点 2 我是为了补这道题才学习SG的