文献

J-GLOBAL ID：202202273129422196   整理番号：22A0821958

SATソルバを用いたNP困難な圧縮指標の高速計算

Fast Computation of NP-hard Repetitiveness Measures using SAT solvers

著者 (6件)： 坂内英夫 (東京医歯大) ,  後藤啓介 ,  石畠正和 (NTT) ,  神田峻介 ,  KOEPPL Dominik (東京医歯大) ,  西本崇晃 (理研)
資料名： 人工知能学会人工知能基本問題研究会資料  (SIG-FPAI-C)
巻： 120th  ページ： 61-66  発行年： 2022年03月15日 
JST資料番号： X0830A  ISSN： 2436-4584  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： ・NP困難な圧縮指標の高速計算手法について考察。
・具体的には,同手法の圧縮指標(最小文字アトラクタと最小双方向マクロスキーム)のSAT(充足可能性問題)定式化をした上で,SATソルバによる同圧縮指標の高速計算を実現。

シソーラス用語： *データ圧縮 ,  指標 ,  *高速計算 ,  文字列 ,  アトラクタ ,  *充足可能性問題 ,  NP困難 ,  感度解析 ,  計算機シミュレーション ,  応用プログラム
準シソーラス用語： ソルバ ,  感度分析 ,  計算機実験

分類 (1件)： 数値計算  (JE02000J)

タイトルに関連する用語 (5件)： SAT ,  ソルバ ,  Np ,  指標 ,  高速計算