| Project/Area Number |
19500006
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Fundamental theory of informatics
|
|---|
| Research Institution | Gunma University |
|---|
Principal Investigator |
AMANO Kazuyuki Gunma University, 大学院・工学研究科, 准教授 (30282031)
|
|---|
| Project Period (FY) |
2007 – 2008
|
| Project Status |
Completed (Fiscal Year 2008)
|
| Budget Amount *help |
¥3,510,000 (Direct Cost: ¥2,700,000、Indirect Cost: ¥810,000)
Fiscal Year 2008: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2007: ¥2,210,000 (Direct Cost: ¥1,700,000、Indirect Cost: ¥510,000)
|
|---|
| Keywords | 回路計算量 / 下限 / 論理回路 / 論理関数 / 計算量 / 下界 / 量子回路 |
|---|
| Research Abstract |
論理回路モデルを代表とする各種計算モデルに対する, 論理関数の計算量の下限導出手法に関する研究を行った. 特に, 計算量下限導出問題を大規模数理計画問題へと帰着するアプローチについて重点的に研究を行った. その結果, 限定乱雑性を持つ論理関数に対する論理回路のサイズや, 多数決関数を近似する論理関数に対する定数段数論理回路のサイズの漸近的値を明らかにすることに成功した. 更には, 単キュービット量子回路に対して, その表現の一意性が担保される正規形の概念を提案したる.
|
