Hidden-Role Games: Equilibrium Concepts and Computation

Luca Carminati,Brian Hu Zhang,Gabriele Farina,Nicola Gatti,Tuomas Sandholm
2024-07-09
Abstract:In this paper, we study the class of games known as hidden-role games in which players are assigned privately to teams and are faced with the challenge of recognizing and cooperating with teammates. This model includes both popular recreational games such as the Mafia/Werewolf family and The Resistance (Avalon) and many real-world settings, such as distributed systems where nodes need to work together to accomplish a goal in the face of possible corruptions. There has been little to no formal mathematical grounding of such settings in the literature, and it was previously not even clear what the right solution concepts (notions of equilibria) should be. A suitable notion of equilibrium should take into account the communication channels available to the players (e.g., can they communicate? Can they communicate in private?). Defining such suitable notions turns out to be a nontrivial task with several surprising consequences. In this paper, we provide the first rigorous definition of equilibrium for hidden-role games, which overcomes serious limitations of other solution concepts not designed for hidden-role games. We then show that in certain cases, including the above recreational games, optimal equilibria can be computed efficiently. In most other cases, we show that computing an optimal equilibrium is at least NP-hard or coNP-hard. Lastly, we experimentally validate our approach by computing exact equilibria for complete 5- and 6-player Avalon instances whose size in terms of number of information sets is larger than $10^{56}$.
Computer Science and Game Theory
What problem does this paper attempt to address?
The paper attempts to address the problem of defining an appropriate equilibrium concept in hidden-role games and studying the computational complexity of these equilibria. Hidden-role games are a special type of multiplayer game where players are secretly assigned to different teams, and their challenge is to identify and cooperate with other teammates. These games include popular board games such as Mafia/Werewolf and The Resistance/Avalon, as well as many real-world applications, such as nodes in distributed systems needing to collaborate in the face of potential disruptors. The main contributions of the paper include: 1. **Definition of the equilibrium concept for hidden-role games**: The authors propose a new equilibrium concept suitable for hidden-role games—hidden-role equilibrium (HRE). This concept overcomes the severe limitations of other solution concepts not designed for hidden-role games. 2. **Analysis of the computational complexity of equilibria**: The authors demonstrate that in certain cases, including the aforementioned entertainment games, the optimal equilibrium can be computed efficiently. However, in most other cases, computing the optimal equilibrium is at least NP-hard or coNP-hard. 3. **Experimental validation**: By computing the exact equilibria of complete 5-player and 6-player Avalon instances, the authors experimentally validate the effectiveness of their approach, with the number of information sets in these instances exceeding 10^56. The paper also explores the applications of hidden-role games in fields such as network security and AI alignment, and discusses why existing solutions are not suitable for these problems. Overall, the paper provides a theoretical foundation for understanding how to formulate optimal strategies in the presence of deception.