1704644072
但事实上，还有另外的“混合策略”均衡与科斯定理的“有效性”命题相抵触。这里假定，所有社会成员都一样，最后有一个对称的混合策略均衡。这个假定的设立，是为了使分析简便。
1704644073
1704644074
我们设社会最后决定提供公共品（克服外在性）的概率为P。由混合策略均衡的定义知，在均衡时，社会最后提供公共品的概率必然小于1。既然是P<1，这就从根本上否定了“自愿谈判”会达到“充分有效”，因充分有效就等价于提供公共品的概率为1。但Dixit-Olson的模型的力量还不止于此，他们发现，在大多数场合，提供公共品的概率不仅小于1，而且接近于零，这等于是说，“自愿谈判”的均衡结果是接近于“总体无效”。这后一点对科斯定理有效性命题的否定，是更为致命的。
1704644075
1704644076
我们用概率论来仔细地分析这种“总体无效”发生的机制。
1704644077
1704644078
令P为每一个社会成员都选择“参与”这一事件发生的概率。现在只考察一个社会成员，看他选择“参与”或“不参与”的后果是什么？
1704644079
1704644080
1704644081
首先，假设个人A选择“参与”。由于社会由N个人组成，则除他以外社会还有（N－1）个人。如果这剩下的（N－1）个人中有（M－1）个人或更多的人选择了“参与”，则由于这个人的“参与”，使社会中选择“参与”的总人数n≥M。这样，公共品就可以得以生产。在这样的条件下，个人A的净利益为
1704644082
1704644083
1704644084
1704644085
由于个人A“参与”公共品提供是依赖于社会上愿“参与”的其他人数之总和，只要社会上其他愿参与的人数大于等于（M－1），即社会总“参与”人数n≥M，则个人A就会有净收益这样的机会共有（N－M）个。对于每一种总参与人数n≥M的机会，个人A获得的概率都服从二项分布，即
1704644086
1704644087
1704644088
1704644089
1704644090
1704644091
这里，为什么要考虑原因是只要社会上已有（n－1）个人选择“参与”，则个人A再加入“参与”的行列，大事就告成功了。但由于这样的机会共有（N－M）个，所以，个人A选择“参与”的预期的净收益为
1704644092
1704644093
1704644094
1704644095
1704644096
下一步，我们来分析，如果个人A选择“不参与”，A会有多大的期望净利益？
1704644097
1704644098
显然，只有当社会上除A以外的（N－1）个成员中有M个或更多的人都选择了“参与”时，A才可以获得“免费搭车者”的好外“V”。于是A在选择“不参与”时的期望净收益为
1704644099
1704644100
1704644101
1704644102
1704644103
这里要注意：（1）A以外的社会成员最多只有（N－1）个，因A本人“不参与”，所以他获得“免费搭车者”的机会只有［（N－1）－M］个，即只有当别人愿“加入”的总人数至少达到M个时，A才能坐享其成。（2）公共品提供的概率必须是Pn（1－p）（N－1）－n，而不是P（n－1）（1－P）（N－1）－（n－1）。为什么？因这是A对别人“选择参与”的依赖程度，A本人并不参与。在公式（17.21）与公式（17.22）里，A只需要（n－1）个别人参与即可，因他本人是“参与”的，合起来“参与”人数便有n；而在公式（17.23）里，A本人并不参与，所以必须依靠社会上尚有n个人“参与”，方能坐享其成。
1704644104
1704644105
有了（17.22）式与（17.23）式，运用“混合策略均衡”的定义，可知，在均衡时，个人A是“参与”还是“不参与”，在预期收益上应该是无差异的。即（17.22）式与（17.23）式应当相等。由该两式相等，便可以解出公共品提供的概率P的值。
1704644106
1704644107
但为了求解P，有必要对（17.22）式稍作变型。在（17.22）式中的第一项，令V＝n－1，则（17.22）式可以改写为
1704644108
1704644109
1704644110
1704644111
1704644112
（17.24）式的后一项与（17.22）式的后半部分一样，而其前一项由于V＝n－1，即n＝V＋1，当n＝M时，V＝M－1；当n＝N时，V＝N－1。从而（17.24）式的前一项加和从V＝M－1一直加到V＝N－1。这样一来，（17.24）式的前一项与式（17.23）的大部分可以抵消，只有
1704644113
1704644114
1704644115
1704644116
1704644117
才会剩下。
1704644118
1704644119
由于，（17.24）式与（17.25）式应相等，所以（（17.25）－（17.24））之后，就会有
1704644120
1704644121
