充足解探索問題の難しい例題生成手法について
スポンサーリンク
概要
- 論文の詳細を見る
充足解探索問題に対し、難しい例題をランダムに生成する問題を考える。例えば素因数分解問題に対する難しい例題は簡単に生成することができるが、充足解探索問題に対する難しい例題を生成することは容易ではない。本論文では、素因数分解問題を還元することにより、充足解探索問題に対する難しい例題.の生成手法を考えた。剰余計算を利用することで、生成される論理式の変数の個数が少なくよう改良した.
- 一般社団法人情報処理学会の論文
- 1997-01-23