bzoj 3164: [Heoi2013]Eden的博弈问题博弈论+树形dp

最新推荐文章于 2024-04-21 11:31:46 发布

_beginend

最新推荐文章于 2024-04-21 11:31:46 发布

阅读量589

点赞数

分类专栏：树形dp 博弈论

本文链接：https://blog.csdn.net/qq_33229466/article/details/79718805

版权

本文探讨了在博弈树分析中如何判断两个玩家的胜负情况，特别是当叶节点状态未知时如何求解。介绍了黑方胜集合和最小白方胜集合的概念，并定义了关键叶节点。问题规模为1 ≤ n ≤ 200,000。解决方案涉及深度优先搜索，通过计算每个节点为黑方胜时所需染黑的叶节点最少数量来求解。" 133601294,19694795,Python Paramiko库实现SSH连接与编程,"['Python编程', '网络协议', '安全通信', '文件操作']

摘要由CSDN通过智能技术生成

题意

对于有两个玩家的，状态透明且状态转移确定的博弈游戏，博弈树是常用的分析工具。博弈树是一棵有根树，其中的节点为游戏的状态。若节点B的父亲是A，则说明状态A能通过一次决策转移到状态B。每个状态都有一个唯一的决策方，即这个状态下应该由哪一方做出决策。我们规定双方在任何时候都是轮流做出决策的，即树上相邻节点的决策方总是不相同的。在这个问题中，我们只关心两个玩家的胜负情况，且规定游戏不会出现平局。我们称两个玩家分别为黑方和白方，其中根节点的决策方为黑方。显然每个节点只有两个状态：黑方胜和白方胜。若某内节点（即存在后继节点的节点）的决策方为黑方，则该节点为黑方胜的充要条件为它的儿子中存在黑方胜的节点，反之亦然。求解博弈树即为判明博弈树根节点的状态。如果我们得知了所有叶节点（即无后继节点的节点）的状态，那么博弈树就很容易求解了。但是现在的情况是所有叶节点的状态均为未知的，需要进一步的计算。对于一个由叶节点构成的集合S，如果S中的节点均被判明为黑方胜，就可以断言根节点为黑方胜的话，则称 S为一个黑方胜集合。对于黑方胜集合 S，
如果对于任意的黑方胜集合 S’均满足|S| ≤ |S’ |（|S|表示集合S中的元素数目），
则称S为一个最小黑方胜集合。同样地，也可以定义白方胜集合和最小白方胜集合。
Eden最近在研究博弈树问题。他发现，如果一个叶节点既属于某一个最小黑方胜集合，又属于一个最小白方胜集合，那么求解这个节点的状态显然最有益于求解根节点的状态。像这样的叶节点就称之为关键叶节点。对于一棵给定的博弈树，Eden想要知道哪些叶节点是关键叶节点。
1 ≤ n ≤ 200,000

分析

题目很长，不过是道水题。
先看黑关键点怎么求，白点同理。
设f[i]表示点i为黑必胜时最少需要把多少叶节点染黑。
按照深度分类转移即可。

代码

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<algorithm>
using namespace std;

const int N=200005;
const int inf=1000000000;

int n,dep[N],cnt,last[N],f[N],tag[N];
struct edge{
  int to,