Abstract:In many settings, there is an organizer who would like to divide a set of agents into $k$ coalitions, and cares about the friendships within each coalition. Specifically, the organizer might want to maximize utilitarian social welfare, maximize egalitarian social welfare, or simply guarantee that every agent will have at least one friend within his coalition. However, in many situations, the organizer is not familiar with the friendship connections, and he needs to obtain them from the agents. In this setting, a manipulative agent may falsely report friendship connections in order to increase his utility. In this paper, we analyze the complexity of finding manipulation in such $k$-coalitional games on graphs. We also introduce a new type of manipulation, socially-aware manipulation, in which the manipulator would like to increase his utility without decreasing the social welfare. We then study the complexity of finding socially-aware manipulation in our setting. Finally, we examine the frequency of socially-aware manipulation and the running time of our algorithms via simulation results.
What problem does this paper attempt to address?
### What problems does this paper attempt to solve?
This paper aims to study the complexity of finding manipulation behaviors in k - coalition games on graphs. Specifically, the paper focuses on how an organizer divides a set of agents (such as employees or students) into multiple coalitions and hopes to optimize the friendship relationships within each coalition. However, in actual scenarios, the organizer may not be aware of all the friendship connections between agents, so it needs to obtain this information from the agents. In this case, a motivated agent may falsely report its friendship connections to increase its own utility.
The paper mainly explores the following problems:
1. **Complexity of finding manipulation behaviors**:
- The organizer's goals can be to maximize utilitarian social welfare (Max - Util), maximize egalitarian social welfare (Max - Egal), or ensure that each agent has at least one friend in its coalition (At - Least - 1).
- Research shows that for the Max - Egal and At - Least - 1 goals, finding the optimal manipulation behavior or determining whether a given report is beneficial to the manipulator are both computationally difficult problems (i.e., NP - hard problems). For the Max - Util goal, although determining whether a given report is beneficial can be done in polynomial time, the complexity of finding the optimal manipulation behavior remains unknown.
2. **Introducing a new type of manipulation - Socially - Aware Manipulation (SAM)**:
- Socially - Aware Manipulation refers to the situation where the manipulator hopes to manipulate by increasing its own utility without reducing social welfare. This type of manipulation simulates real - life situations, such as company employees or sports team members pursuing personal interests without harming the overall interests.
- The paper analyzes the possibility of the existence of SAM under different goals (Max - Util, Max - Egal, At - Least - 1) and studies the complexity of finding the optimal SAM or determining whether a given report is SAM. The results show that under the Max - Egal and At - Least - 1 goals, these problems are still computationally difficult, but can be solved in polynomial time under the Max - Util goal.
3. **Verifying the frequency of SAM and the running time of the algorithm through simulation experiments**:
- The author shows the frequency of SAM through simulation experiments based on real - life social networks and proves the effectiveness of their proposed XP algorithm.
### Presentation of formulas in Markdown format
To better understand the above content, the following are the Markdown - format representations of some key definitions and formulas in the paper:
- **Utility function**: \[ u(a, P) \] represents the number of friends that agent \( a \) has in partition \( P \).
- **Maximum egalitarian social welfare**: \[ P^*=\arg\max_{P\in\Pi_k}\min_{a\in A}u(a, P) \]
- **At least one friend**: \[ P^*\text{ such that }\forall a\in A, u(a, P^*) > 0 \]
- **Maximum utilitarian social welfare**: \[ P^*=\arg\max_{P\in\Pi_k}\sum_{a\in A}u(a, P) \]
- **Improvement measures**:
- For LBM: \[ I_{LBM}(ER(m)) = LB_{obj}(G(m), m)-LB_{obj}(G, m) \]
- For UBM: \[ I_{UBM}(ER(m)) = UB_{obj}(G(m), m)-UB_{obj}(G, m) \]
- For WIM: \[ I_{WIM}(ER(m)) = (LB_{obj}(G(m), m)+UB_{obj}(G(m), m))-(LB_{obj}(G, m)+UB_{obj}(G, m)) \]
- For SIM: \[ I_{SIM}(ER(m))=(LB_{obj}(G(m), m)+UB_{obj}(G(m), m))-(LB_{obj}