Inilah jawaban yang awalnya saya tulis di /cstheory/6563/what-is-the-computational-complexity-of-solving-chess/38102#38102 .
Seorang pemain catur yang sempurna akan selalu memaksakan kemenangan ketika mereka bisa memaksa menang dan memaksakan hasil imbang saat mereka bisa memaksakan hasil imbang. Tentu saja, kapan pun mereka bisa memaksa menang, mereka juga bisa memaksakan hasil seri. Juga ketika salah satu pemain tidak bisa memaksakan kemenangan, pemain lain bisa memaksakan hasil seri. Catur tanpa aturan 50 move atau 3 kali lipat aturan pengulangan mungkin tidak sesulit yang Anda pikirkan. Dapat ditunjukkan bahwa menambahkan aturan pengulangan 3 kali lipat tidak membuat perbedaan apakah seorang pemain dapat memaksakan kemenangan atau hasil imbang. Jumlah cara yang mungkin dilakukan suatu game setelah n bergerak terus tumbuh secara eksponensial dengan n. Jumlah negara yang dapat terjadi setelah n bergerak di sisi lain tidak terus tumbuh secara eksponensial karena tidak dapat melebihi jumlah total negara yang mungkin yang dapat terjadi dalam permainan hukum. Menuruthttps://en.wikipedia.org/wiki/Game_complexity , ada sekitar 10 ^ 47 negara yang dapat terjadi dalam permainan catur legal.
Catur dapat diselesaikan sebagai berikut: ambil satu set negara yang dapat kita buktikan berisi semua negara yang dapat terjadi dalam permainan catur yang legal tanpa aturan pengulangan 3 kali lipat atau aturan 50 gerakan. Dua negara bagian yang berbeda dapat memiliki susunan bidak catur yang sama dan berbeda berdasarkan giliran siapa, apakah Anda memiliki hak untuk ditangkap secara langsung, dan apakah raja atau benteng yang diberikan hak untuk pernah benteng lagi. Selanjutnya, ambil semua negara di mana jumlah minimum gerakan putih dapat memaksa menang adalah 1 yang harus terjadi pada giliran putih. Selanjutnya ambil semua negara di mana jumlah minimum gerakan putih dapat memaksa menang adalah 2, yang berarti giliran hitam dan tidak peduli apa pun gerakan yang mereka buat, putih dapat memaksa menang dalam 1 langkah. Selanjutnya ambil semua negara di mana jumlah minimum gerakan putih dapat memaksa menang adalah 3, yang berarti putih memiliki langkah yang akan memberi mereka kemenangan paksa dalam 2 langkah tetapi tidak bisa memaksa kemenangan dalam 1 langkah. Selanjutnya ambil semua negara di mana jumlah minimum gerakan putih dapat memaksa menang adalah 4, yang berarti giliran hitam dan tidak peduli apa pun gerakannya, putih dapat memaksa menang dalam 3 gerakan tetapi putih saat ini tidak dapat memaksa menang dalam 2 bergerak. Setelah kita mencapai angka sedemikian sehingga tidak ada negara bagian di mana jumlah minimum gerakan putih dapat memaksa menang adalah angka itu, kita telah menemukan semua negara yang putih dapat memaksa menang. Kita dapat menemukan semua negara yang hitam dapat memaksa menang dengan cara yang sama. Semua status yang tersisa adalah status di mana kedua pemain dapat memaksakan hasil seri. yang berarti giliran hitam dan tidak peduli gerakan apa pun yang mereka lakukan, putih dapat memaksa kemenangan dalam 3 gerakan tetapi putih saat ini tidak dapat memaksa kemenangan dalam 2 gerakan. Setelah kita mencapai angka sedemikian sehingga tidak ada negara bagian di mana jumlah minimum gerakan putih dapat memaksa menang adalah angka itu, kita telah menemukan semua negara yang putih dapat memaksa menang. Kita dapat menemukan semua negara yang hitam dapat memaksa menang dengan cara yang sama. Semua status yang tersisa adalah status di mana kedua pemain dapat memaksakan hasil seri. yang berarti giliran hitam dan tidak peduli gerakan apa pun yang mereka lakukan, putih dapat memaksa kemenangan dalam 3 gerakan tetapi putih saat ini tidak dapat memaksa kemenangan dalam 2 gerakan. Setelah kita mencapai angka sedemikian sehingga tidak ada negara bagian di mana jumlah minimum gerakan putih dapat memaksa menang adalah angka itu, kita telah menemukan semua negara yang putih dapat memaksa menang. Kita dapat menemukan semua negara yang hitam dapat memaksa menang dengan cara yang sama. Semua status yang tersisa adalah status di mana kedua pemain dapat memaksakan hasil seri. Kita dapat menemukan semua negara bagian yang berkulit hitam dapat memaksakan kemenangan dengan cara yang sama. Semua status yang tersisa adalah status di mana kedua pemain dapat memaksakan hasil seri. Kita dapat menemukan semua negara bagian yang berkulit hitam dapat memaksakan kemenangan dengan cara yang sama. Semua status yang tersisa adalah status di mana kedua pemain dapat memaksakan hasil seri.
Karena ada sekitar 10 ^ 47 negara yang dapat terjadi dalam permainan catur legal, dibutuhkan lebih dari seumur hidup kita untuk menggunakan kekerasan untuk membangun komputer yang akan bermain catur dengan sempurna tidak peduli bagaimana lawannya bermain. Saya percaya itu belum terbukti bahwa tidak ada algoritma yang lebih pendek yang dapat memberi tahu Anda cara bermain dengan sempurna tidak peduli bagaimana lawan Anda bermain. Misalnya mungkin hanya sebagian kecil dari keadaan yang dapat terjadi dalam permainan hukum dapat terjadi dalam permainan di mana Anda memainkan cara algoritma memberitahu Anda untuk bermain sehingga algoritma bekerja meskipun hanya memberitahu Anda cara bermain dengan sempurna di semua negara yang dapat terjadi ketika Anda selalu mengikuti algoritme itu sejak awal permainan tetapi tidak di semua negara yang dapat terjadi dalam permainan hukum. Mungkin selain itu, Algoritma itu adalah algoritme kompleks yang untuk setiap keadaan yang dapat terjadi dalam permainan di mana Anda selalu mengikutinya, membutuhkan langkah yang jauh lebih sedikit untuk menghitung langkah optimal daripada jumlah negara yang dapat terjadi dalam permainan di mana Anda selalu mengikutinya. Menuruthttp://onlinelibrary.wiley.com/doi/10.1002/sres.2171/abstract, laboratorium pembelajaran evolusi berencana untuk memecahkan masalah yang kompleks. Mungkin suatu hari nanti, mereka akan menemukan strategi rumit untuk bermain catur dengan sempurna. Mungkin bahkan jika suatu algoritma yang sangat singkat dan mengambil langkah sangat sedikit untuk menghitung langkah optimal dalam keadaan apa pun yang dapat terjadi dalam permainan di mana Anda selalu mengikuti algoritma yang tidak ada, itu masih tidak menghentikan manusia untuk dapat untuk belajar cara bermain catur dengan sempurna. Mungkin manusia dapat terus memikirkan hal-hal dan mempertahankan apa yang mereka pikirkan, mencari lebih banyak hal dari apa yang sebelumnya mereka ketahui dan mempertahankannya dengan beberapa metode yang kompleks,
Mungkin bahkan lebih sederhana bagi pemain untuk memiliki strategi yang memastikan bahwa jika lawan mereka bermain dengan sempurna, mereka juga akan bermain dengan sempurna. Saya menduga kedua pemain memiliki hasil imbang paksa sejak awal pertandingan. Mungkin lebih mudah untuk memiliki strategi yang memaksa hasil imbang daripada strategi yang menjamin bahwa jika lawan memberi Anda kemenangan yang dipaksakan, Anda tidak akan kehilangan itu. Strategi yang memaksa hasil imbang juga merupakan strategi yang memastikan bahwa jika lawan bermain sempurna, Anda akan bermain dengan sempurna. Jika mereka bermain dengan sempurna, mereka tidak akan memberi Anda kemenangan paksa di tempat pertama sehingga Anda tidak akan kehilangan kemenangan paksa setelah mereka memberi Anda satu kemenangan.