zoukankan      html  css  js  c++  java
  • 博弈论进阶之Every-SG

    Every-SG

    给定一张无向图,上面有一些棋子,两个顶尖聪明的人在做游戏,每人每次必须将可以移动的棋子进行移动,不能移动的人输

    博弈分析

    题目中的要求实际是“不论前面输与否,只要最后一个棋子胜利,那么就算胜利”

    这样的话,能赢得游戏必须赢

    因为两个人都顶尖聪明,因此当一个人知道某一个游戏一定会输的话,它一定会尽力缩短游戏的时间,当它知道某一个游戏一定会赢的话,一定会尽力延长游戏的时间(毕竟都是为了追求最终的胜利嘛233)

    但是!我们怎么来处理时间的?暴力枚举博弈树肯定是不可取的,so我们来研究一下这个问题

    定义Every-SG游戏

    • 对于还没有结束的单一游戏,游戏者必须对该游戏进行一步决策;
    • 其他规则与普通SG游戏相同

    Every-SG游戏与普通SG游戏最大的不同就是它多了一维时间

    对于(SG)值为(0)的点,我们需要知道最少需要多少步才能走到结束,
    对于(SG)值不为(0)的点,我们需要知道最多需要多少步结束

    这样我们用(step)变量来记录这个步数

    (step(u) = egin{cases} 0, & ext{)u为终止状态$} max{step(v)}, & ext{ (sg(u) eq 0land v为u的后继land sg(v)=0) } min{step(v)}, & ext{(sg(u)=0land v为u的后继)} end{cases}$

    定理

    对于Every-SG游戏先手必胜当且仅当单一游戏中最大的step为奇数。

    定理是显然的:最大的单一游戏步数如果是奇数的话那么肯定是先手取得进行最后一步,否则一定是对手取走最后一个棋子。

    例题

    这种题目不怎么好找,到现在也就找到一道

    HDU 3595

    题解

  • 相关阅读:
    美国地质调研局USGS
    SAR 图像
    Matlab 之meshgrid, interp, griddata 用法和实例
    ENVISAT卫星及ASAR数据介绍
    ASP.NET Integration with IIS7
    ubuntu下C/C++基本开发环境的配置
    C++ Objects Part 1: Basic Object Memory Layout
    Socket Programming in Windows
    Memory Layout for Multiple and Virtual Inheritance
    Common Type System—Memory Layout at C# Online.NET
  • 原文地址:https://www.cnblogs.com/zwfymqz/p/8470475.html
Copyright © 2011-2022 走看看