2020 Fiscal Year Research-status Report
計算量クラスの階層定理の証明と論理合成システムの新評価法の確立
| Project/Area Number |
16K00020
|
|---|
| Research Institution | Hiroshima University |
|---|
Principal Investigator |
岩本 宙造 広島大学, 先進理工系科学研究科(工), 教授 (60274495)
|
|---|
| Project Period (FY) |
2016-04-01 – 2022-03-31
|
| Keywords | 計算複雑性 |
|---|
| Outline of Annual Research Achievements |
ｎ変数の関数ｆ(x1,x2,...,xn)に対して，素子数ｎの３乗の回路を設計したとする．はたして，良い回路が設計できたかどうかは，どのように評価すれば良いだろうか．たとえば，任意の微小な定数ε＞０に対して，素子数ｎの（３－ε）乗の如何なる回路でも関数ｆは計算できないといった最適性が，理論的に証明できればいいのだが，その証明は非常に難しいことが知られている．さらに言えば，任意の有理数ｒ＞１に対して，素子数ｎのｒ乗の回路で計算できるが，素子数ｎの（ｒーε）乗の回路では計算できないという具体的な関数ｆが実際に存在するか否かさえも分かっていないのである．本研究の目的は，問題を解くのに必要となる計算時間や記憶領域量などの計算資源量に基づく計算複雑性クラスの間の包含関係や，クラス間の階層性を明らかにすることである．
2020年度は，３つの組合せ問題について，それらの計算複雑性を調査した．その結果，Nurimisaki, Sashigane問題のＮＰ困難性を証明した．また，直交多角形に対して矩形視界に基づいた多種警備員配置問題の解法アルゴリズムと計算複雑さを解明できた．これらの結果は，シンガポール国立大学でオンライン開催された国際会議14th International Conference and Workshop on Algorithms and Computationと国際ジャーナルIEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciencesに採択された．
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
3つの組合せ問題に対して，計算複雑性を解明できた．
|
| Strategy for Future Research Activity |
2021年度も，より実用的な問題に対して計算複雑性を解明し，計算量クラス間の包含関係や階層性を証明する．
|
| Causes of Carryover |
投稿中の論文が不採択だったため，別の会議に再投稿した．その論文が採録され次第，印刷費として使用します．
|
