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

  • ソフトウェア
  • 理論的コンピュータサイエンス
  • 人文科学(その他)
  • ハードウェアとアーキテクチャ
  • 論理

フィンガープリント

「A comparative analysis and improvement of MaxSAT encodings for coalition structure generation under MC-nets」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル