Abstract:A new combinatorial game is given. It generalizes both Substraction and Nim. It is proved the computation of Nash equilibrium points in this new game is NP-hard.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is related to the complexity of a new class of games in combinatorial game theory. Specifically, the author proposes a new combinatorial game, which generalizes two classic games, Subtraction and Nim, simultaneously. The main objective of the paper is to prove that calculating Nash equilibrium points is an NP - hard problem within this new game framework.
### Problem Background
1. **Combinatorial Games**: Combinatorial games are a type of mathematical games in which players take turns making moves until they can no longer do so. Common combinatorial games include Nim, Subtraction, etc.
2. **Nash Equilibrium Points**: In game theory, a Nash equilibrium point refers to a state in which no player can obtain a better result by unilaterally changing their strategy.
### Main Contributions of the Paper
- **Define a New Game Model**: The author defines a new game model, called "occupation game", which describes the game process through operations on sets and subsets.
- **Generalize Existing Games**: This model not only generalizes Subtraction and Nim but also provides a broader framework for studying combinatorial games.
- **Complexity Analysis**: The author proves that calculating Nash equilibrium points is an NP - hard problem in this new game model. This means that as the scale of the game increases, the difficulty of finding Nash equilibrium points will increase exponentially.
### Specific Content
- **Definition 1.1** and **Definition 1.2**: Introduce the basic concepts of the "occupation game" and define the state space and movement rules of the game.
- **Theorem 1.7**: The core theorem, which proves that the complexity of calculating Nash equilibrium points is NP - hard.
- **Lemmas and Corollaries**: Through a series of lemmas and corollaries, gradually construct the core logic of the proof, and finally reach the conclusion.
### Conclusion
By reducing the Subset Sum Problem to the new game model, the author proves that the complexity of calculating Nash equilibrium points is the same as that of the Subset Sum Problem, both being NP - hard. This indicates that in this new game framework, it is very difficult to find Nash equilibrium points, unless P = NP.
### Related Formulas
- The Subset Sum Problem can be expressed as:
\[
\text{Given an integer set } \{t_1, t_2, \ldots, t_n\} \text{ and an integer } t, \text{ determine whether there exists a subset such that the sum of its elements is equal to } t.
\]
- Calculation of Nash Equilibrium Points:
\[
\text{Truth}(A) =
\begin{cases}
0 & \text{if } A = \emptyset \\
1 & \text{if there exists } \sigma \in O|_{A,S} \text{ such that } \text{Truth}(A - \sigma) = 0 \\
0 & \text{if for all } \sigma \in O|_{A,S}, \text{ we have } \text{Truth}(A - \sigma) = 1
\end{cases}
\]
Through these formulas and definitions, the author successfully demonstrates the complexity of the new game model and proves its computational difficulty.