数学建模17：黑暗森林法则与社会契约
本讲导读
刘慈欣在《三体》中建立了一条黑暗森林法则：“宇宙就是一座黑暗森林，每个文明都是带枪的猎人，像幽灵般潜行于林间，轻轻拨开挡路的树枝，竭力不让脚步发出一点儿声音，连呼吸都必须小心翼翼：他必须小心，因为林中到处都有与他一样潜行的猎人，如果他发现了别的生命，能做的只有一件事：开枪消灭之。”黑暗森林法则可以看作是刘慈欣先生通过小说发表的对费米悖论的一种解释。在本小节中，我们将从数学模型入手，用形式化地方法分析黑暗森林法则，看看能推导出什么或有趣或残酷的结论。
本讲适合在讲授或学习完高中数学的函数章节、导数章节、概率统计章节后，作为数学建模材料，在日常教学中讲授或学习，本讲内容包括但不限于：
1. 费米悖论与黑暗森林法则；
2. 两个文明在黑暗森林中的博弈；
3. 直纹面、鞍点与纳什均衡；
4. 用动态的观点去分析共存的情形；
5. 社会契约与森林伦理。
参考文献及引申读物：
[1] Jacob D. Haqq-Misra, Seth D. Baum, The Sustainability Solutionto The Fermi Paradox, JBIS, Vol. 62, pp. 47-51, 2009.
论文在线阅读地址：http://sethbaum.com/ac/2009_FermiParadox.pdf.
[2] Claudio Maccone, The Statistical Drake Equation, ActaAstronautica, Acta Astronautica, Volume 67, Issues 11–12, December 2010, Pages1366-1383.
[3] Hart, Michael H. Explanation for the Absence ofExtraterrestrials on Earth. Quarterly Journal of the Royal AstronomicalSociety, Vol. 16, p.128.
论文下载地址：http://adsabs.harvard.edu/abs/1975QJRAS..16..128H.
[4] 刘慈欣, 三体2:黑暗森林, 中国:重庆出版社, 2008: P200.
[5] 亚当·斯密, 道德情操论, 商务印书馆, 1997-12.
[6] 让-雅克·卢梭, 社会契约论, 译林出版社, 2014-3.
日常生活中的数学建模系列文章：