文献

J-GLOBAL ID：202002251352959935   整理番号：20A0745325

計算およびシステム生物学における困難な問題のための整数線形計画法とSAT解法の比較【JST・京大機械翻訳】

Comparing Integer Linear Programming to SAT-Solving for Hard Problems in Computational and Systems Biology

著者 (4件)： Brown Hannah (Department of Computer Science, University of California, Davis, CA, USA) ,  Zuo Lei (Department of Computer Science, University of California, Davis, CA, USA) ,  Zuo Lei (Department of Computer Science, The University of Hong Kong, Pok Fu Lam, Hong Kong, China) ,  Gusfield Dan (Department of Computer Science, University of California, Davis, CA, USA)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 12099  ページ： 63-76  発行年： 2020年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： それは,各特定の問題に対する明確で複雑なアルゴリズムの開発に頼るよりも,広い範囲の問題に適用できる汎用解法を持つことが有用である。整数線形計画法は最も広く使われている汎用解法である。それは広範囲の問題において成功している。しかしながら,整数線形計画法が限られた成功しかなかった計算生物学にはいくつかの問題がある。本論文では,問題事例を符号化する結合正規形(CNF)におけるBoole式を構築し,CNF式が充足可能であるか否かを決定するためにSATソルバを用いて,代替的汎用解法を探索した。検討した3つの困難な問題において,SAT解決アプローチが2つの問題においてILPアプローチより劇的に優れていることを見出すことが非常に驚かれた。そして,第3の問題において,少し遅いが,よりロバストである。また,現在のILPとSATソルバーを用いて,4番目の問題に関する以前の結果を再検討し,確認した。これらの結果は,計算生物学におけるSAT解決を利用するための更なる努力を奨励するはずである。Copyright Springer Nature Switzerland AG 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *整数線形計画法 ,  アルゴリズム ,  ロバスト性 ,  整数計画法
準シソーラス用語： ソルバ ,  計算生物学 ,  *システム生物学 , 【Automatic Indexing@JST】

著者キーワード (3件)： 整数計画法 ,  SAT解法 ,  計算生物学

分類 (1件)： 論理代数  (JB03000H)

タイトルに関連する用語 (6件)： 計算 ,  システム生物学 ,  問題 ,  整数線形計画法 ,  SAT ,  解法