研究課題
H24年度は、H23年度に続き研究代表者ならびに研究分担者が関連研究として実施していた命題論理の充足性判定問題に関する研究で著しい成果が得られた。これに呼応して本研究が目標とする高機能論理素子に対する要求仕様として追加された研究項目(D) 命題変数の付値に関する基数制約や組合せ問題等における対称性制約のコンパクトな実装、及び効率的探索のための制約の選択的適用や制約強度の自律的制御、に関して重要な知見が得られた。具体的には、以下の三つが主たる成果である。(D-1) Ramsey数に関する問題におけるソフト制約の有効性、及び制約の繰り返し緩和と探索再開に基づく解法の有効性の確認、および、それらの成果として、Ramsey数R(4,8)の最良下界の更新に成功、(D-2) 基数制約のモジュラー実装に基づく制約規模の大幅な縮小化と処理効率の改善、(D-3) 基数制約に基づく高効率なMaxSat処理系のさらなる効率化、及び、最適化問題のMaxSatコーディング手法による高効率な解法の実現。
24年度が最終年度であるため、記入しない。
すべて 2013 2012
すべて 雑誌論文 (4件) (うち査読あり 3件) 学会発表 (5件)
Proc. of 2012 Spring World Congress on Engineering and Technology (SCET2012)
巻: 2 ページ: 257-260
Evolutionary Computation and Multi-Agent Systems and Simulation (ECoMASS) Workshop
巻: GECCO'12 Companion Publication ページ: 307-314
コンピュータソフトウェア
巻: 29 ページ: 9-14
arXiv:1212.1328
巻: 1212 ページ: 1328.1-8
