文献

J-GLOBAL ID：201802225470132100   整理番号：18A1044111

重み付き部分最大充足可能性のための確率的局所探索におけるハード隣接変数ベースの構成検査【JST・京大機械翻訳】

Hard Neighboring Variables Based Configuration Checking in Stochastic Local Search for Weighted Partial Maximum Satisfiability

著者 (5件)： Chu Yi ,  Luo Chuan ,  Huang Wenxuan ,  You Haihang ,  Fan Dongrui
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： ICTAI  ページ： 139-146  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 重み付き部分最大充足可能性(WPMS)は,最大充足可能性(MAXSAT),加重最大充足可能性(加重MAX-SAT)および非加重部分最大充足可能性(PMS)の有意な一般化であり,WPMSは実世界応用領域で広く使用できる。最近,MAX-SAT,重みづけMAX-SAT,PMSおよびWPMSを解くための確率的局所探索(SLS)について大きなブレークスルーがなされており,CCLS,DistおよびCCEHCのようないくつかの最先端のSLSアルゴリズムが得られている。実際に,WPMSを解決することに関する実用的性能を上げることは,大きな興味があり,WPMSを解決することに関するSLSアルゴリズムの性能は,さらに改良することができた。本論文では,この研究方向を追跡し,WPMSを解くためのCCHNVと名付けた新しいSLSアルゴリズムを提案した。CCHNVはCCEHCのフレームワークを採用して,ハード隣接変数ベースの構成検査(HNVCC)と呼ばれる,構成検査の新しい禁止戦略を採用する。広い範囲のWPMS事例に関する広範な実験は,CCHNVがWPMSを解く上でSLSアルゴリズムの最先端性能を前進させ,WPMSを解くための最先端の完全アルゴリズムに相補的であることを示した。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【JST・京大機械翻訳】

シソーラス用語： 重みづけ ,  アルゴリズム ,  *近傍探索法
準シソーラス用語： 最先端 ,  加重 , 【Automatic Indexing@JST】

分類 (1件)： 人工知能  (JE08000Z)

タイトルに関連する用語 (5件)： 充足可能性 ,  確率 ,  局所探索 ,  変数 ,  検査