論理関数のグラフ表現の性質と双対比への応用

• Project/Area Number: 09780267
• Research Category: Grant-in-Aid for Encouragement of Young Scientists (A)
• Allocation Type: Single-year Grants
• Research Field: 計算機科学
• Research Institution: The University of Electro-Communications
• Principal Investigator: 武永 康彦 電気通信大学, 電気通信学部, 講師 (20236491)
• Project Period (FY): 1997 – 1998
• Project Status: Completed (Fiscal Year 1998)
• Budget Amount: ¥1,700,000 (Direct Cost: ¥1,700,000); Fiscal Year 1998: ¥600,000 (Direct Cost: ¥600,000); Fiscal Year 1997: ¥1,100,000 (Direct Cost: ¥1,100,000)
• Keywords: 論理関数 / 二分決定木 / 素項 / 二分決定グラフ / しきい値関数 / 双対比 / tree-shellable関数 / 双対化

Research Abstract

本研究では、二分決定木や分岐プログラムなど理論上実際上重要な、グラフによる論理関数の表現法について、研究を行なってきた。本年度の研究成果の詳細は以下の通りである。
1. 分岐プログラムの性質と表現能力に関する研究
分岐プログラムの一種で、効率的な論理関数の表現法として知られる二分決定グラフについて、論理関数の正の例および負の例からの学習可能性について研究を行なった。具体的には、すべての例を満たす最小サイズの二分決定グラフを求める問題が、関数をしきい値関数に制限した場合でもNP困難であることを示した。
2. 論理関数双対化等への応用
前年度に提案した、論理関数を二分木表現の1つの経路が1つの素項に対応するような正論理関数のクラスについて、決定木の変数順序を固定した場合(ordered tree-shellable関数)、固定しない場合(tree-shellable関数)にわけて、さらに研究を進めた。
(Ordered)tree-shellableであることがわかれば、効率良い双対化等、その特長の活用が可能だが、それにはこれらのクラスに属するかどうかの判定が必要となる。Quadratic関数(積和形表現の各積項のリテラル数が2個)に対しては多項式時間で判定可能であるが、一般の場合についても、リテラル数が2個の積項だけを取り出した関数が(ordered)tree-shellableであることが、必要条件となることを示した。また、前年度のプログラムを改良し、変数の置換によって等価となる関数を1個とみなした場合も含め、6変数までの関数に対して、これらの性質を持つ関数の個数を具体的に求めた。