Teori permainan kombinatorial, juga dikenal sebagai CGT adalah cabang matematika terapan dan ilmu komputer teoretis yang mempelajari permainan kombinatorial, dan berbeda dari teori permainan "tradisional" atau "ekonomi". CGT muncul dalam kaitannya dengan teori permainan yang tidak memihak, khususnya permainan dua pemain Nim, dengan penekanan pada "pemecahan" jenis permainan kombinatorial tertentu.
Sebuah permainan harus memenuhi beberapa kondisi untuk menjadi permainan kombinatorial. Ini adalah:
- Permainan harus memiliki setidaknya dua pemain.
- Permainan harus berurutan (yaitu, pemain bergiliran secara bergantian.)
- Permainan harus memiliki informasi yang sempurna (yaitu tidak ada informasi yang disembunyikan, seperti dalam Poker.)
- Permainan harus deterministik (yaitu tanpa peluang). Keberuntungan bukanlah bagian dari permainan.
- Permainan harus memiliki jumlah kemungkinan gerakan yang ditentukan.
- Permainan pada akhirnya harus berakhir.
- Permainan harus diakhiri ketika salah satu pemain tidak bisa lagi bergerak.
Teori Permainan Kombinatorial sebagian besar terbatas pada studi tentang subset permainan kombinatorial yang terdiri dari dua pemain, terbatas, dan memiliki pemenang dan pecundang (yaitu, tidak berakhir seri.).
Permainan-permainan kombinatorial ini dapat direpresentasikan oleh pohon, yang setiap simpulnya adalah permainan yang dihasilkan dari pergerakan tertentu dari permainan yang berada tepat di bawahnya pada pohon. Permainan-permainan ini dapat diberi nilai permainan. Menemukan nilai-nilai permainan ini sangat menarik bagi para ahli teori CG, seperti halnya konsep teoritis dari penjumlahan permainan. Penjumlahan dua permainan adalah permainan di mana setiap pemain pada gilirannya harus bergerak hanya pada salah satu dari dua permainan, dan membiarkan permainan lainnya tetap seperti semula.
Elwyn Berlekamp, John Conway dan Richard Guy adalah pendiri teori ini. Mereka bekerja sama pada tahun 1960-an. Karya mereka yang diterbitkan berjudul Winning Ways for Your Mathematical Plays.