A Logical–Computational Framework for Discovering Three-Player Games with Unique Pure Nash Equilibrium Payoffs

The Nash equilibrium is a central concept in game theory, widely used across economics, social sciences, computer science, and artificial intelligence. However, computing Nash equilibria, especially in multi-player games, is a complex and computationally challenging task. Among the various types of...

全面介紹

書目詳細資料

Principais autores:	Jiajia Yang, Zhongtao Xie, Hongbo Hu, Xiang Du
格式:	Artigo
語言:	Inglês
出版:	MDPI AG 2026-01-01
叢編:	Mathematics
主題:	computer-aided theorem discovering game theory first-order logic uniqueness of pure nash equilibrium payoffs Pareto optimality satisfiability solver
在線閱讀:	https://www.mdpi.com/2227-7390/14/3/409
標簽:	添加標簽 沒有標簽, 成為第一個標記此記錄!