一般双対化問題における冗長節生成の抑制法とその評価

抄録

近年，単調双対化問題に対するさまざまな効率的手法が提案されている．しかし，否定記号を含む一般のブール関数の場合，これらの手法は導出節などの冗長な節を生成する可能性がある．本稿では，この冗長節の生成を単調双対化計算のなかであらかじめ抑止する技法を提案する．また計算実験によってランダムに生成した問題に対する本手法の生成抑止効果を示す．