纳什均衡与严格下策反复消去法 命题1：在n个博弈方的博弈G={S1,…Sn4,un}中，如果严格下 策反复消去法排除了除(S,…Sn之外的所有策略组合，那么 (s1,…sn) 一定是该博奔的唯一的纳什均衡 命题2：在n个博弈方的博弈中G={S,…Sm4,…un}中，如果 (s,,)是G的一个纳什均衡，那么严格下策反复消去法一定 不会将它消去 上述两个命题保证在进行纳什均衡分析之前先通过严格下策 反复消去法简化博弈是可行的纳什均衡与严格下策反复消去法 命题1：在n个博弈方的博弈 中，如果严格下 策反复消去法排除了除 之外的所有策略组合，那么 一定是该博弈的唯一的纳什均衡 命题2：在n个博弈方的博弈中 中，如果 是 的一个纳什均衡，那么严格下策反复消去法一定 不会将它消去 上述两个命题保证在进行纳什均衡分析之前先通过严格下策 反复消去法简化博弈是可行的 ( , ) * * i n s s { , ; , } G  S1 Sn u1 un ( , ) * * i n s s ( , ) * * i n s s { , ; , } G  S1 Sn u1 un G