9.2 软件工具与模拟

文档摘要

9.2 软件工具与模拟第九章：计算博弈论与求解工具 9.2 软件工具与模拟：从抽象均衡到可计算行为的工程跃迁当我们站在博弈论百年思想长河的中游回望，纳什均衡的诞生如同一道分水岭——它赋予非合作博弈以确定性的数学内核；而当目光转向下游，我们却不得不直面一个沉默却尖锐的问题：一个存在性证明，是否足以支撑现实世界中千万次策略互动的决策？纳什在1950年写下 $$ \exists \sigma^ \in \Delta(S1) \times \cdots \times \Delta(Sn),\quad \forall i,\; ui(\sigmai^, \sigma{-i}^) \geq ui(\sigmai, \sigma{-i}^),\ \forall \sigmai \in