合作与非合作制度设计：开源博弈论中的意外与问题

现实世界中的主体（如基于软件的主体或人类机构）越来越有可能查看其交互对象的内部编程。例如，一家公司可以阅读另一家公司的章程，或一个软件系统可以读取另一个的源代码。此类主体设计者之间的博弈论均衡称为\emph{程序均衡}，我们将此领域称为\emph{开源博弈论}。本工作中我们展示了一系列关于开源博弈的反直觉结果，这些结果与主体所写编程语言无关。我们表明，某些人们预期会相互背叛的正式制度设计反而会合作，或者相反，在人们预期其会背叛时却合作。这些结果在每个机构都能完全看清另一机构真实操作流程的设定下成立。我们还给出了若干例子以及十个用于更好理解这些现象的开放问题。我们认为，当代博弈论仍不足以研究程序均衡，因为即便开源设定下单一博弈的结果也依然反直觉且鲜被理解。尽管如此，其中一些开源主体展现出合意特性——例如，它们能不可剥削地为其他主体创造合作与可读性的激励——使得分析它们可带来可观益处。