A comparative analysis and improvement of MaxSAT encodings for coalition structure generation under MC-nets

Xiaojuan Liao, Miyuki Koshimura

研究成果: ジャーナルへの寄稿記事

抜粋

Coalition structure generation (CSG) is one of the main research issues in the use of coalitional games in multiagent systems and weighted partial MaxSAT (WPM) encodings, i.e. rule relation-based WPM (RWPM) and agent relation-based WPM (AWPM), which are efficient for solving the CSG problem. Existing studies show that AWPM surpasses RWPM since it achieves more compact encoding; it generates fewer variables and clauses than RWPM. However, in this paper, we focus on a special case in which the two encodings generate identical numbers of variables and clauses. Experiments show that RWPM surprisingly has a dominant advantage over AWPM, which aroused our interest. We exploit the deep-rooted reason and find that it is the redundancy when encoding transitive laws in RWPM that leads to this situation. Finally, we remove redundant clauses for transitive laws in RWPM and develop an improved RWPM with refined transitive laws to solve the CSG problem. Experiments demonstrate that refined encoding is more compact and efficient than previous WPM encodings.

元の言語英語
ページ(範囲)913-931
ページ数19
ジャーナルJournal of Logic and Computation
29
発行部数6
DOI
出版物ステータス出版済み - 9 4 2019

All Science Journal Classification (ASJC) codes

  • Software
  • Theoretical Computer Science
  • Arts and Humanities (miscellaneous)
  • Hardware and Architecture
  • Logic

フィンガープリント A comparative analysis and improvement of MaxSAT encodings for coalition structure generation under MC-nets' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用