WEKO3
アイテム
SATアルゴリズムにおけるBCP処理のGPUを用いた並列化
https://ipsj.ixsq.nii.ac.jp/records/79292
https://ipsj.ixsq.nii.ac.jp/records/792924701a1a0-18b9-4f16-8fb9-a38ca4fe428c
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-ARC11197027.pdf (685.7 kB)
|
Copyright (c) 2011 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2011-11-21 | |||||||
| タイトル | ||||||||
| タイトル | SATアルゴリズムにおけるBCP処理のGPUを用いた並列化 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | GPU Accelerated BCP Computation for SAT Algorithms | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | GPU最適化 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 大阪府立大学大学院理学系研究科 | ||||||||
| 著者所属 | ||||||||
| 大阪府立大学大学院理学系研究科 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Science, Osaka Prefecture University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Science, Osaka Prefecture University | ||||||||
| 著者名 |
藤井, 宏憲
× 藤井, 宏憲
|
|||||||
| 著者名(英) |
Hironori, Fujii
× Hironori, Fujii
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 充足可能性判定問題 （SAT） は，応用範囲の広い最も基本的な NP 完全問題の一つである．SAT を解くためには最悪指数時間かかってしまうが，重要な問題なのでできるだけ高速に解きたいという要求がある．そこで我々は，GPU を用いて並列計算を行うことで，その計算時間を節約しようと考えた．本論文では，SAT アルゴリズムの主要な高速化手法のひとつである BCP （ Boolean Constraint Propagation） 処理を GPU を用いて並列化する手法を提案する．分割統治法に BCP 処理を組み合わせた SAT アルゴリズムに提案手法を適用し，CPU に 2.93GHz Intel Core i3，GPU に NVIDIA GeForce GTX480 を用いた環境で評価実験を行ったところ，SAT ソルバとしての速度向上率は 6.7 倍であった． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | The Boolean satisfiability problem is widely applicable and one of the most basic NP-complete problems. This problem has been required to be solved as fast as possible because of its importance, but it takes exponential time in the worst case to solve. Therefore, we aim to save the computation time by parallel computing on a GPU. We propose a parallelization of BCP (Boolean Constraint Propagation) computation, one of the most effective techniques for SAT, on a GPU. For a 2.93GHz Intel Core i3 CPU and an NVIDIA GeForce GTX480, our experiment shows that the GPU accelerates our SAT solver based on our BCP-embeded divide and conquer algorithm 6.7 times faster than the CPU. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10096105 | |||||||
| 書誌情報 |
研究報告計算機アーキテクチャ（ARC） 巻 2011-ARC-197, 号 27, p. 1-8, 発行日 2011-11-21 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
