CF1739C Card Game【博弈论 + 组合数学 + DP】

最新推荐文章于 2024-07-25 11:27:31 发布

Sycamore_Ma

最新推荐文章于 2024-07-25 11:27:31 发布

阅读量304

点赞数 3

分类专栏：组合数学博弈论 CodeForces 文章标签：算法 c++ 动态规划

本文链接：https://blog.csdn.net/Sycamore_Ma/article/details/127139560

版权

CodeForces 同时被 3 个专栏收录

7 篇文章 0 订阅

订阅专栏

组合数学

1 篇文章 0 订阅

订阅专栏

博弈论

1 篇文章 0 订阅

订阅专栏

题目链接

Educational Codeforces Round 136 (Rated for Div. 2), Problem C
1739C Card Game

题目大意

游戏牌堆中含偶数 $n$ 张牌，每张牌上的数字不同，且大小在 $1$ 到 $n$ 之间（即给定 $1$ 到 $n$ 的全排列牌，又称 permutation）。两名玩家 A、B 都会在开局分得牌堆中的 $\frac{n}{2}$ 张牌，手牌互异，点数随机。
首先玩家 A 出牌，对手 B 应牌（对手应牌点数需比出牌者大，且丢弃），然后玩家 B 出牌，对手 A 应牌，依次轮转，直至一人无法应牌判定其为输（无更大牌可应），或双方手牌为空判定平局（双方皆空手无牌可出）。
给定牌的张数 $n$ ，求能使 A 获胜的发牌方式数、能使 B 获胜的发牌方式数、能使双方平局的发牌方式数。

解法

定义

$a_i$ ：总牌数为 $i$ 时玩家 A 获胜的发牌方式数；
$b_i$ ：总牌数为 $i$ 时玩家 B 获胜的发牌方式数；
$t_i$ ：总牌数为 $i$ 时双方平局的发牌方式数。

初始状态

$a_2 = 1, b_2 = 0, t_2 = 1$ .

状态转移

由于 $i$ 张牌互异，发牌方式共有组合数 $\tbinom{i}{\frac{i}{2}}$ 种。

从样例不难发现， $t_i\equiv1$ .

$t_i\equiv1$ ，证明采用演绎法，假设有 $n$ 张牌：

若 A 拿到点数为 $n^\#$ 的牌，且首张打出该手牌，则 A 必胜，为保证平局，B 需拿到点数为 $n^\#$ 的牌；
若 B 同时拿到点数为 $n-1)^\#$ 的牌，B 打出该牌 A 将无 $n^\#$ 可应，则 B 必胜，为保证平局，A 需拿到点数为 $n-1)^\#$ 的牌；
若 B 同时拿到 $n-2)^\#$ ，A 无论首次走出什么牌，B 在应牌后都能保证在下一轮持有场上最大牌，为保证平局，A 需拿到 $n-2)^\#$ ；
依此演绎，B 需拿到 $n-3)^\#$ 、 $n-4)^\#$ ，A 需拿到 $n-5)^\#$ 、 $n-6)^\#$ ；
…

此演绎可确定 $n$ 仅对应唯一一种可导致平局的发牌方式

考虑总牌数从 $i - 2$ 到 $i$ 的每轮转移，牌堆都会增加两张牌 $i-1)^\#, i^\#$ ， $a_i$ 的转移前驱共含三种类型贡献：
- 若 A 分得最大牌 $i^\#$ 和次大牌 $i-1)^\#$ ，A 立即打出最大牌必胜，贡献数为 $\tbinom{i-2}{\frac{i}{2}-2}$ ，即 A 从剩余的 $i - 2$ 中抽取 $\frac{i}{2}-2$ 张牌的种类数；
- 若 A 分得最大牌 $i^\#$ ，B 分得次大牌 $i-1)^\#$ ，A 立即打出最大牌必胜，贡献数为 $\tbinom{i-2}{\frac{i-2}{2}}$ ，即 A 从剩余的 $i - 2$ 中抽取 $\frac{i-2}{2}$ 张牌的种类数；
- 若 A 分得次大牌 $i-1)^\#$ ，B 分得最大牌 $i^\#$ ，A 立即打出次大牌逼 B 以最大牌应手，此时轮转到 B 出牌，总牌数为 $i$ 时 A 的必胜态数问题，转变为总牌数为 $i - 2$ 时后手的必胜态数问题，贡献数为 $b_{i-2}$ ；
- ~~若 B 分得最大牌和次大牌，A 必败，贡献为零。~~

