文献

J-GLOBAL ID：202402211855632148   整理番号：24A1760772

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

An Improvement of MaxSAT Encoding for Coalition Structure Generation with Externaliies

著者 (4件)： 木下春斗 (名古屋工大) ,  櫻井祐子 (名古屋工大) ,  越村三幸 (九大) ,  横尾真 (九大)
資料名： 人工知能学会全国大会論文集(Web)  (Proceedings of the Annual Conference of JSAI (Web))
巻： 38th  ページ： ROMBUNNO.2M4-OS-11b-04(J-STAGE)  発行年： 2024年 
JST資料番号： U1701A  ISSN： 2758-7347  資料種別： 会議録 (C)
記事区分： 短報  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 提携構造形成問題は,提携値の和が最大化されるようにエージェントの提携を決定する問題であり,様々なアルゴリズムが提案されている。我々は,提携間に外部性が存在する提携構造形成問題に対して,従来提案されているMaxSAT符号化よりも効率的に求解可能にするための改良を提案する。計算機実験により,従来手法と比較してCPU計算時間の削減が可能になることを示す。(著者抄録)

シソーラス用語： *符号化 ,  *充足可能性問題 ,  *構造形成 ,  エージェント ,  アルゴリズム ,  計算量 ,  解法
準シソーラス用語： *SAT符号化 ,  外部性 ,  求解法

分類 (2件)： 論理代数  (JB03000H) ,  グラフ理論基礎  (IA02020S)

タイトルに関連する用語 (4件)： 外部性 ,  提携 ,  構造形成 ,  問題