Kombinatorická teorie her, známá také jako CGT, je obor aplikované matematiky a teoretické informatiky, který se zabývá kombinatorickými hrami a liší se od "tradiční" nebo "ekonomické" teorie her. CGT vznikla v souvislosti s teorií nestranných her, zejména hry pro dva hráče Nim, s důrazem na "řešení" určitých typů kombinatorických her.
Aby hra byla kombinatorickou hrou, musí splňovat několik podmínek. Jsou to:
- Ve hře musí být alespoň dva hráči.
- Hra musí být postupná (tj. hráči se střídají v tazích).
- Hra musí mít dokonalou informovanost (tj. žádné skryté informace jako v pokeru).
- Hra musí být deterministická (tj. bez náhody). Štěstí není součástí hry.
- Hra musí mít definovaný počet možných tahů.
- Hra musí nakonec skončit.
- Hra musí skončit, když se jeden z hráčů již nemůže pohybovat.
Teorie kombinatorických her se do značné míry omezuje na studium podmnožiny kombinatorických her, které jsou pro dva hráče, jsou konečné a mají vítěze a poraženého (tj. nekončí remízou).
Tyto kombinatorické hry lze znázornit pomocí stromů, jejichž každý vrchol představuje hru, která je výsledkem určitého tahu ze hry, jež se nachází přímo pod ním na stromě. Těmto hrám lze přiřadit herní hodnoty. Nalezení těchto herních hodnot je pro teoretiky CG velmi zajímavé, stejně jako teoretický koncept sčítání her. Součet dvou her je hra, ve které každý hráč na svém tahu musí provést tah pouze v jedné z obou her a druhou ponechat tak, jak byla.
Elwyn Berlekamp, John Conway a Richard Guy jsou zakladateli této teorie. Pracovali společně v 60. letech 20. století. Jejich publikovaná práce se jmenovala Vítězné způsoby pro vaše matematické hry.