1704423987
1704423988
令策略p＝p1H＋p2D＋p3R，策略q＝q1H＋q2D＋q3R。于是有：
1704423989
1704423990
1704423991
1704423992
1704423993
1704423994
1704423995
1704423996
因此E（p，q）可以写成p′Vq的形式。
1704423997
1704423998
演化与博弈论 [:1704421374]
1704423999
二、有两个纯策略的博弈总是具有一个ESS
1704424000
1704424001
我们可以把博弈的支付矩阵写成：
1704424002
1704424003
1704424004
1704424005
1704424006
如果a＞c，那么策略H是一个ESS。
1704424007
1704424008
如果d＞b，那么策略D是一个ESS。
1704424009
1704424010
如果上述两个不等式都成立，那么H和D都是ESS。
1704424011
1704424012
对剩下的a＜c和d＜b两种情形。令I为混合策略P（H）＋（1－P）（D），其中P表示采取策略H的概率。如果I是一个ESS，那么根据Bishop-Cannings定理（附录三）有，
1704424013
1704424014
aP＋b（1－P）＝cP＋d（1－P）
1704424015
1704424016
图35表明，如果a＜C并且d＜b，那么上述方程总是存在一个满足0＜P＜1的解。解为：
1704424017
1704424018
1704424019
1704424020
1704424021
1704424022
1704424023
1704424024
图35 具有两个纯策略的博弈具有一个ESS。
1704424025
1704424026
为了证明这个解是稳定的，考虑另一个可选策略q＝q（H）＋（1－q）（D）。由于策略I＝P（H）＋（1－P）（D）具有E（H，I）＝E（D，I）的性质，由此得到E（q，I）＝E（I，I）。因此，如果E（I，q）＞E（q，q）成立，那么策略I将是稳定的。
1704424027
1704424028
现在
1704424029
1704424030
1704424031
1704424032
1704424033
由于C＞a，b＞d并且q≠p，由此可以得到E（I，q）＞E（q，q），因此策略I是稳定的。
1704424034
1704424035
总之，H是一个ESS，或者D是一个ESS，或者H和D都是ESS，或者存在一个混合ESS。
1704424036