| 演題番号 | 3J1-OS7-9 |
|---|---|
| 題目 | 一般双対化問題における冗長節生成の抑制法とその評価 |
| 著者 | 山本 泰生(山梨大学大学院医学工学総合研究部) 鍋島 英知(山梨大学大学院医学工学総合研究部) 岩沼 宏治(山梨大学大学院医学工学総合研究部コンピュータ・メディア工学専攻担当) |
| 時間 | 06月03日(Fri) 11:45〜12:05 |
| 概要 | 近年，単調双対化問題に対するさまざまな効率的手法が提案されている．しかし，否定記号を含む一般のブール関数の場合，これらの手法は導出節などの冗長な節を生成する可能性がある．本稿では，この冗長節の生成を単調双対化計算のなかであらかじめ抑止する技法を提案する．また計算実験によってランダムに生成した問題に対する本手法の生成抑止効果を示す． |
| 論文 | PDFファイル |