>>642はたまたま知ってた単語を書いてるただの馬鹿だから注意な
数学的に解ける問題なんていくらでも知られてるが、その多くが現実的な時間で解くことができない問題
要するに、力業で最善手を検索すれば、というのはこの宇宙が存在する間には無理
結局、人間もコンピュータも今までの経験を元に自分なりの最善手を導き出すことになる