3.2 基于游商的扩展霍特林模型推导