第36回 (2022)
セッションID: 4F3-OS-8b-03
会議情報
主催: 一般社団法人 人工知能学会
会議名: 2022年度人工知能学会全国大会（第36回）
回次: 36
開催地: 京都国際会館＋オンライン
開催日: 2022/06/14 - 2022/06/17
GNN-MatSat: グラフニューラルネットワークによる初期化に基づく微分可能なSATソルバー
詳細
主催: 一般社団法人 人工知能学会
会議名: 2022年度人工知能学会全国大会（第36回）
回次: 36
開催地: 京都国際会館＋オンライン
開催日: 2022/06/14 - 2022/06/17
本研究では, 深層学習と最適化手法を組み合わせることで, SATの解法に新しい手法を確立することを目指す. 一般に, 深層学習モデルは, 微分可能なコスト関数を最適化することで学習させることができる. 深層学習モデルの特性を考慮すると, SAT問題に対するコスト関数が与えられれば, SAT問題を解くモデルを 誤差逆伝播法により学習させることが可能である. そこで, SAT問題に対する微分可能なコスト関数を定義し, ニュートン法によりこのコスト関数を最小化することで解を探索する. ニュートン法は初期値が解に近い場合, 解に2次収束するので, 深層学習の予測値を初期値として使用する. この手法をGNN-MatSatとして実装し, SAT Competition 2017および2018 Random Trackベンチマークで性能を評価する実験を行った. 評価実験の結果, GNN-MatSatはGNNの予測値から探索を開始することで, 従来のMatSatよりもニュートン法による更新回数を大きく削減するとともに, 求解時間を削減することを確認した.
