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

2021 Fiscal Year Research-status Report

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

Outline of Annual Research Achievements

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

Current Status of Research Progress

3: Progress in research has been slightly delayed.

Reason

拡張融合法の元となる鳩の巣原理におけるSATソルバの挙動解析の論文が受理されず、引き続き投稿を継続中であるため。

Strategy for Future Research Activity

引き続き論文の投稿を行いつつ、別の視点からの拡張融合法の適用方法に関する解析および実験を予定している。

Causes of Carryover

学会への参加を行わなかったため。今年度は学会への参加を予定している。