常见组合博弈游戏

最新推荐文章于 2023-05-08 17:18:58 发布

nixinyis

最新推荐文章于 2023-05-08 17:18:58 发布

阅读量1.6k

点赞数 1

分类专栏：算法专题&代码储存组合数学文章标签：组合游戏

算法专题&代码储存同时被 2 个专栏收录

16 篇文章 0 订阅

订阅专栏

组合数学

6 篇文章 0 订阅

订阅专栏

 自http://blog.csdn.net/qq_15714857/article/details/49691585转载而来，转载目的只是希望自己下次看更方便。。。

这两天认识了几个组合游戏的基础模型，希望自己能更新下去。。

Ferguson游戏

Description

Initial

有两个盒子，一个装有 m 颗糖，一个装有 n 颗糖，表示为 (m, n) .

Step

每次清空一个盒子，将另一个盒子里的糖转移一些过来，并保证两个盒子至少各有一颗糖。

最后进行转移糖者胜，无法转移糖者败。

Solve

m, n 都为奇数，先手败；m, n 至少一个为偶数，先手胜。

Proof

显然，初始状态为(1, 1)，先手必败；

设 max(m, n) = 2，即初始状态为 (1, 2)，(2, 1) 或 (2, 2)，对于 (1, 2)，(2, 1) 先手可以把 1 清空，然后将 2 分为 (1, 1) ，先手胜；对于 (2, 2) ，先手可以把其中一个 2 清空，然后将另一个 2 分为 (1, 1) ，先手胜。符合结论。
设 max(m, n) < k 均符合结论，当 max(m, n) = k ：
- 设 m 与 n 至少一个为偶数（假设m是偶数），则将 n 清空，把 m 分为两个奇数 (a, b) ，由于max(a, b) < k ，因此(a, b) 必败，(m, n) 必胜（利用规则2）；
- 设 m 与 n 均为奇数，则只能把其中一个数分为一个奇数 a ，一个偶数 b ，由于max(a, b) < k ,因此对于任何的方式分解出的(a, b) 均必胜，(m, n) 必败（利用规则1）；
- 故 max(m, n) = k 符合结论。
故对于任意 (m, n) 结论成立。

chomp!游戏

Description

Initial

有一个 m * n 的棋盘，棋盘的每一个格子用(x, y)表示，最左下角是(1, 1)，最右上角是(m, n) ；

Step

每次可以拿走一个方格，并拿走该方格右边与上边的所有方格。

谁拿到(1, 1)谁败。

Solve

当 m = n = 1，先手败；除此之外，先手均有必胜策略（先手胜）。

Proof

反证法：

假设后手能取得胜利，那么先手可以第一步拿走(m, n)，若后续回合内后手通过拿走(x, y)达到了必胜状态，先手均可以第一步就拿走(x, y)来达到必胜状态。
故不存在后手必胜状态。

由于无法给出构造性证明，所以只能证明先手必胜，而不能给出广义的必胜策略。

约数游戏

Description

Initial

桌上有 n 个数字：1~n。

Step

两人轮流在选择一个桌上的数 x ，然后将 x 与 x 的约数都拿走。

拿去最后一个数的人胜出（无法选择数字的人失败）。

Solve

先手有必胜策略。（先手胜）

Proof

这个游戏是 chomp! 的思想的应用。

假设后手能取得胜利，那么先手可以第一步拿走 1，若后续回合内后手通过拿走 x 达到了必胜状态，先手均可以第一步就拿走 x 来达到必胜状态。

Bash Game（巴什博弈）

Description

Initial

n 个物品堆成一堆。

Step

两个人轮流从这堆物品中取物，规定每次至少取一个，最多取 m 个。

最后取光者得胜。（无法取者败）

Solve

如果 n % (m+1)≠0 ，则先手必胜。

Proof

如果 n=m+1 ，显然，先手无论取多少，后手均可以将剩余物品一次全取走，所以先手败。
如果 n=k∗(m+1) ，我们从后手的角度来考虑，设先手第一次取走 x 个物品，那么后手只要再取走 m+1−x 个，此时剩余物品数量变为 (k−1)(m+1) 个，一直重复这个步骤，就可以回到先手面临 n=m+1 的局面，所以还是先手败。相当于进行了k次 n=m+1 的游戏。
如果 n=k∗(m+1)+s ，先手一开始取走 s 个物品，那么后手就会面临 n=k∗(m+1) 的局面，所以先手胜。
结论得证。

例题

有一个游戏，在一个n*m的矩阵中起始位置是（1, m），走到终止位置（n, 1）；游戏规则是只能向左，下，左下方向移动一步，先走到终点的为获胜者。（HDU 2147，总共有 n + m 的距离要移动，一次最多移动 2 的距离，故判断 (n + m)%2 是否为 0 即可）。
bash博弈变形1——减法博弈：
两个人轮流报数，每次至少报一个，最多报十个，谁能报到100者胜。（先手必胜，第一次报1，类似：HDU 2149）
有一个由n个石子组成的石子堆，两名玩家轮流从中拿走石子，每次拿走石子的个数只能是集合S中的数。拿走最后一枚石子的玩家获胜。（状态转移即可）
bash博弈变形2：初始状态下有石子n个，除最后一次外其他每次取物品个数必须在[p，q]之间，最后一次取硬币的人输。（HDU 2897）
这题状态稍微复杂一些，并且胜负条件与之前相反，一般bash博弈里每次取个数可以看作在[1,m]之间，胜负手判断为 n % (1+m) ，因此我们可以猜想每次取[p,q]的胜负手判断为 n % (p+q) ，通过验证猜想我们可以发现如下策略：
- n=k∗(p+q) 时，先手第一次取 q 个，随后的回合若后手取 x 个，先手再取 p+q−x 个，那么最后就会留给后手 p 个，先手胜。
- n=k∗(p+q)+s 时，则要分情况考虑：
  1. 若 s 在 [1,p] 之间，先手取 x，后手可以取 p+q−x ，最后留给先手 s 个，后手胜；
  2. 若 s 在 (p,p+q) 之间，先手任取 x 个 (1≤s−x<p) ，后手取 y 个，先手可以再取 p+q−y ，最后留给后手 s - x 个，先手胜；

