zoukankan      html  css  js  c++  java
  • POJ1067 取石子游戏 跪跪跪,很好的博弈论

    取石子游戏

    Time Limit: 1000MS   Memory Limit: 10000K
    Total Submissions: 29951   Accepted: 9814

    Description

    有 两堆石子,数量任意,可以不同。游戏开始由两个人轮流取石子。游戏规定,每次有两种不同的取法,一是可以在任意的一堆中取走任意多的石子;二是可以在两堆 中同时取走相同数量的石子。最后把石子全部取完者为胜者。现在给出初始的两堆石子的数目,如果轮到你先取,假设双方都采取最好的策略,问最后你是胜者还是 败者。

    Input

    输入包含若干行,表示若干种石子的初始情况,其中每一行包含两个非负整数a和b,表示两堆石子的数目,a和b都不大于1,000,000,000。

    Output

    输出对应也有若干行,每行包含一个数字1或0,如果最后你是胜者,则为1,反之,则为0。

    Sample Input

    2 1
    8 4
    4 7

    Sample Output

    0
    1
    0

    Source

     
    操作1:对一堆石子任意减。操作2:对两堆石子减相同的数。
    Background:这道题一看就是博弈论,今天下午和zyn一起看到的,想了一下午没什么思路,在公交车上悟出了一小部分,最后还是引用大神的解答吧!
    先说说蒟蒻的思路:首先跟zyn玩了几盘,发现自己挂完了,然后发现 1,2是必败态(都是我为先手)(a<b)
    然后我手画了一张表,发现2,1也是必败态(咦这不是跟上面一样的么,于是我们先把所有数据a,b排为从小到大)
    发现,(3,5)也是必败态,(4,7)也是必败态,在画勾勾叉叉的时候,我们只用判断一点:
    经过操作1或者操作2后,如果能变为必败态,那么这个(a,b)就是必胜态
    举个例子,我们已知(1,2)(3,5)是必败态,在判断4,x是不是必败态
    首先我们默认了x>4,(4,4)一定必胜,(4,5)->(1,2),(4,6)->(3,5),而(4,7)找不到可以将它变为必败态的操作,所以不行
    于是我们把(4,7)列入必败态,5已经判断过,跳过,到6时(我就发现规律了)
    列一下:
    (1,2)
    (3,5)
    (4,7)
    发现了什么么?下一个我们要找的是6
    (6,x) 那么 x= (6-4)+7+1,为什么要加1,很明显啊,由前面必败态的对角线可以得出,于是加1以后,刚好是必败态
    这样我就得出了一个可以递推的东西,但由于要去重,并且数据范围很大(a,b<10^9),我就在想通项。。。
    打了一串表
    (1,2)
    (3,5)
    (4,7)
    (6,10)
    (8,13)
    (9,15)
    (11,18)
    (12,20)
    (14,23)
    (16,26)
    (17,28)
    (19,31)
    (21,34)
    (22,36)
    在公交车上,我突然发现有些项(1,2)(3,5)(8,13)(21,34)这不是就是fibonacci数列么??!
    更另我吃惊的是,拿(22,36)来举例,22=2*8+2*3,(8,3)是fibonacci数列中的两项,并出现在上述表的左边,而36刚好等于 2*13+2*5 而13,5刚好是8,3对应的
    14=8+2*3,23=13+2*5;  19=2*8+3; 31=2*13+5;
    这样我的伪算法就是,对于任意一个出现在上述表的左边的a, 对于必败的y=上述表左边离x最近的fibonacci数*k1+第二近的fibonacci*k2+……直到a=0,
    这这这,我就可以很快的计算出左边的所有数,
    这种方法只是我yy出来的,没有科学的证明,但对于右边的数如7,10那些用这种方法就不对了,TATATAT,我也就只想到这儿了。求大神吧!!!
    ============================我是华丽的分割线================================

    分析:这是威佐夫问题,学习了

    转自http://yjq24.blogbus.com/logs/42826226.html 

    大致上是这样的:有两堆石子,不妨先认为一堆有10,另一堆有15个,双方轮流取走一些石子,合法的取法有如下两种:

    1)在一堆石子中取走任意多颗;

    2)在两堆石子中取走相同多的任意颗;

    约定取走最后一颗石子的人为赢家,求必败态(必胜策略)。

    这个可以说是MR.Wythoff(Wythoff于1907年提出此游戏)一生全部的贡献吧,我在一篇日志里就说完有点残酷。这个问题好像被用作编程竞赛的题目,网上有很多把它Label为POJ1067,不过如果学编程的人不知道Beatty定理和Beatty序列 ,他们所做的只能是找规律而已。不熟悉的人可以先在这里 玩几局~

    简单分析一下,容易知道两堆石头地位是一样的,我们用余下的石子数(a,b)来表示状态,并画在平面直角坐标系上。

    用之前的定理: 有限个结点的无回路有向图有唯一的核  中 所述的方法寻找必败态。先标出(0,0),然后划去所有(0,k),(k,0),(k,k)的格点;然后找y=x上方未被划去的格点,标出(1,2),然 后划去(1,k),(k,2),(1+k,2+k),同时标出对称点(2,1),划去(2,k),(1,k),(2+k,1+k);然后在未被划去的点中 在y=x上方再找出(3,5)。。。按照这样的方法做下去,如果只列出a<=b的必败态的话,前面的一些是(0,0),(1,2),(3,5), (4,7),(6,10),…

    接下来就是找规律的过程了,忽略(0,0),记第n组必败态为(a[n],b[n])

    命题一:a[n+1]=前n组必败态中未出现过的最小正整数

    [分析]:如果a[n+1]不是未出现的数中最小的,那么可以从a[n+1]的状态走到一个使a[n+1]更小的状态,和我们的寻找方法矛盾。

    命题二:b[n]=a[n]+n

    [分析]:归纳法:若前k个必败态分别为 ,下证:第k+1个必败态为

    从该第k+1个必败态出发,一共可能走向三类状态,从左边堆拿走一些,从右边堆拿走一些,或者从两堆中拿走一些.下面证明这三类都是胜态.

    情况一:由命题一,任意一个比a[k+1]小的数都在之前的必败态中出现过,一旦把左边堆拿少了,我们只要再拿成那个数相应的必败态即可。

    情况二(从右边堆拿走不太多):这使得两堆之间的差变小了,比如拿成了 ,则可再拿成

    情况二(从右边堆拿走很多):使得右边一堆比左边一堆更少,这时类似于情况一,比如拿成了 (其中a[m] ;

    情况三:比如拿成 ,则可再拿成

    综上所述,任何从 出发走向的状态都可以走回核中.故原命题成立.

    以上两个命题对于确定(a[n],b[n])是完备的了,给定(0,0)然后按照这两个命题,就可以写出(1,2),(3,5),(4,7),…

    这样我们得到了这个数列的递推式,以下我们把这两个命题当成是(a[n],b[n])的定义。

    先证明两个性质:

    性质一:核中的a[n],b[n]遍历所有正整数。

    [分析]:由命题一,二可得a[n],b[n]是递增的,且由a[n]的定义显然。

    性质二:A={a[n]:n=1,2,3,…},B={b[n]:n=1,2,3,…},则集合A,B不交。

    [分析]:由核是内固集,显然。

    看到这里大家有没有想到Beatty序列呢,实际上a[n]和b[n]就是一个Beatty序列。

    ,有 ,解方程

    ,到此,我们找到了该必败态的通项公式。

    实际上这组Beatty序列还有一些别的性质,比如当一个数是Fibonacci数的时候,另一个数也是Fibonacci数;而且两者的比值也越来越接近黄金比,这些性质在得到通项公式之后不难证明。

    总的来说,这个问题给我们了哪些启示呢?首先用定理所说的方法找核,然后给出核的规律(递推,或是通项)并且证明。最后附上一张对应的必败态图.

    wythoff

    转自http://yjq24.blogbus.com/logs/42653430.html

    上次说了胜态和必败态,还记得最后的练习么?桌子上有15个石子,每人每次可以拿去1个或3个石子,拿走最后一个石子的人赢,列出所有的必败态:0,2,4,6,8,10,12,14。说过了状态作为结点可以画一张有向图,下面这张图就是这个游戏所对应的:

     

    dg1 我只列了不大于6的状态,回顾一下胜态和必败态的性质:

    胜态一定可以通过某种策略走向必败态;而必败态采取任何策略都将走向胜态。


    用图论的话来说,
    因为必败态只能走向胜态,所以任何两个必败态结点之间不可能存在边;
    因为胜态总能走到必败态,所以对任何一个非必败态的结点,一定存在一个从它指向必败态结点的边。

    不妨看看左图中的0,2,4,6,亲自体会一下。



    定义:有向图中,集合X中任意两点之间无边,称集合X为内固集。
    定义:
    有向图中,任意不在集合X中的点存在一条指向集合X的边,称集合X为外固集。

    定义:有向图中,集合X 既是外固集,又是内固集,称集合X为核。



    显然,内,外固集的定义正好针对上面的两句话,而核就是包含所有必败态的集合。



    定理:双人博弈中,约定走最后一步为胜,如果有核存在,则其中一方有不败策略。

    证 明:不妨设A先行动,初始状态不在核中,由于核是外固集,A一定可以采取某种策略把状态走到核中,然后轮到B;由于核是外固集,所以B不管采取什么策略, 都将走出核,所以轮到A的时候,A又可以把状态走进核里。总而言之,A可以使B永远面临核内的状态。无路可走的状态不可能在核外,因为核外总能走到核 内,A可以保持不败。如果初始状态不在核中,那么利用同样的想法易知B有不败策略。



    以上的定理意义是非凡的,虽然这个定理在证明之前我们其实就已经了解了核与必败态的紧密联系。那么,对一个博弈游戏来说,找出核是核心问题。在此之前,先得考察核得存在性:

    定理:有限个结点的无回路有向图有唯一的核。

    证明:核可以用如下的方式找出:首先找出没有后继结点的点集P[1](最基本的必败态,比如上图中的结点0)然后找到那些指向P[1]的结点集合为N[1](最基本的胜态,比如上图的结点1和结点3)然后,除去P[1]和N[1]中的点并除去和这些点关联的边,继续寻找没有后继结点的点集P[2](更高级的必败态,比如上图中的结点2),依次类推,则最后的核为P=P[1]并P[2]并…并P[n]。

    很容易说明如此找到的核是内固集,也是外固集,满足核的定义,下面说明一下核为什么不是空集:实际上P[1]就不是空集,对一个没有回路的有向图来说,从图上的某一点出发,就无法回到原来到过的点。而图中的点又是有限的,所以最后必将在某个结点终止,故P不是空集。

    针对不同的游戏,找核是一个麻烦事。首先生成图,有向边取决于游戏规则,然后当我们要找某个必败态的时候,是要先找到之前所有的必败态的,而这正是一个数学问题和一个编程问题的关键差别。在立方和分解问题[unsolved]中, 我的问题的提法都是针对某一个特定输入的n来看是否存在(x,y)满足立方和或者平方和等于n.实际上,如果提法换成,输出对所有不大于n的数中可以被分 解的数,那么这种提法更适合计算机去解决,因为本质上来说,两个问题是不一样的。对于前者我只需要知道有关n的情况就可以了,而对后者,却调动了资源去计 算所有不大于n的数的情况。虽然他们看起来很相近,但是从道理上来说应该后者的劳动量要大得多,可悲的事情就在于,有时候你要算出n的情况,就不得不算一 些比n小的数的情况,而这个计算的数目通常是随着n增大而增大的;另一个可悲的事情是,程序员往往已经习惯了第二种提问方式。数学家希望找到某些必要条件或者充分条件来确定n能否被分解,同样的道理,我们也希望能直接找到必败态的规律,而不真正依赖于象上述定理那样递归的思想从P[1]开始找起,这样来解决问题。

    但是,必败态的规律是严格依赖于规则的,这一点对找出必败态的规律来说造成了很大的局限性。这个图的模型在以后还会遇到,到时有更好的方法来寻找必败态。

     转自http://yjq24.blogbus.com/logs/42304551.html

    高斯取整函数又叫向下取整函数,常见的记法如下: ,既然是向下取整,也就是说[-3.5]=-4,这个取整对负数来说就不是简单地扔掉小数部分,这是要注意的。可以说,高斯取整是联系连续和离散的重要桥梁。

    小知识:高斯函数性质

    1) x-1<[x]<=x<[x]+1

    2) [x+n]=[x]+n,(n为整数)

    3) [x]+[y]<=[x+y]<=[x]+[y]+1 //左边由性质2易证,右边利用[x+y]<=x+y<[x]+[y]+2

    4) [nx]>=n[x],(n为正整数) //反复利用性质3左边

    5) [x/n]=[[x]/n],(n为正整数)

    // 换元后等价于证[ny]/n-1<[y]<=[ny]/n,右边由性质4易证,左边有 [ny]/n<=[y]+{y}<[y]+1

     

    欧拉给出过一个很经典的多项式: ,该多项式在n=0,1,2,…,39时产生40个素数。利用高斯取整函数,可以做 一件差不多的事:

    ,这个函数跳过所有的平方数,而且值域覆盖所有非完全平方数构成的集合,有了上面的这些性质作武器,证明并不难,这里就略去了。

    今天的主题还是 Beatty定理

    正无理数 满足 , 则数列 严格递增, 并且这两个数列构成Z+上的一个分划(也就是它们无交地遍历全体正整数)。

    [题解]:

    其实作为习题是不难的,显然 ,于是 ,故

    Step1.先证明两数列不交:[反证]若 ,有 ,即有

    两式相加:得k<m+n<k+1,这和m,n,k都是自然数矛盾;

    Step2.再证两数列能取遍所有的正整数:[反证]若k不在 中,则有

    于是

    两式分别除以 后相加:得 ,这和m,n,k都为自然数矛盾.

    证毕.

    由Beatty定理得到的两个数列称为互质数列,不过别被名称所欺骗,a[n]和b[n]并不能保证对应互质。

    //再继续看看必败点

    一、
          m(k) = k * (1 + sqrt(5))/2
          n(k) = m(k) + k
     二、
     
    一个必败点有如下性质:
    性质1:所有自然数都会出现在一个必败点中,且仅会出现在一个必败点中;
    性质2:规则允许的任意操作可将必败点移动到必胜点;
    性质3:一定存在规则允许的某种操作可将必胜点移动到必败点;
     
    下面我们证明这3个性质。
     
    性质1:所有自然数都会出现在一个必败点中,且仅会出现在一个必败点中;
    证明:m(k)是前面没有出现过的最小自然数,自然与前k-1个必败点中的数字都不同;m(k)>m(k-1),否则违背m(k-1)的 选择原则;n(k)=m(k)+k>m(k-1)+(k-1)=n(k-1)>m(k-1),因此n(k)比以往出现的任何数都大,即也没有 出现过。又由于m(k)的选择原则,所有自然数都会出现在某个必败点中。
     
     
    性质2:规则允许的任意操作可将必败点移动到必胜点;
    证明:以必败点(m(k),n(k))为例。若只改变两个数中的一个,由于性质1,则得到的点一定是必胜点;若同时增加两个数,由于不能改变两数之差,又有n(k)-m(k)=k,故得到的点也一定是必胜点。
     
     
    性质3:一定存在规则允许的某种操作可将必胜点移动到必败点;
    证明:以某个必胜点(i,j)为例,其中j>i。因为所有自然数都会出现在某个必败点中,故要么i等于m(k),要么j等于n(k)。
    若i=m(k),j>n(k),可从j中取走j-n(k)个石子到达必败点;
    若i=m(k),j<n(k),可从两堆同时拿走m(k)-m(j-m(k)),注意此时j-m(k) < n(k)-m(k) < k,从而到达必败点( m(j-m(k)),m(j-m(k))+j-m(k));
    若i>m(k),j=n(k),可从i中取走i-m(k)个石子到达必败点;
    若i<m(k),j=n(k),需要再分两种情况,因为i一定也出现在某个必败点中,若i=m(l),则从j中拿走j-n(l),若i=n(l),则从j中拿走j-m(l),从而到达必败点(m(l),n(l))。

     

    //看完上面的有了点了解吧,代码如下

    复制代码
    #include<iostream>
    #include<cmath>
    using namespace std;
    int main ()
    {
        int a,b,dif;
        double p=(sqrt((double)5)+1)/double(2);
        while(cin>>a>>b)
        {
        dif=abs(a-b);//取差值
        a=a<b?a:b;//取较小的值
        if(a==(int)(p*dif))//判断是不是奇异局势
          printf("0\n");
        else printf("1\n");
        }
        return 0;
    }
    复制代码
  • 相关阅读:
    关于js计算非等宽字体宽度的方法
    [NodeJs系列]聊一聊BOM
    Vue.js路由管理器 Vue Router
    vue 实践技巧合集
    微任务、宏任务与Event-Loop
    事件循环(EventLoop)的学习总结
    Cookie、Session和LocalStorage
    MySQL 树形结构 根据指定节点 获取其所在全路径节点序列
    MySQL 树形结构 根据指定节点 获取其所有父节点序列
    MySQL 创建函数报错 This function has none of DETERMINISTIC, NO SQL, or READS SQL DATA in its declaration and binary logging is enabled (you *might* want to use the less safe log_bin_trust_function_creators
  • 原文地址:https://www.cnblogs.com/cssystem/p/2922814.html
Copyright © 2011-2022 走看看