We study the impact of player capability on social welfare in congestion games. We introduce a new game, the Distance-bounded Network Congestion game (DNC), as the basis of our study. DNC is a symmetric network congestion game with a bound on the number of edges each player can use. We show that DNC is PLS-complete in contrast to standard symmetric network congestion games which are in P. To model different player capabilities, we propose using programs in a Domain-Specific Language (DSL) to compactly represent player strategies. We define a player's capability as the maximum size of the programs they can use. We introduce two variants of DNC with accompanying DSLs representing the strategy spaces. We propose four capability preference properties to characterize the impact of player capability on social welfare at equilibrium. We then establish necessary and sufficient conditions for the four properties in the context of our DNC variants. Finally, we study a specific game where we derive exact expressions of the social welfare in terms of the capability bound. This provides examples where the social welfare at equilibrium increases, stays the same, or decreases as players become more capable.
翻译:我们研究玩家能力对拥堵游戏中社会福利的影响。 我们提出一个新的游戏, 即远程网络消化游戏(DNC), 作为我们研究的基础。 DNC是一个对称网络拥堵游戏, 约束每个玩家可以使用的边缘数。 我们显示DNC是PLS的完整, 与P. 中的标准对称网络拥堵游戏相对照。 为了模拟不同的玩家能力, 我们提议使用一种特定语言(DSL) 的程序来代表玩家战略。 我们把玩家的能力定义为他们可以使用的程序的最大规模。 我们引入了两种DNC的变种, 配有代表战略空间的 DSL 。 我们提出四种能力偏好特性, 来描述玩家能力在平衡上对社会福利的影响。 然后, 我们为我们DNC变种中的四种属性建立必要和充分的条件。 最后, 我们研究一种特定的游戏, 我们从中以约束的能力来准确表达社会福利的表达方式。 这提供了在平衡上增加、 保持相同或下降的例子。