|
本研究課題では、極小ヒッティング集合の列挙問題やその拡張問題（論理関数の双対化およびAll Solutions SAT問題）に対する実用上効率的な計算法の研究に取り組んだ。今回新たに考案した計算手法だけでなく、関連する主要な従来手法についても実装したソフトウェアを開発し、その有効性や特性を明らかにするために大規模な性能評価実験を実施した。それらの結果は誰でも利用できる形で公開している。また、知識発見への応用に向けて、本研究課題で得られた最新のソフトウェアをアイテムセットマイニング問題に適用し、実データを用いた評価実験を行い、今後の研究課題や各種の知見を得た。
|
