カナダ

数学

P≠NP予想 証明への歴史

数学、あるいは計算機科学の未解決問題であるP≠NP予想の歴史。予想の年表1950まで チューリングマシン1965 ハートマニス、スターンズ、計算複雑さの論文、時間内に解けるかどうかの枠組を議論指数関数的時間がかかる問題が発見されはじめる。1...