Teoria combinatorie a jocurilor, cunoscută și sub numele de CGT, este o ramură a matematicii aplicate și a informaticii teoretice care studiază jocurile combinatorii, fiind diferită de teoria jocurilor "tradiționale" sau "economice". CGT a apărut în legătură cu teoria jocurilor imparțiale, în special cu jocul Nim cu doi jucători, punând accentul pe "rezolvarea" anumitor tipuri de jocuri combinatorii.
Un joc trebuie să îndeplinească mai multe condiții pentru a fi un joc combinatoriu. Acestea sunt:
- Jocul trebuie să aibă cel puțin doi jucători.
- Jocul trebuie să fie secvențial (de exemplu, jucătorii alternează rândurile.)
- Jocul trebuie să aibă informații perfecte (adică nicio informație nu este ascunsă, ca în poker).
- Jocul trebuie să fie determinist (adică fără șansă). Norocul nu face parte din joc.
- Jocul trebuie să aibă un număr definit de mutări posibile.
- Jocul trebuie să se încheie în cele din urmă.
- Jocul trebuie să se încheie atunci când unul dintre jucători nu mai poate să se miște.
Teoria combinatorie a jocurilor se limitează în mare măsură la studiul unui subset de jocuri combinatorii cu doi jucători, finite și care au un câștigător și un învins (adică nu se termină cu remize).
Aceste jocuri combinatorii pot fi reprezentate prin arbori, fiecare vârf al cărora reprezintă jocul care rezultă dintr-o anumită mutare din jocul aflat direct sub el în arbore. Acestor jocuri li se pot atribui valori de joc. Găsirea acestor valori de joc prezintă un mare interes pentru teoreticienii CG, la fel ca și conceptul teoretic de adăugare de jocuri. Suma a două jocuri este jocul în care fiecare jucător, la rândul său, trebuie să mute doar într-unul dintre cele două jocuri, lăsându-l pe celălalt așa cum era.
Elwyn Berlekamp, John Conway și Richard Guy sunt fondatorii acestei teorii. Aceștia au lucrat împreună în anii 1960. Lucrarea lor publicată s-a numit Winning Ways for Your Mathematical Plays (Modalități câștigătoare pentru jocurile matematice).