先说一句,看ccy的博弈收获很多,以下转载自http://blog.sina.com.cn/s/blog_51cea4040100h5j4.html
忽忽,今天终于结束了贾志豪博弈的论文,很高兴,ccy都弄懂了。
这里,特别感谢一个人,在ccy思考最后一部分无向图删边游戏遇到困难准备沉入厚厚的英语大书里时,伟大地拯救了ccy,真的很感谢,td哥哥~~~
现在,ccy一步一步的来。
一、链的删边游戏
游戏规则:对于一条链,两人轮流删边,脱离根的部分byebye,没边可删的人,输。
这个,应该很简单。那么,它的sg究竟怎么回事捏?
当只有一个根存在时,先手必败。
当有2个结点时,如图:
所以,红点的sg=1。
当有3个结点时,如图:
所以,红点的sg=2。
依次类推。
链表的sg就这么简单。
二、树的删边游戏
游戏规则:对于一棵树,两人轮流删边,脱离根的部分byebye,没边可删的人,输。
有了链后,我们看树,其实,就是一个组合游戏。
于是乎,很明显,这成了一个Nim游戏的组合。
所以,在树中,叶子结点的sg=0,其他节点的sg等于儿子结点的sg+1的异或和。
三、局部连通图的删边游戏
游戏规则:在一个局部连通图上,两人轮流删边,脱离根的部分byebye,没边可删的人,输。局部连通图的构图规则是,在一棵基础树上加边得到,所有形成的环保证不共用边,且只与基础树有一个公共点。
如图,是一个局部连通图:
因为这些环都是单独悬浮在一棵树上的某些点的。我们单独考虑环。
对于一个独立的偶环而言,根在偶环上,一定有先手必败。
原因是,先手删去偶环上的仪表边后,根有了两条链,链的长度一定为一奇一偶,既长短不一,后手只需要把长的那条链转移成合短的那条链长度一样即可。这样,先手必输,根的sg=0。
对于一个独立的奇环而言,根在奇环上,一定有先手必胜,根的sg=1。
原因是,先手删去某条边后,可以保证根结点连接的两条链的长度一样长。这样,先手必胜。
现在把环带进局部连通图中,那些环上的红点就相当于环的根。对于整个图,我们只需要无视所有偶环,把奇环换成一条边。
如上面的图,按照这个规则变后,就是:
这个时候,又转成了树的删边游戏。
四、无向图的删边游戏
游戏规则:在一个乱七八糟的无向图里,有一点作取名叫根,两人轮流删边,脱离根的部分byebye,没有边可以删的人,输。
(就这里,ccy一下就况了,贾志豪给了个Fusion Principle,ccy看得一下子就吐了血!!!幸好天上掉下来个td,谢谢~O(∩_∩)O~)
(无语一下,td讲错了,所以ccy顺着不对的思路想下去,写了不对的东西……重新写下一段!汗~)
对于一个无向图,其中一定有这样的部分,ccy叫它环团吧,如图所示:
这种团的性质是,删去其中任意一条边,点并不会闪架,它一定还与原图其他边相连。这样,对于这样的团,两人轮流删,一次删一条边,那关键就在于这样的团有多少条边可用来被轮流删了。
我们还是先看下奇偶吧。
对于一个单独的偶环,一定是先手必败,其sg=0。
对于一个单独的奇环,一定是先手必胜,其sg=1。
那么,在一个环团中,若有偶数条边,一定是先手必败。若有奇数条边,一定是先手必胜。
实现时,我们可以把环团缩成一个点,环团上的每条边都作为一个与这个代表结点直接连接的一个点。这些点都是图里的子结点,sg=0,那么偶数条边,先手必败,代表结点经环上新生成的子节点异或和正好是0。如果是奇数条边,先手必胜,代表结点经环上新生成的子节点异或和正好是1。
如这样一图:
现在,再纠结一个问题,如果无向图中选择为根的那点本身就在双连通图里怎么办。额,不是有个代表结点吗?所以,算他就好,这个也很好想。
啦啦啦~~~~~~~~完了~~~~~~~~~不严谨的证明,可以理解与接收的感觉~~~~~~~~~ccy终于删完边了呀~~~~~~~~~~鼓掌~~~~~~撒花~~~~~~~~~~ ~~~~~~~~~~~~~~~
关于怎么解决那个环团,大牛提供的思路:
Step1、首先删除所有桥。
Step2、将剩下的图缩成点。
Step3、新构成一棵树。