- 286 名前：a4 [2019/07/15(月) 11:45:46.30 ID:3XpA1Hv0.net]
- >>278
はい、申し訳ございません。
>>279
Ｐ＝ＮＰは簡単には説明しづらいですが、巡回セールスマン問題（営業先間の距離が
決められていて、その最短経路を求める問題）などの入力文字列の長さ（ここでは
距離の情報量）に対して指数関数時間が今のところかかると考えられている問題は、
多項式時間になるのか？という話が基本的です。人工知能はproof checkerでも
あるんですけど、それだけでなく、人間のような思考を帰納法や演繹法で行い、
それから生ずる総当たりや複雑な組み合わせの問題を高速に解いて、問題を証明する
ものを創りたいと思っています。宇宙人のテレパシーは謎が多いですが、彼が
タイムマシンの歴史改変をかいくぐりながら、僕に数千とある論文からどれを
よく読めばいいか？などを教えてくれるという予定でやろうと思っています。
