Host: The Japanese Society for Artificial Intelligence
Name : The 33rd Annual Conference of the Japanese Society for Artificial Intelligence, 2019
Number : 33
Location : [in Japanese]
Date : June 04, 2019 - June 07, 2019
In this paper, we consider coalition structure generation problem in cooperative graph games. The cooperative graph game is known as one of typical concise representation for cooperative games by using weighted undirected graph. We develop IP formalization and MaxSAT encoding to nd the optimal coalition structure in cooperative graph games. The feature of our formalization is to introduce the symmetry breaking constraints and sort the agents into decreasing order of the sum of weights of the edges each agent belongs. Our experimental results showthat the commercial solver GUROBI for IP formalization outperforms MaxSAT solver.
