Improved WPM encoding for coalition structure generation under MC-nets

Xiaojuan Liao, Miyuki Koshimura, Kazuki Nomoto, Suguru Ueda, Yuko Sakurai, Makoto Yokoo

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

抄録

The Coalition Structure Generation (CSG) problem plays an important role in the domain of coalition games. Its goal is to create coalitions of agents so that the global welfare is maximized. To date, Weighted Partial MaxSAT (WPM) encoding has shown high efficiency in solving the CSG problem, which encodes a set of constraints into Boolean propositional logic and employs an off-the-shelf WPM solver to find out the optimal solution. However, in existing WPM encodings, a number of redundant encodings are asserted. This results in additional calculations and correspondingly incurs performance penalty. Against this background, this paper presents an Improved Rule Relation-based WPM (I-RWPM) encoding for the CSG problem, which is expressed by a set of weighted rules in a concise representation scheme called Marginal Contribution net (MC-net). In order to effectively reduce the constraints imposed on encodings, we first identify a subset of rules in an MC-net, referred as a set of freelance rules. We prove that solving the problem made up of all freelance rules can be achieved with a straightforward means without any extra encodings. Thus the set of rules requiring to be encoded is downsized. Next, we improve the encoding of transitive relations among rules. To be specific, compared with the existing rule relation-based encoding that generates transitive relations universally among all rules, I-RWPM only considers the transitivity among rules with particular relationship. In this way, the number of constraints to be encoded can be further decreased. Experiments suggest that I-RWPM significantly outperforms other WPM encodings for solving the same set of problem instances.

元の言語英語
ページ(範囲)25-55
ページ数31
ジャーナルConstraints
24
発行部数1
DOI
出版物ステータス出版済み - 1 15 2019

Fingerprint

Coalitions
Encoding
Partial
Experiments
Transitivity
Propositional Logic
Welfare
High Efficiency
Penalty
Optimal Solution
Game

All Science Journal Classification (ASJC) codes

  • Software
  • Discrete Mathematics and Combinatorics
  • Computational Theory and Mathematics
  • Artificial Intelligence

これを引用

Improved WPM encoding for coalition structure generation under MC-nets. / Liao, Xiaojuan; Koshimura, Miyuki; Nomoto, Kazuki; Ueda, Suguru; Sakurai, Yuko; Yokoo, Makoto.

:: Constraints, 巻 24, 番号 1, 15.01.2019, p. 25-55.

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

Liao, Xiaojuan ; Koshimura, Miyuki ; Nomoto, Kazuki ; Ueda, Suguru ; Sakurai, Yuko ; Yokoo, Makoto. / Improved WPM encoding for coalition structure generation under MC-nets. :: Constraints. 2019 ; 巻 24, 番号 1. pp. 25-55.
@article{d9cc781e0ebe4ef2880d14305f7960b5,
title = "Improved WPM encoding for coalition structure generation under MC-nets",
abstract = "The Coalition Structure Generation (CSG) problem plays an important role in the domain of coalition games. Its goal is to create coalitions of agents so that the global welfare is maximized. To date, Weighted Partial MaxSAT (WPM) encoding has shown high efficiency in solving the CSG problem, which encodes a set of constraints into Boolean propositional logic and employs an off-the-shelf WPM solver to find out the optimal solution. However, in existing WPM encodings, a number of redundant encodings are asserted. This results in additional calculations and correspondingly incurs performance penalty. Against this background, this paper presents an Improved Rule Relation-based WPM (I-RWPM) encoding for the CSG problem, which is expressed by a set of weighted rules in a concise representation scheme called Marginal Contribution net (MC-net). In order to effectively reduce the constraints imposed on encodings, we first identify a subset of rules in an MC-net, referred as a set of freelance rules. We prove that solving the problem made up of all freelance rules can be achieved with a straightforward means without any extra encodings. Thus the set of rules requiring to be encoded is downsized. Next, we improve the encoding of transitive relations among rules. To be specific, compared with the existing rule relation-based encoding that generates transitive relations universally among all rules, I-RWPM only considers the transitivity among rules with particular relationship. In this way, the number of constraints to be encoded can be further decreased. Experiments suggest that I-RWPM significantly outperforms other WPM encodings for solving the same set of problem instances.",
author = "Xiaojuan Liao and Miyuki Koshimura and Kazuki Nomoto and Suguru Ueda and Yuko Sakurai and Makoto Yokoo",
year = "2019",
month = "1",
day = "15",
doi = "10.1007/s10601-018-9295-4",
language = "English",
volume = "24",
pages = "25--55",
journal = "Constraints",
issn = "1383-7133",
publisher = "Springer Netherlands",
number = "1",

}

