| Project/Area Number |
10680365
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
計算機科学
|
|---|
| Research Institution | Meiji University |
|---|
Principal Investigator |
TAMAKI Hisao Meiji University/School of Science and Technology/Professor, 理工学部, 教授 (20111354)
|
|---|
| Project Period (FY) |
1998 – 1999
|
| Project Status |
Completed (Fiscal Year 1999)
|
| Budget Amount *help |
¥1,300,000 (Direct Cost: ¥1,300,000)
Fiscal Year 1999: ¥600,000 (Direct Cost: ¥600,000)
Fiscal Year 1998: ¥700,000 (Direct Cost: ¥700,000)
|
|---|
| Keywords | monotone DNF / duality / dualization / hypergraph / minimal transversal / polynomial time / space efficiency / 単調双対性 / 横断ハイパーグラフ / DNF / 多項式時間アルゴリズム / 単調論理関数 / 双対 / 学習理論 |
|---|
| Research Abstract |
The goal of this research project was to develop an algorithm for dualizing a boolean function given in DNF, that runs in time polynomial in the total size of the input and output. This problem is equivalent to the problem of generating all the minimal transversals of a given hypergraph. We were unable to achieve this ultimate goal. However, we discovered an algorithm for generating all the minimal transversals of a hypergraph using O (n log n) words of storage, where n is the size of the input hypergraph. The time complexity of this algorithm is quasi-polynomial and almost the same as the best known algorithm due to Fredman and Khachiyan. We have also discovered a polynomial time delay algorithm for generating all the minimal transversals of a given bounded-degree hypergraph.
|
