An Improvement of MaxSAT Encoding for Coalition Structure Generation with Externaliies

DOI

Bibliographic Information

Other Title
  • 外部性が存在する提携構造形成問題のためのMaxSAT符号化の改良

Description

<p>The Coalition Structure Generation (CSG) problem involves dividing the set of agents to maximize the sum of coalition values, and various algorithms have been proposed to address it. We propose an improvement that enables more efficient solving of the CSG problem, where externalities exist between coalitions, compared to the conventional MaxSAT encoding. Computational experiments demonstrate that our approach can reduce CPU computation time compared to traditional methods.</p>

Journal

Keywords

Details 詳細情報について

Report a problem

Back to top