TY - JOUR

T1 - Improved WPM encoding for coalition structure generation under MC-nets

AU - Liao, Xiaojuan

AU - Koshimura, Miyuki

AU - Nomoto, Kazuki

AU - Ueda, Suguru

AU - Sakurai, Yuko

AU - Yokoo, Makoto

PY - 2019/1/15

Y1 - 2019/1/15

N2 - The Coalition Structure Generation (CSG) problem plays an important role in the domain of coalition games. Its goal is to create coalitions of agents so that the global welfare is maximized. To date, Weighted Partial MaxSAT (WPM) encoding has shown high efficiency in solving the CSG problem, which encodes a set of constraints into Boolean propositional logic and employs an off-the-shelf WPM solver to find out the optimal solution. However, in existing WPM encodings, a number of redundant encodings are asserted. This results in additional calculations and correspondingly incurs performance penalty. Against this background, this paper presents an Improved Rule Relation-based WPM (I-RWPM) encoding for the CSG problem, which is expressed by a set of weighted rules in a concise representation scheme called Marginal Contribution net (MC-net). In order to effectively reduce the constraints imposed on encodings, we first identify a subset of rules in an MC-net, referred as a set of freelance rules. We prove that solving the problem made up of all freelance rules can be achieved with a straightforward means without any extra encodings. Thus the set of rules requiring to be encoded is downsized. Next, we improve the encoding of transitive relations among rules. To be specific, compared with the existing rule relation-based encoding that generates transitive relations universally among all rules, I-RWPM only considers the transitivity among rules with particular relationship. In this way, the number of constraints to be encoded can be further decreased. Experiments suggest that I-RWPM significantly outperforms other WPM encodings for solving the same set of problem instances.

AB - The Coalition Structure Generation (CSG) problem plays an important role in the domain of coalition games. Its goal is to create coalitions of agents so that the global welfare is maximized. To date, Weighted Partial MaxSAT (WPM) encoding has shown high efficiency in solving the CSG problem, which encodes a set of constraints into Boolean propositional logic and employs an off-the-shelf WPM solver to find out the optimal solution. However, in existing WPM encodings, a number of redundant encodings are asserted. This results in additional calculations and correspondingly incurs performance penalty. Against this background, this paper presents an Improved Rule Relation-based WPM (I-RWPM) encoding for the CSG problem, which is expressed by a set of weighted rules in a concise representation scheme called Marginal Contribution net (MC-net). In order to effectively reduce the constraints imposed on encodings, we first identify a subset of rules in an MC-net, referred as a set of freelance rules. We prove that solving the problem made up of all freelance rules can be achieved with a straightforward means without any extra encodings. Thus the set of rules requiring to be encoded is downsized. Next, we improve the encoding of transitive relations among rules. To be specific, compared with the existing rule relation-based encoding that generates transitive relations universally among all rules, I-RWPM only considers the transitivity among rules with particular relationship. In this way, the number of constraints to be encoded can be further decreased. Experiments suggest that I-RWPM significantly outperforms other WPM encodings for solving the same set of problem instances.

UR - http://www.scopus.com/inward/record.url?scp=85053536159&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85053536159&partnerID=8YFLogxK

U2 - 10.1007/s10601-018-9295-4

DO - 10.1007/s10601-018-9295-4

M3 - Article

AN - SCOPUS:85053536159

VL - 24

SP - 25

EP - 55

JO - Constraints

JF - Constraints

SN - 1383-7133

IS - 1

ER -