即 $a_i = \tbinom{i-2}{\frac{i}{2}-2} + \tbinom{i-2}{\frac{i-2}{2}} + b_{i-2}$ .

考虑到 A 胜态数 $a_i$ 、B 胜态数 $b_i$ 以及平局态数 $t_i$ 共同组成了发牌种数 $\tbinom{i}{\frac{i}{2}}$ ，做差值即可得 B 胜态数：

即 $b_i = \tbinom{i}{\frac{i}{2}} - a_i - t_i$ ，又可写成 $b_i = \tbinom{i}{\frac{i}{2}} - a_i - 1$ .

一些实例：

a[2] = 1;   b[2] = 0;   t[2] = 1;
a[4] = 3;   b[4] = 2;   t[4] = 1;
a[6] = 12;  b[6] = 7;   t[6] = 1;
a[8] = 42;  b[8] = 27;  t[8] = 1;

代码

组合数递推公式： $C_n^m = C_{n-1}^{m-1} + C_{n-1}^{m}$ ，又或写成 $\tbinom{n}{m} = \tbinom{n-1}{m-1} + \tbinom{n-1}{m}$ .

创建组合数数组 c[maxn][maxn] 并打表，并按上节状态转移方法递推，输出 $n$ 张牌时的 A 胜种数 a[n]、B胜种数 b[n] 和平局种数 t[n]，代码如下：

#include <bits/stdc++.h>
using namespace std;
#define MOD 998244353

const int maxn = 100 + 10;
long long int a[maxn];
long long int b[maxn];
long long int t[maxn];
long long int c[maxn][maxn];

void table(){
    for (int i = 0; i <= 60; i ++) {
        c[i][0] = c[i][i] = 1;
        for (int j = 1; j < i; j ++) {
            c[i][j] = (c[i-1][j-1] + c[i-1][j]) % MOD;
        }
    }
    
    a[2] = 1;   b[2] = 0;   t[2] = 1;
    for (int i = 4; i <= 60; i += 2){
        t[i] = 1;
        a[i] = c[i-2][(i/2)-2] + c[i-2][(i-2)/2] + b[i-2];
        a[i] %= MOD;
        b[i] = MOD + MOD + c[i][i/2] - a[i] - 1;
        b[i] %= MOD;
    }
}

int main()
{
    int tt;
    cin >> tt;
    table();
    while (tt --){
        int n;
        cin >> n;
        cout << a[n] << " " << b[n] << " " << t[n] << endl;
    }
    return 0;
}

官方题解

BledDest 借助了一些串上位 DP 的思想，并可采用 Java、Python 长整数递推。
Tutorial

Sycamore_Ma

关注

3
点赞
踩
2

收藏

觉得还不错? 一键收藏
打赏
0
评论
CF1739C Card Game【博弈论 + 组合数学 + DP】

游戏牌堆中含偶数 n 张牌，每张牌上的数字不同，且大小在 1 到 n 之间。两名玩家 A、B 都会在开局分得牌堆中的一半牌，手牌互异，点数随机。首先玩家 A 出牌，对手 B 应牌（对手应牌点数需比出牌者大，且丢弃），然后玩家 B 出牌，对手 A 应牌，依次轮转，直至一人无法应牌判定其为输（无更大牌可应），或双方手牌为空判定平局（双方皆空手无牌可出）。给定牌的张数 n，求能使 A 获胜的发牌方式数、B 获胜的发牌方式数、平局发牌方式数。
复制链接

扫一扫