|
我々が日頃直面する様々な計算問題がNP困難性を満たすことは良くあるが，近年の計算機やアルゴリズムの爆発的進展によって，このことは解きたい問題自身が計算不能であることをもはや意味しない．また，NP困難性は通常，ユーザーが直面する特定のインスタンスの複雑さについては手掛かりを与えない．本研究では，特に計算複雑性に関する様々な問題について進展を与えるとともに，その問題自身の難しさについても多くの知見を得ることができた．これは，上記の状況を打破し，個別インスタンスの困難性を議論可能な枠組み構築への端緒となる重要な成果であると考える．
|
