文献

J-GLOBAL ID：201902218478109879   整理番号：19A2420814

不完全MAXSATと線形アルゴリズムのための局所探索によって示唆された技術:分解能の変化と解に導かれた探索【JST・京大機械翻訳】

Techniques Inspired by Local Search for Incomplete MaxSAT and the Linear Algorithm: Varying Resolution and Solution-Guided Search

著者 (3件)： Demirovic Emir (University of Melbourne, Melbourne, Australia) ,  Stuckey Peter J. (Monash University, Melbourne, Australia) ,  Stuckey Peter J. (Data61 CSIRO, Melbourne, Australia)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 11802  ページ： 177-194  発行年： 2019年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 著者らは,タイトな時間予算,例えば5分に直面するとき,高品質の解を見つけるために設計されたMaxSATアルゴリズムを提示する。多くの実用的応用のために,時間資源は限られており,その結果,良好な解の充足が得られるという事実から動機付けがなされている。著者らは,探索における初期の低違反解を効果的に計算することを妨げる線形MaxSATアルゴリズムの3つの弱点を同定し,これらの問題に対処するために局所探索によって触発された新しいアプローチを開発した。著者らの様々な分解能法は,最初にソフトクラス(低分解能)の粗い視点を考慮し,時間を精密化し,元の問題が解決されるまで残りの制約を加える(高分解能)。さらに,この技術を溶液ガイド探索と組み合わせた。MaxSAT評価2018からのテストベッドベンチマークに関する著者らのアプローチを実験的に評価し,改良がベースライン線形MaxSATアルゴリズム上で達成できることを示した。Copyright 2019 Springer Nature Switzerland AG Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *線形性 ,  *近傍探索法 ,  精密化 ,  基準線 ,  *分解能 ,  動機づけ ,  *アルゴリズム ,  高分解能 ,  ベンチマーク
準シソーラス用語： テストベッド ,  低分解能 ,  高品質 , 【Automatic Indexing@JST】

著者キーワード (3件)： MAXSAT ,  ソリューションガイド検索 ,  不完全MAXSAT

分類 (2件)： 分子・遺伝情報処理  (JE15040B) ,  人工知能  (JE08000Z)

タイトルに関連する用語 (6件)： 線形 ,  アルゴリズム ,  局所探索 ,  分解能 ,  解 ,  探索