カナダ

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