//HDU 2897
#include<bits/stdc++.h>
using namespace std;

int main()
{
    int n , p , q ;
    while ( cin >> n >> p >> q ) {
        if ( n % ( p + q ) <= p && n % ( p + q ) ) 
            puts( "LOST" ) ;
        else
            puts( "WIN" ) ;

    }
    return 0;
}

   
   1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
   
   1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

Wythoff’s Game（威佐夫博弈）

Description

Initial

有两堆石子，一堆有 m 个，另一堆有 n 个。

Step

双方轮流取走一些石子，合法的取法有如下两种：
1. 在一堆石子中取走任意多颗；
2. 在两堆石子中取走相同多的任意颗.

取走最后一颗石子的人为赢家。

Solve

与视为同一状态，
第 k 个必败状态是。

拓展性质：
- 令，则 m(k) 也表示前 k 个必败状态中没出现的自然数。
- 每个自然数都会出现在必败状态中且仅会出现一次。

//HDU 1527 模板题
#include<bits/stdc++.h>
using namespace std;

int main()
{
    int a , b ;
    while ( cin >> a >> b ) {
        if ( a < b ) swap( a, b ) ;
        int k = a - b ;
        int n = (int)( k * ( sqrt(5.0) + 1.0 ) / 2 ) ;
        bool win = ( n != b ) ;
        cout << win << endl ;
    }
    return 0;
}

   
   1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
   
   1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

Proof

还是打表吧。。

const int N = 50 ;
bool win[100][100] ;
void init() 
{
    memset( win , false , sizeof win ) ;
    for ( int i = 1 ; i <= n ; i++ ) win[i][i] = true ;
    for ( int i = 1 ; i <= n ; i++ ) {
        for ( int j = i+1 ; j <= n ; j++ ) {
            if ( !win[i][j] ) {
                for ( int k = j + 1 ; k <= n ; k++ )
                    win[i][k] = win[k][i] = true ;
                for ( int k = i + 1 ; k <= n ; k++ )
                    win[k][j] = win[j][k] = true ;
                for ( int k = 1 ; k <= n ; k++ )
                    win[i+k][j+k] = win[j+k][i+k] = true ;
            }
        }
    }
    for ( int i = 1 ; i <= n ; i++ )
        for ( int j = i ; j <= n ; j++ ) {
            if ( !win[i][j] ) cout << i << ' ' << j << endl ;
        }
}

   
   1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
   
   1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

Fibonacci’s Game （斐波那契博弈）

Description

Initial

有一堆个数为 n >= 2 的石子。

Step

双方轮流取石子，满足以下条件：
1. 先手不能在第一次把所有的石子取完；
2. 之后每次可以取的石子数介于 1 到对手刚取的石子数的 2 倍之间（包含 1 和对手刚取的石子数的 2 倍）。

取走最后一个石子的人为赢家。

Solve

如果 n 是斐波那契数，则后手胜；反之，先手胜。

\\HDU 2516 模板题
#include<bits/stdc++.h>
using namespace std;

const string win[2] = { "Second win" , "First win" } ;
long long fib[100] ;
int init() 
{
    fib[0] = 1 ; fib[1] = 1 ;
    for ( int i = 2 ; i < 100 ; i++ ) {
        fib[i] = fib[i-1] + fib[i-2] ;
        if ( fib[i] > ( 1LL << 35 ) ) return i ;
    }
    return 100 ;
}
int main()
{
    int n ; int len = init() ;
    while ( cin >> n && n ) {
        int ok = 1 ;
        for ( int i = 0 ; i <= len ; i++ ) {
            if ( fib[i] == n ) {
                ok = 0 ;
                break ;
            }
        }
        cout << win[ok] << endl ;
    }
    return 0;
}

   
   1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
   
   1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

Proof

Zeckendorf定理：任何正整数可以表示为若干个不连续的 Fibonacci 数之和。

先手必须从 <= n / 3 的数量开始取（例如第一次取的数量 > n/3，那么后手可以直接取完所有剩下石子）
于是。。。~~太绕了！~~
还是请看Acdream大神的吧。。http://blog.csdn.net/acdreamers/article/details/8586135

Nim游戏（待施工）

Description

有三堆各若干个物品，两个人轮流从某一堆取任意多的
物品，规定每次至少取一个，多者不限，最后取光者得胜。

Solve

介绍这个游戏的太多了。。偷个懒
具体解法就是异或异或！

nixinyis

关注

1
点赞
踩
1

收藏

觉得还不错? 一键收藏
0
评论
常见组合博弈游戏

版权声明：博主表示授权一切转载啦，不过要写上原作者哦：）自http://blog.csdn.net/qq_15714857/article/details/49691585转载而来，转载目的只是希望自己下次看更方便。。。目录(?)[+]这两天认识了几个组合游戏的基础模型，希望自己能更新下去。。Ferguson游戏Descrip
复制链接

扫一扫