| 研究実績の概要 |
ｎ変数の関数ｆ(x1,x2,...,xn)に対して，素子数ｎの３乗の回路を設計したとする．はたして，良い回路が設計できたかどうかは，どのように評価すれば良いだろうか．たとえば，任意の微小な定数ε＞０に対して，素子数ｎの（３－ε）乗の如何なる回路でも関数ｆは計算できないといった最適性が，理論的に証明できればいいのだが，その証明は非常に難しいことが知られている．さらに言えば，任意の有理数ｒ＞１に対して，素子数ｎのｒ乗の回路で計算できるが，素子数ｎの（ｒーε）乗の回路では計算できないという具体的な関数ｆが実際に存在するか否かさえも分かっていないのである．本研究の第一の目的は，問題を解くのに必要となる計算時間や記憶領域量などの計算資源量に基づく計算複雑性クラスの間の包含関係や，クラス間の階層性を明らかにすることである．そして，クラス間に存在する真に難しい関数を人工的に作成し，システム評価に役立てる．
2018年度は，ニコリのペンシルパズルの計算複雑さを探究した．その結果，ヘルゴルフ，マカロ，クロット，縦横さん，ウソワン，ドッスンフワリのＮＰ困難性を証明できた．これらの結果は，イタリアで開催された国際会議FUN2018や，フィリピンで開催された国際会議JCDCGGG2018, 国際ジャーナルIEICE Transactions on Information and Systems, および Journal of Information Processingに採択された．
|
