设为首页收藏本站

塞爱维(CIV)文明联盟

 找回密码
 注册
楼主: RP_MAN

[原创] 纯技术贴 Civ4是个很单纯的小游戏(博弈论分析)[翻译完毕]

[复制链接]
发表于 2008-6-21 22:44:12 | 显示全部楼层
好吧。。。。

高中时为了和同学争论,曾经证明过围棋中必有某一方拥有必胜策略。当时我为这个发现激动不已……
发表于 2008-6-21 22:47:41 | 显示全部楼层
纳什均衡。。看过忘记了。。
因为看了《美丽心灵》才了解到的
 楼主| 发表于 2008-6-21 23:06:35 | 显示全部楼层
原帖由 ???? 于 2008-6-21 22:03 发表
  RP男举个你认为典型的那时均衡的例子吧


下面这个是一个很简单的博弈 (coordination game in Egnlish)
A 和 B 相约去打猎。他们可以各管各打兔子,也可以合作打鹿。假设打鹿需要两人合作,所以如果A打兔子,B自己去打鹿,那么B什么也无法得到。(而A照样能抓到兔子)
假设如果两个人合作打鹿,那么他们肯定可以抓到鹿,每个人得到10的收益(具体数目并不重要)。如果打兔子,那么打到兔子的人可以得到3 的收益。如果什么都没得到,收益为0。收益矩阵如下:
每个括号中第一个数字代表A的收益,第二个代表B的                        
                          B
                 兔子          鹿
A   兔子   (3,3)    (3,0)
     鹿      (0,3)    (10, 10)
这个博弈有两个纳什均衡:(i)AB都打鹿; (ii)AB都打兔子。
很明显,如果A去打兔子,B最好的对应策略也是管自己去打兔子(一个人去打鹿空手而归)。同理,如果B打兔子,A最好的对应策略也是去打兔子。所以两个人都打兔子是纳什均衡。
同样的道理可以解释为什么都打鹿也是一个纳什均衡。
这里面,AB都打鹿这个纳什衡是帕累托最优。(It pareto dominates the other nash equilibrium.) 但是就是这样简单的一个小游戏,都会有两个纳什均衡。 (其实严格来说有3个,还有一个牵涉到混合策略[是这么叫么?]mixed strategies.)
 楼主| 发表于 2008-6-21 23:08:35 | 显示全部楼层
原帖由 zdfsilence 于 2008-6-21 22:28 发表
博弈论的前提是不是每个参与者对各自的行动会造成的结果都完全了解,从而选择对自己最有利的行动?
如果是的话,在实际的游戏过程中,似乎不可能做到这点啊?


(1)这是博弈论中的一个基本假设 Common knowledge。 你可以去掉这个假设,但是这个博弈将变得极其复杂……但即使去掉了这个假设,只要能定义一个博弈,并满足主文中的条件,纳什均衡仍然存在。 (事实上,即使主文中的条件不满足,纳什还有另外一个定理证明在别的一组条件存在下,纳什均衡还是可以存在。不过另外那个定理就有点太technical了……)
(2)不是简单地对自己最有利,而是:Given the opponents' strategies, each player chooses the best response.

[ 本帖最后由 RP_MAN 于 2008-6-21 23:11 编辑 ]
发表于 2008-6-22 12:29:59 | 显示全部楼层
这篇东西太强了,RP男在美国哪个大学?
发表于 2008-6-22 12:35:59 | 显示全部楼层
看了一遍...感觉咋说呢,感觉说了就和没说似的...
发表于 2008-6-22 12:56:31 | 显示全部楼层
原帖由 RP_MAN 于 2008-6-21 15:57 发表
嗯,有一次捉云说要在下用博弈论来分析Civ4。当时答应了(估计捉云自己都忘记了)……
那么,现在就从纯技术角度来分析一下这个游戏好了。
实话说,从来“纯技术的”博弈论文章都是用英语写的,中文真的不会写 ...

基本出发点有问题,效用函数空间不是良序集。
发表于 2008-6-22 13:01:16 | 显示全部楼层
原帖由 RP_MAN 于 2008-6-21 23:06 发表


