文献

J-GLOBAL ID：202002239671557959   整理番号：20A2032342

近傍置換の強化【JST・京大機械翻訳】

Strengthening Neighbourhood Substitution

著者 (1件)： Cooper Martin C. (ANITI, IRIT, University of Toulouse III, Toulouse, France)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 12333  ページ： 126-142  発行年： 2020年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： ドメイン縮小は制約充足問題(CSP)を解決するための必須ツールである。バイナリCSPでは,近傍置換は,各制約でそれを置換できる他の値が存在するならば,値を排除することから成る。近傍置換の概念は,時間複雑性を増すことなく2つの異なる方法で強化できることを示した。また,近傍置換とは異なり,これらの新しい操作の最適シーケンスを見つけることがNP困難であるという理論的結果を示した。Copyright Springer Nature Switzerland AG 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： NP困難 ,  *制約充足問題
準シソーラス用語： 複雑性 ,  バイナリー , 【Automatic Indexing@JST】

分類 (2件)： 人工知能  (JE08000Z) ,  計算理論  (JB02000A)

タイトルに関連する用語 (3件)： 近傍 ,  置換 ,  強化