The formation analysis of Nash equilibriums in bi-matrix game generated by propositional formulas

Jiaozhen Zhao; Tsing Lee; Chun Li; Changyi Lu

doi:10.1117/12.2679098

14 June 2023 The formation analysis of Nash equilibriums in bi-matrix game generated by propositional formulas

Jiaozhen Zhao, Tsing Lee, Chun Li, Changyi Lu

Proceedings Volume 12725, International Conference on Pure, Applied, and Computational Mathematics (PACM 2023); 127250W (2023) https://doi.org/10.1117/12.2679098
Event: International Conference on Pure, Applied, and Computational Mathematics (PACM 2023), 2023, Suzhou, China

Abstract

In Game Theory, the computation and counting of equilibrium and the structural features of equilibrium are major research topics. The existence of equilibrium naturally forms a decision problem. The Nash equilibrium composed of mixed strategies always exists in the matrix and double matrix games. Therefore, calculating Nash equilibrium is the main task in the matrix and double matrix games. For the double matrix game, the measure of its Nash equilibrium can be based on the stability implied in the Nash equilibrium definition. Besides, a propositional formula can construct a two-player game given as a bi-matrix by specifying a proper finite set of strategies and adding a transformation. In this study, we investigate the development of Nash equilibriums by analyzing the structure-property of bi-matrix. We examine the characterization of Nash equilibrium creation and the relationship between satisfiable assignments of formula and Nash equilibriums of generated Game based on the characterization of bi-matrix formation and the stability principle of Nash equilibriums. The method from analysis and logic helps examine some relationships between combination optimization issues in graph theory and game systems by examining the structure of bi-matrix and combining the stability principle of Nash equilibriums to research the characterization of Nash equilibriums.

Citation Download Citation

Jiaozhen Zhao, Tsing Lee, Chun Li, and Changyi Lu "The formation analysis of Nash equilibriums in bi-matrix game generated by propositional formulas", Proc. SPIE 12725, International Conference on Pure, Applied, and Computational Mathematics (PACM 2023), 127250W (14 June 2023); https://doi.org/10.1117/12.2679098

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available