下面这个是一个很简单的博弈 (coordination game in Egnlish)
A 和 B 相约去打猎。他们可以各管各打兔子,也可以合作打鹿。假设打鹿需要两人合作,所以如果A打兔子,B自己去打鹿,那么B什么也无法得到。( ...

这个例子正好显示了问题所在,即兔子和鹿最终必须要规约到一个统一的度量上去。如果把兔子和鹿看作是两个无关的向量基,所谓的均衡就不存在。同样,文明的胜利规则决定了事实上不可能把效用函数限制在一个良序集上,于是均衡也不存在了。
发表于 2008-6-22 13:05:25 | 显示全部楼层
结论就是没有结论...我笑了
发表于 2008-6-22 13:26:35 | 显示全部楼层
我记得很久很久以前,宽宽网还如日中天的时候
有个叫starfish(或fishstar)的高人,南大学数学的
楼主认识他吗?
 楼主| 发表于 2008-6-22 14:11:57 | 显示全部楼层
原帖由 cmr 于 2008-6-22 12:56 发表

基本出发点有问题,效用函数空间不是良序集。
这个例子正好显示了问题所在,即兔子和鹿最终必须要规约到一个统一的度量上去。如果把兔子和鹿看作是两个无关的向量基,所谓的均衡就不存在。同样,文明的胜利规则决定了事实上不可能把效用函数限制在一个良序集上,于是均衡也不存在了


同学,良序集是啥? 我高中以后的东西都是用英语学的……你是指效用函数的Cardinality Vs Ordinal property?
我想说的是。这个所谓映射到同一度量是没有问题的。经济学在上个世纪初就已经证明了只要满足一些相当弱的条件,你可以用效用函数将人对不同选择的偏好映射到实数集上面。打开mas-collel这本著名的微观经济博士生入门教材,看第一、二、三章就知道没有问题了……Utility function representation of preference在这个coordination game里面是没有问题的。因为所有条件都是满足的。文明的胜利规则也是如此。只要你能告诉我你对6种胜利方式加上失败(或者加上tj好了……),这8个结果的偏好(preference relation),我就可以很容易地用一个效用函数(这里可能是离散的)来表达你的这个偏好。(即使你对某几种胜利方式无所谓[indifference]都没有任何关系。)
 楼主| 发表于 2008-6-22 14:16:32 | 显示全部楼层
原帖由 gowang 于 2008-6-22 13:05 发表
结论就是没有结论...我笑了

知道么,当年纳什拿着他那篇证明了纳什均衡存在的文章给冯。努伊曼 (Von-Neumann)看得时候,Von-Neumann就说了一句话:“This is trivial. It is just a fixed point.”
是的,纳什证明均衡的存在仅仅用的是不定点定理,但是就是那篇被von Neumann说菜鸟的文章,却为他获取了1994年的诺贝尔经济学奖……
 楼主| 发表于 2008-6-22 14:32:41 | 显示全部楼层
原帖由 cmr 于 2008-6-22 13:01 发表

这个例子正好显示了问题所在,即兔子和鹿最终必须要规约到一个统一的度量上去。如果把兔子和鹿看作是两个无关的向量基,所谓的均衡就不存在。同样,文明的胜利规则决定了事实上不可能把效用函数限制在一个良序 ...

由于我所受教育使用语言的问题,请允许我把32楼的话的意思用英语复述一遍(用以缓解翻译成中文时出现的误差)

This is a very good question raised by a lay person (please let me assume you haven't had very serious training in economics.)

No economist wants to use a utility function to map a rabbit or a dear onto the real number line. This would indeed be silly. All we do is to get people's PREFERENCE ORDERING over certain commodities, such as deer or rabbit, and map this preference ordering on to the real line. It was proven in the last century that one can always do this mapping using an utility function, provided that certain conditions are satisfied. I refer you to Mas-colel's classical postgraduate textbook (see reference in the first post.), which provides a very good treatment of this topic.

In terms of the Civ4 game. It can be easily seen that using utility function representing your preference over the outcomes is a valid approach. Just tell me your preference relations over the 6 victory condition and failure, I can easily find a utility function that represents such preference. (This might well be a discrete function, but it will not matter here.)  If you cannot read the textbook I referred to you, just let me assure you that the conditions mentioned in the last paragraph are all satisfied in the case of Civ4.
发表于 2008-6-22 15:06:49 | 显示全部楼层
剪子石头布的纳什均衡在哪里?
发表于 2008-6-22 15:34:27 | 显示全部楼层

回复 #33 RP_MAN 的帖子

就事论事阿

这里也不是高等数学研究论坛

既然要拿出专业术语来解释文明

那麽就该拿出个结论而不只是来炫耀自己懂很多数学知识.对吧?

还是说我太愚钝无法看出这篇文章可以应用在实际游戏的地方

--
我觉得这篇主题并不是靠内容得到精华

而是因为翻译
 楼主| 发表于 2008-6-22 15:35:02 | 显示全部楼层

回复 #35 cmr 的帖子

in mixed strategy (中文叫混合策略?)
双方都以1/3的几率出剪刀,锤子,和布……
可以证明这个Nash equilibrium 是单一的……
多看看博弈论的书吧……
 楼主| 发表于 2008-6-22 15:42:53 | 显示全部楼层
原帖由 gowang 于 2008-6-22 15:34 发表
就事论事阿

这里也不是高等数学研究论坛

既然要拿出专业术语来解释文明

那麽就该拿出个结论而不只是来炫耀自己懂很多数学知识.对吧?

还是说我太愚钝无法看出这篇文章可以应用在实际游戏的地方

- ...


这只能说你并不了解博弈论的精妙之处……无论多复杂的博弈,只要满足某些条件,都有纳什均衡。只是从学术上证明纳什均衡的存在而以,并没有别的意思。如果你觉得很无趣,可以耸耸肩,就当我什么都没说。物理学里面String Theory说宇宙有11维,常人听了,也是耸耸肩吧——有几维并不影响我们吃饭睡觉。那么从某种意义上来说,string theory也没啥意义……
没啥要炫耀的,本来是应捉云的玩笑写的……发在水区,被孟大移过来的。精华也是水区加的……
还有……不是翻译,是在下自己写的。之所以英语中文两个版本是因为在下所受教育的语言问题。
从来没用中文写过专业的东西,所以只用中文写可能会歪曲了自己的原意,很多术语中文叫啥也不知道。所以放上英语的原稿以供参考。然而,只用英语肯定没人看……

[ 本帖最后由 RP_MAN 于 2008-6-22 15:47 编辑 ]
发表于 2008-6-22 15:57:39 | 显示全部楼层

回复 #38 RP_MAN 的帖子

那恕我直言

这篇文章的 文明 2字换成任何游戏是不是都可行?

标题的 Civ4 换成任何游戏是不是都可行?
 楼主| 发表于 2008-6-22 16:12:36 | 显示全部楼层

回复 #39 gowang 的帖子

不一定。比如说星际争霸这个游戏……理论上这个游戏可以一直不结束 (只要电脑不报废,或者玩家自己不死掉)……那么策略集合就不一定是有限的。纳什均衡就未必存在。
还是重复一遍
(1)这篇文章本来是发在水区的,精华也是水区加的。本来就是让水区的朋友们一笑而已的。
(2)如果你真的不了解纳什均衡的实际意义,那么我只是从学术的角度指出其存在而已。你大可以耸肩而过……但请不要在不懂博弈论的皮毛的时候说在学术角度上很无聊。
说句实话,4区很无聊的帖子多的是。这个帖子大不了你看着不爽扔回水区好了。
发表于 2008-6-22 16:49:33 | 显示全部楼层
我也只是被标题骗进来笑一笑而已就要被骂得臭头

放在主区给大家见识一下LZ的人品不是更好
您需要登录后才可以回帖 登录 | 注册

本版积分规则

小黑屋|手机版|Archiver|塞爱维(CIV)文明联盟    

GMT+8, 2024-4-25 20:10

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表