1998 Fiscal Year Annual Research Report
素子数と段数に基づく回路計算量の階層性の証明と論理合成システムの評価への応用
| Project/Area Number |
09780297
|
|---|
| Research Institution | Hiroshima University |
|---|
Principal Investigator |
岩本 宙造 広島大学, 工学部, 助教授 (60274495)
|
|---|
| Keywords | 回路計算量 / 論理回路族 / 計算量の階層 / 時間計算量 / 領域計算量 / 対数時間一様 / 計算複雑さ / 論理最適化システム |
|---|
| Research Abstract |
論理最適化システムの性能は,定数個のテスト回路からなる標準ベンチマーク集合に対して,素子数や段数をどれだけ減らせるかで評価されてきた.しかし,ベンチマーク集合による評価では,「テスト回路を意識したシステム開発」という不正を防止できないという欠点があった.
このような背景から本研究では,次の二つの目標を設定し,研究を進めて来た.(1)素子数や段数を増やせば計算能力が真に増加するという「回路計算量の階層性」を理論的に証明する.(2)この理論的裏付けをもとに,「素子数と段数の最適性を証明できる具体的関数」を見つけ出す.この関数を計算する回路を論理合成システムで構成し,素子数や段数が最適値にどれだけ近いかを検討することでシステムの性能を評価する.平成10年度は,以下の研究成果を公表した.
1.直列計算における時間量と領域量に関する稠密な階層性を証明した.領域量階層に関しては,電子情報通信学会論文誌に採録が決定している.また,時間量階層に関しては,チェコ共和国で開催された国際会議(23rd International Symposium on Mathematical Foundations of Computer Science),および,竹原市で開催された「情報基礎理論ワークショップ」にて成果を公表した.
2.回路計算量については,対数時間一様と呼ばれるある種の論理回路族の計算量階層に関する論文を,国際学術雑誌(Journal of Computer and System Sciences)に投稿中である.また,1.と2.は,電子情報通信学会第11回「回路とシステム(軽井沢)ワークショップ」にて招待講演として研究成果を公表した.
|
-
[Publications] 岩本宙造: "テープ記号数を制御したチューリング機械の領域階層" 電子情報通信学会論文集D-I. (1999)
-
[Publications] 岩間一雄: "Improved Time and Space Hierarchies of One-Tape Off-Line TMs" Lecture Notes in Computer Science. 1450. 580-588 (1998)
-
[Publications] 岩本宙造: "1テープオフラインTMの時間量と領域量の稠密な階層" 情報基礎理論ワークショップ. 102-107 (1998)
-
[Publications] 岩本宙造: "対数時間一様回路族および記号数限定TMの計算量の階層" 第11回 回路とシステム(軽井沢)ワークショップ論文集. 367-372 (1998)
-
[Publications] 岩間一雄: "A Canonical Form of Vector Machines" Information and Computation. 141・1. 37-65 (1998)
