论文标题
网络游戏的组成建模
Compositional modelling of network games
论文作者
论文摘要
在我们日常生活中虚拟和物理网络的流行，对类似图形结构的游戏的分析越来越重要。除了在计算机科学方面与计算机科学相关外，此类分布式游戏的数学分析和计算机模拟都是经济学，政治和流行病学中的重要方法论。我们的贡献是提供一个诸如行为良好的映射之类的家族的组成语义，从一类开放图（语法）到开放式游戏（语义）（语义）。除了引入理论框架外，我们还确定了一些组成性的应用。
The analysis of games played on graph-like structures is of increasing importance due to the prevalence of social networks, both virtual and physical, in our daily life. As well as being relevant in computer science, mathematical analysis and computer simulations of such distributed games are vital methodologies in economics, politics and epidemiology, amongst other fields. Our contribution is to give compositional semantics of a family of such games as a well-behaved mapping, a strict monoidal functor, from a category of open graphs (syntax) to a category of open games (semantics). As well as introducing the theoretical framework, we identify some applications of compositionality.
