拡張融合法を用いた高速SATソルバの研究開発

2020 Fiscal Year Research-status Report

• Project/Area Number: 17K12742
• Research Institution: National Institute of Informatics
• Principal Investigator: 薗部 知大 国立情報学研究所, ビッグデータ数理国際研究センター, 特任研究員 (50747269)
• Project Period (FY): 2017-04-01 – 2022-03-31
• Keywords: SATソルバ / 探索

Outline of Annual Research Achievements

本研究では、NP完全問題の一つとして知られるSAT問題(充足可能性問題)を解くSATソルバに対して、従来の探索方式として知られる融合法を発展させた、拡張融合法を用いた高速なSATソルバの実現を目指す。拡張融合法は探索中に新たな変数を導入する手法であり、本研究では問題をグラフとしてとらえ、グラフ理論的な特徴量を元に、問題の構造をとらえた変数の導入を行う。
本年度は、拡張融合法が理論的に有効と証明されている鳩の巣原理に対して、それが実際のSATソルバに対してどれだけ効果があるのかを実験で確認し、その結果に対する論文の執筆を行った。

Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

拡張融合法の元となる鳩の巣原理で、SATソルバに対する実際の効果を確認でき、他の問題に対する適用の指針を得られたため。

Strategy for Future Research Activity

執筆が完了した論文を論文誌に投稿予定である。また、鳩の巣原理以外の問題にも拡張融合法を適用可能かどうか検討を進めて、随時論文を投稿予定である。

Causes of Carryover

学会への参加が少なく、購入を予定していたマシンの性能を抑えたため。次年度は学会への参加及び計算機の購入を行う予定である。