2017 Fiscal Year Research-status Report
| Project/Area Number |
17K12742
|
|---|
| Research Institution | National Institute of Informatics |
|---|
Principal Investigator |
薗部 知大 国立情報学研究所, ビッグデータ数理国際研究センター, 特任研究員 (50747269)
|
|---|
| Project Period (FY) |
2017-04-01 – 2020-03-31
|
| Keywords | SATソルバ / 探索 |
|---|
| Outline of Annual Research Achievements |
本研究では、NP完全問題の一つとして知られるSAT問題を解くSATソルバに対して、従来の基盤手法である融合法より強力と考えられている拡張融合法を、問題の構造を考慮して適用することで、より高速な探索を実現することを目的とする。具体的には、問題に含まれる変数と変数間の関係をグラフとして考え、そのグラフから得られるコミュニティ構造やページランク等の、問題の構造を表す特定の変数間の強い依存関係を抽出することで、拡張融合法に適した変数の選択を行う。
本年度の研究では、本研究の成果から得られた情報をもとに改良を加えた並列SATソルバCBPeneLoPeとCCSPeneLoPeが、SATソルバの性能を競う国際的な競技会であるSAT Competition 2017の並列SATソルバ部門において、それぞれ2位と4位に入賞した。また、関連成果の国内学会での発表が決定している。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
本研究から派生した成果による競技会での入賞および、関連論文の執筆が進行しているため。
|
| Strategy for Future Research Activity |
これまでの解析から、拡張融合法が全ての種類の問題に対して有効では無いと考えられるため、有効な問題の種類を割り出し、それらの問題に対する実験と解析を重点的に進めていく。同時に、得られた成果をもとにしたソルバの競技会への参加と、国内外の学会への論文投稿も行う。
|
| Causes of Carryover |
国際学会への参加が少なかったため。次年度は成果の報告を含めて、積極的に参加を行う予定である。
|
