| 研究実績の概要 |
1) 局所探索ベースのプログラムによるRamseyグラフ探索を重点的に行った．その結果，RG(4,6,35), RG(5,6,57)の再発見に成功した．特に，RG(5,6,57)については初期グラフとして乱数に依るものではなく巡回グラフを用いるなどの点で従前の方法とは異なる．今回の成功は，未発見のRG(4,6,36), RG(5,6,58)などをより系統的に探索するための重要な手掛かりとなる．
2) これまでに我々のアプローチにより発見されたRamseyグラフのすべてにおいて，付加的な対称性制約としてのpersymmetryが満たされていることが確認された．未発見のRamseyグラフ探索において，付加的制約として既定とすることが良い戦略と考えられる．
3) SCSatおよび局所探索ベースのプログラムにおける各種の実行制御パラメタ，初期グラフ，対称性仮定等の選択，およびそれらの組合せが探索効率に大きく影響すること，またそれが問題インスタンス個々によって様々に変化することなどを示す実験例の蓄積が充実してきた．それらの大規模データに深層学習を適用することにより，効果的な探索戦略決定を支援するという有望な研究課題が生じた．
4) MaxSATアプローチに関しては，a) 純リテラル除去ならびに矛盾学習機能の強化によるSATソルバーの高速化，b) 混合基数制約符号化に基づくMaxSATソルバーの高性能化，およびその性能実証として，c) 提携構造形成問題における有意な成果を得た．それらと並行して，我々が主力ツールとして改善を進めているSATソルバーの最新版は，2018年度の国際SAT競技会において10参加ソルバー中第2位という好成績を収めた．
|
