Introduction
Last 10 years has been full of unexpected advances in artificial intelligence. Among great improvements in image processing and speech recognition – the thing that got lots of media attention was AI winning against humans in various kind of games. With OpenAI playing Dota2 and DeepMind playing Atari games in the background the most significant achievement was AlphaGo beating Korean master in Go. It was the first time machine presented superhuman performance in Go marking – next to DeepBlueKasparov chess game in 1997 – a historical moment in the field of AI.
Around the same time a group of researchers from USA, Canada , Czech Republic and Finland had been already working on another game to solve: Heads Up No Limit Texas Hold’em
Over the years (their first papers about poker date back to 2005) researchers from University of Alberta (now in collaboration with Google Deepmind) and Carnegie Mellon University have been patiently working on advances in Game Theory with the ultimate goal to solve Poker.
The very first big success was reported in 2015 when Oskari Tammelin, Neil Burch, Michael Johanson and Michael Bowling created a computer program called Cepheus – AI playing Heads Up Limit Texas Hold’em. They published their work in papers with straightforward titles: Solving HeadsUp Limit Texas Hold’em* and Headsup Limit Hold’em Poker is Solved
Cepheus – AI playing Limit Texas Hold’em Poker
Even though the titles of the papers claim solving poker – formally it was essentially solved. Essentially solving Heads Up Limit* Texas Hold’em meant researchers were able to come up with an approximation (indistinguishable from original one for human during a lifetime) of a strategy profile called Nash Equilibrium. In two person zerosum games playing a strategy from a Nash Equilibrium is also the best any player can do in case of no knowledge of his opponent’s strategy (please take a look below for more details on basics of game theory).
(image from http://poker.srv.ualberta.ca/)
Essentially, researchers working on Cepheus computed all possible responses for any possible game situation offline efficiently. Terabytes of vectors representing probability distributions over possible actions in all game situations were computed and stored. While this does not sound as sexy as Alpha Go’s deep neural network, the algorithm for computing Nash Equilibrium strategy profile is to some extend similar to the one used in AlphaGo/AlphaZero. The common thing for both solutions is learning from playing against itself. The Cepheus’ core algorithm – Counterfactual Regret Minimization – is also the main subject of this post
DeepStack – Neural Network based AI playing Heads Up NoLimit Texas Hold’em
Around 2 years after Cepheus, another successful poker bot was revealed – this time it could win against humans in no limit version of Heads Up Texas Hold’em. Its name was DeepStack and it used continual resolving aided by neural networks as a core.
Resolving is one of the subgame solving techniques. Subgame is a game tree rooted in current decision point. From the very highlevel view then subgame solving means solving a subgame in separation from the parent nodes. In other words resolving is a technique to reconstruct a strategy profile for only the remainder of the game at given decision point.
Creators of Deepstack used continual resolving where only two vectors were maintained throughout the game. The two vectors turned out to be sufficient to continuously reconstruct a strategy profile that approximates Nash Equilibrium in a current subgame (decision point).
In DeepStack deep neural network was used to overcome computational complexity related to continual resolving proposed by its creators. This complexity issue comes from counterfactual values vector recomputation in any decision point throughout the game. Straightforward approach is to apply Counterfactual Regret Minimization solver but this is practically infeasible. Deepstack handles this by limiting both depth and breadth (this is somehow similar to AlphaGo’s value and policy networks) of CFR solver. Breadth is limited by action abstraction (only fold, call, 2 or 3 bet actions, and allin are valid) while depth is limited by using value function (estimated with deep neural network) at certain depth of counterfactual value computing procedure.
To evaluate DeepStack performance against humans 33 professional players from 17 countries were selected (with help of International Federation of Poker) to play 3000 hands each. Games were performed via online interface. DeepStack noted an average win 492 mbb/g (meaning it could win 49 big blinds per 100 hands dealt). Deepstack won against all of the players except of one for whom result was not statistically significant.
This was the first time machine could compete with humans in No Limit version of Heads Up Texas Hold’em Poker*
Some DeepStack games are available on DeepStack youtube channel.
Libratus – DeepStack’s main rival from Carnegie Mellon University
In January 2017, another step towards superhuman Poker performance was made. Libratus – AI playing Heads Up No Limit Texas Holdem developed by Tuomas W. Sandholm and his colleagues from Carnegie Mellon University – defeated team of 4 professional players: Jason Les, Dong Kim, Daniel McCauley, and Jimmy Chou. The event – Brains vs AI – took place in a casino in Pittsburgh, took 20 days and resulted in around 120.000 hands being played. The participants were considered to be stronger than DeepStack’s opponents. The prize pool of 200k USD was divided among all 4 players proportionally to the performance. Libratus was able to win individually against all of the players beating all players 147 mbb/g on average.
A mix of three main different methods was used in Libratus:

blueprint strategy computed with Monte Carlo Regret Counterfactual Minimization
Blueprint strategy is a precomputed strategy of the abstraction of the game (abstraction is smaller version of the game where actions and cards are clustered to reduce game size) that serves as a reference for other components of the system. The blueprint for the first two rounds is designed to be dense (meaning action abstraction includes more different bet sizes). Libratus plays according to blueprint strategy at the beginning of the game and then switches to nested subgame solving for decision points deeper in a game tree.

nested subgame solving
Given a blueprint strategy and a decision point in a game Libratus creators apply novel subgame solving technique – nested subgame solving. Subgame solving techniques produce reconstructed strategy for the remaining of the game – in practice better than blueprint reference strategy. The details of this technique are described in a paper chosen to be the best one from NIPS 2017.

self improvement during the event
Opponents actions (bets sizes) were recorded during the event to extend blueprint strategy after each day. Frequent bets that had been far away from current action abstraction (those that could potentially exploit Libratus the most) were added to the blueprint during nights between event days.
In December 2017, authors of the Nested Subgame Solving paper, Tuomas Sandholm and Noam Brown held an AMA on r/machinelearning. Among many questions asked there is one about comparison of DeepStack and Libratus.
All the Poker programs presented so far used some form of Counterfactual Regret Minimization as its core component. In Cepheus its fast variant was used to precompute Nash equilibrium offline, DeepStack used CFRlike algorithm (aided by neural networks) for subgame solving and finally in Libratus blueprint strategy (Nash Equilibrium of a game abstraction) was computed with monte carlo counterfactual regret minimization.
The goal of the rest of this post is to present basic bits required to understand Counterfactual regret minimization. To get there we will go through basics of game theory first. This will give us an understanding of what we are looking for: what strategy profile is and why Nash Equilibrium is a good one in Poker. Once we have that knowledge we will go to another interesting topic: noregret learning. One simple framework called ‘combining expert advice’ will turn out to be the core of CFR.
Basics of game theory
Game theory is a field of mathematics providing handy tools for modelling and reasoning about interactive situations. These interactive situations called games may have very different nature depending on many factors like number of players, structure of utilities or moves order (+ many more). Based on these characteristics we can classify games into types. Once we classify a game we can start reasoning about it using known generic theorems that hold for our game type. In this post we will focus on Heads Up No Limit Texas Hold’em Poker. Let’s then first find out how game theory classifies our game so we can use proper tools later.
What type of game heads up NLTH poker is?
HU NLTH is an example of two person zerosum finite game with imperfect information and chance moves.
Let’s dismantle this into pieces:
 two person because there is two players involved
 game being finite implies there is finite number of possible history of actions . In Poker this number if enormous but indeed finite.
 game is considered zerosum if all payoffs (players gains/loses) sum up to zero. This holds for poker. Unless there is a draw where no player wins anything, pot goes to one of the players making the other one losing the equivalent (rakes are ommited)
 imperfect information game means, players are not aware of the exact state of the game – there is hidden information that players are not aware of. In poker this hidden information is the opponent’s hand.
 game with chance moves means there are some random elements of the game players have no control over – in poker these are consecutive random betting rounds or initial cards dealing
All of these will imply certain theorems/models that we will have a right to use on our way to understand CFR.
What does it mean to have a strategy in a heads up NLTH poker game?
Loosely speaking, a strategy describes how to act in every single possible situation. It is a recipe for how to act in entire game, a lookup table you can read your actions from.
In games like poker, actions chosen via strategies cannot be fully deterministic. Randomization is necessary – if players didn’t do it their betting pattern would be quickly learned and exploited. In Game Theory a randomization of decisions in decision points is realized via probabilities.
Strategy profile on the other hand is set of strategies for all players involved in a game. In our heads up NLTH poker scenario strategy profile consists of two strategies (one for each player).
Given a strategy profile we can already emulate playing poker between players. A single game play would be a sequence of actions drawn from probability distributions given by players strategies (+dealer actions as a chance). Once a game play is over, players gain their utilities (or payoffs).
Because we are set up in a probabilistic framework we can consider expected utilities for players. Every strategy profile then directly indicates expected utilities (expected payoffs) for both players. It means we can evaluate strategies and strategy profiles via expected utilities.
Why Nash Equilibrium ?
Our main algorithm – CFR – produces approximation of a strategy profile called NashEquilibrium.
Nash Equilibrium is a strategy profile (set of strategies for all players involved) such that no single player has incentive to deviate. It represents a balance between players, point where no player gains from changing his/her strategy. We say both players play a NashEquilibrium strategy profile if changing one’s player strategy does not bring any additional value (in terms of utility) when the other player plays his original strategy (he does not change it) – both players play best responses to one another.
Few questions about Nash Equilibrium arise. First, does Nash Equilibrium exist for poker in the first place? If it does, is there only one or more NE? Which one will be computed by CFR? Are we guaranteed to land on the best NE?
First question about NE existence can be addressed via Nash’s Existence Theorem stating that for finite games (that includes poker) Nash Equilibrium is guaranteed to exist*.
Another important piece is Minimax Theorem proving that for two players zerosum finite games there exists the best single possible utility called value of the game both players in equilibrium gain.
It is then also true that all Nash Equilibria values in poker are equal – they produce the same expected utility. Even more, they are interchangeable: you can play any strategy against any opponent strategy from any Nash Equilibrium and you will land with the same payoff – value of the game. That again holds for all zerosum two players’ games.
Moreover, even though the value of the game in Poker may not be zero (is there an ‘advantage symmetry’ between dealer position and blinds inequality?) in a long run it will vanish to zero because in heads up NLTH poker dealer button moves from one player to another between rounds, playing Nash Equilibrium will in practice result in zero payoff then (you will not lose playing it in expectation). Exploitability of a strategy from a Nash Equilibrium pair is zero – it means that if you play it, your opponent best exploit strategy will have a zero payoff in expectation. You are guaranteed to draw in worst case.
Nash Equilibrium exists and there is no difference which one CFR computes. As long as it computes one, playing it guarantees not to lose in expectation.
How does a poker game tree look like?
One very convenient way of representing games such as Poker is a game tree where nodes represent game states and edges represent transition between them implied by actions played.
Poker’s game tree is a bit different from perfectinformation game tree (like chess or Go game tree).
First of all the true state of the game cannot be observed by any of the players. Players can only see their own cards and are not aware of the cards other players hold. Therefore when considering the game tree we need to separate true state of the game from what players observe. In two players game it is then good idea to consider different perspectives of the game tree:
 true game state – not observable by any players, useful while learning through selfplay
 player’s #1 perspective – set of states indistinguishable for player #1 (his/her cards and public actions)
 player’s #2 perspective – set of states indistinguishable for player #2 (his/her cards and public actions)
Players’ perspectives are also called Information Sets. Information set is a set of game states (game tree nodes) that are not distinguishable for a player. In any decision point in Poker you have to consider all possible opponents’ hand at once (although you may have some good guesses) – they form an information set. Please be aware that information sets for both players in any decision points in Poker are different, also their intersection in heads up NLTH poker game is singleton consisting of true game state.
Important bit here is that – for Poker – behavioral strategies (probabilities over actions) are defined for information sets, not game states.
Existence of chance can be modeled by adding an extra type of the node to the game tree – chance node. In addition to player’s nodes (where they act) we will consider a chance node – representing external stochastic environment – that “plays” its actions randomly. In poker, chance takes turn whenever new cards are dealt (initial hands + consecutive betting rounds) and its randomness will be uniform over possible actions (cards deck).
Yellow nodes represent game states where player #1 acts, blue nodes represent game states where player #2 acts, edges represent actions and so transitions between game states.
Dotted lines connect information sets. In our example two information sets for player 2 are presented. Blue player is not able to distinguish between nodes connected with single dotted line. He is only aware of public action yellow player performed and his private card J.
Purple chance node is a special type of node where no decision is made but some action is performed. In Kuhn Poker there is only one chance node dealing the hands. In Texas Hold’em these actions are initial hands or public cards dealings. Chance node has interface similar to ‘a player node’ but it is not the decision point for any player – it is part of the game, environment that happens to be random.
No regret learning
Before we take a look at the CFR itself, let’s focus on the main concept behind it: regret. That will lead us to no regret learning which together with game theoretic implications is a core of CFR.
The concept of regret is central in problems of repeatedly making decision in uncertain environment (also called online learning). To define it let’s imagine we repeatedly (at consecutive times \(t\)) receive advice from \(N\) experts about single phenomenon – like different predictions of the same stock price from \(N\) predefined twitter accounts we monitor (don’t do it) or predictions of NBA games coming from our \(N\) predefined ‘hobby’ experts. After we receive the advice our online algorithm \(\mathrm{H}\) goal is to distribute trust among experts or equivalently propose a probability distribution vector \(\mathrm{p}^t\) over \(N\) experts. After that environment (potentially adversarial) reacts and reveals the real outcome implying a loss vector \(\mathrm{l}^t\) that evaluates our \(N\) experts. Loss vector \(\mathrm{l}^t\) is a vector of size \(N\) that assign losses for every single expert advice at time \(t\). Having a loss vector and our online algorithm ‘trust’ distribution, expected loss can be computed with:
\[
\mathrm{l}_\mathrm{H}^t = \sum_{i=0}^N \mathrm{p}_i^t \mathrm{l}_i^t
\]
If we consider all time steps until \(T\) we can think of total expected loss of your online algorithm as a sum
\[
\mathrm{L}_\mathrm{H}^T = \sum_{t=0}^T \mathrm{l}_\mathrm{H}^t
\]
Now similarly, we can define a total loss for a single expert \(i\) to be
\[
\mathrm{L}_\mathrm{i}^t = \sum_{t=0}^T \mathrm{l}_i^t
\]
Regret at time t is a difference between our algorithm total loss and the best single expert loss. Regret may be expressed via following reflection:
If only I listened to expert number \(i\) all the time, the total loss for his advice was the lowest
It indeed expresses how much we regret not following the single best expert advice in all time steps.
Formally regret is defined as follows:
\[
\mathrm{R} = \mathrm{L}_\mathrm{H}^T – \min_i \mathrm{L}_\mathrm{i}^T
\]
Having defined a concept of regret we can now introduce “noregret learning”. We say that an online algorithm \(\mathrm{H}\) learns without regret if in the limit (as T goes to infinity) its average regret goes to zero in worst case – meaning no single expert is better than \(\mathrm{H} \) in the limit – there is no regret towards single expert.
Regret matching as an example of noregret learning algorithm
There is a variety of online learning algorithms but not all of them can be categorized as noregret learning. In general no deterministic online learning algorithm can lead to noregret learning. If our algorithm \(\mathrm{H}\) produces probability vector that places all probability mass on one expert it won’t learn without regret. Randomization is necessary.
Here, we will take a closer look at one noregret learning algorithm called Regret Matching which borrows its update logic from Polynomially Weighted Average Forecaster(PWA) (realized via certain hyperparameter choice).
Regret Matching algorithm \(\hat{\mathrm{H}}\) will maintain the vector of weights assigned to experts. After loss vector (again, representing consequences of our experts’ advice) is revealed we can compute cumulative regret with respect to an expert \(i\) at time \(t\) (it expresses how we regret not listening particular expert \(i\)):
\[
\mathrm{R}_{i,t} = \mathrm{L}_\hat{\mathrm{H}}^t – \mathrm{L}_\mathrm{i}^t
\]
Having that, experts’ weights are updated with the formula:
\[
w_{i,t} = (\mathrm{R}_{i,t})_+ = \max(0, \mathrm{R}_{i,t})
\]
and finally components of our vector \( p^t \) in question (product of the algorithm) are given by:
\[
p_i^t =
\begin{cases}
\frac{w_{i,t}}{\sum_{j \in N} w_{j,t}},& \text{if } \sum_{j \in N} w_{j,t} > 0\\
\frac{1}{N}, & \text{otherwise}
\end{cases}
\]
No regret learning and game theory
Researchers have been studying noregret learning in various different contexts. Interestingly, one particular noregret learning algorithm called Hedge is a building block for Boosting and AdaBoost algorithm for which Yoav Freund and Robert Shapire received Gödel Prize in 2003. If you are interested in economical or financial context you may want to have a look at Michael Kearns’ work.
Context that is particularly interesting for us is Game Theory. To start connecting noregret learning and game theory let’s consider simple game of RockPaperScissors. We are going to abstract some details away so the whole thing matches online learning framework. This will give us ‘mandate’ to reason about noregret learning in this setup.
Let’s assume players \(A\) and \(B\) are repeatedly playing a game of rockpaperscissors.
From \(A\) point of view he has to choose one action (rock paper or scissors) and play it. After both players act payoffs can be calculated. From player \(A\) perspective again payoff is a reward for playing action of his choice, but in fact nothing stops him from calculating rewards he would have been given for actions he has not played (freezing opponent move). Player \(A\) can then see the whole thing in the following way:
 before he acts, he has 3 experts proposing one action each
 when he acts he in fact draws an action from a probability distribution over actions (experts/behavioral strategy)
 after that, adversary presents a reward vector (depending on what other player plays)
This is very similar to our online learning setup above. Now if we incorporate algorithm \(\mathrm{H}\) expressing how our player \(A\) learns ‘trust’ distribution among experts (or a behavioral strategy) we end up with almost the same model as in previous section. The only subtle difference is that instead of costs we receive rewards from environment. But this can be easily handled by changing a sign and aggregate function (min => max) in regret formulation.
Of course, our onlinelearning interpretation of a rockpaperscissors game holds for other two players’ zerosum games.
Once we are in online learning framework, we can ask: what will happen if both players adapt to one another via noregret learning algorithm \(\mathrm{H}\)? This question leads us to the following theorem:
(a nice proof of this result can be found here)
Average regret in the theorem is cumulative regret divided by time steps (number of game repetitions) and the average strategy is mean of behavioral strategies used in every time step.
You may want to check out an example python implementation of Regret Matching algorithm for computing RockPaperScissors Nash Equilibrium here.
Average Overall Regret and Nash Equilibrium in extensive imperfect information games
In our considerations so far we tried to compare our algorithm performance to the single best expert (action) over time. This led us to notion of regret, noregret learning and its interesting relation to Nash Equilibrium. Comparing algorithm performance to the best single expert (action) was actually one of many possible choices, in general we can think of so called “comparison classes”. In case of RockPaperScissors we have just looked at one particular comparison class consising of single actions only. But nothing stops us from studying other classes – like class of behavioral or mixed strategies (probability distributions over actions).
In fact, for Heads Up Texas Hold’em No Limit Poker it is beneficial to consider set of mixed strategies as comparison class. This leads us to the notion of average overall regret where we regret not playing particular mixed/behavioral strategy. If we consider repeatedly playing a game over time, we can think of average overall regret for player \(i\) at time \(T\) defined as:
It expresses how much we regret not playing single fixed best response to all strategies our opponent played up until \(T\). Now, this type of regret is very handy because it leads to another very important fact:
by average strategy in information set \(I\) for action \(a\) at time \(T\) we mean:
that is a sum of all strategies played up to \(T\) in our information set weighted according to reach probabilities. Let’s keep this formula in mind because we will get back to it once we get to implementation
The theorem depicted in green is very important for us here, later, it will turn out that counterfactual regret minimization is a ‘proxy’ minimizer of average overall regret and so leads to Nash Equilibrium.
Counterfactual regret minimization
Having the basics of game theory and noregret learning we can now move on to the main subject of this post: counterfactual regret minimization
CFR was introduced in 2007 by Martin Zinkevich – nowadays machine learning practitioner in Google, also the author of Rules of Machine Learning: Best Practices for ML Engineering.
In essence, CFR is a regret matching procedure applied to optimize entity called immediate counterfactual regret which, when minimized in every information set, is an upper bound on average overall regret (that we just learnt about). Moreover immediate counterfactual regret is guaranteed to go to zero in the limit if regret matching routine is applied. These two together imply that average overall regret can be minimized via counterfactual regret minimization. Minimizing overall average regret for both players leads to Nash Equilibrium which in Heads Up No Limit Texas Hold’em is a strategy that cannot be beaten in expectation!
CFR is defined with respect to these counterfactual versions of utility and regret. Let’s find out what that means.
Counterfactual utility
In one of the previous sections we presented what expected utility means. We found out it is a convenient way of evaluating players strategies – here we will learn about another evaluation metric of players strategies, this time though our metric will be defined for every single information set separately. This metric is called counterfactual utility. We will learn why such a name in a moment.
To begin in a mathless fashion imagine you are in particular decision point in heads up NLTH poker. Of course you are not aware what cards your opponent holds. Let’s for a moment assume you decided to guess your opponent’s hand to be pair of aces. That means you are no longer in information set because you just put yourself in specific game state (by assuming particular opponent’s hand). That means you can compute expected utility for a subgame rooted in the game state you assumed. This utility would simply be:
\[
\sum_{h’ \in \mathrm{Z}} \pi^{\sigma}(h, h’) u(h’)
\]
where \( \pi^{\sigma}(h,h’) \) is probability of reaching terminal game state \(h’\) starting from \(h\) and \(\mathrm{Z}\) is set of all terminal nodes (reach probabilities are products of all actions probabilities prior to current state, including chance). Please note that in this context it is OK to consider all terminal nodes as in practice only reachable nodes contribute to the sum because probability of reaching unreachable node is zero.
If we make that assumption for every possible game state in our information set (every possible opponent’s hand) we will end up with vector of utilities, one for each opponent’s hand. If we now weight these utilities according to probabilities of reaching these particular game states and add them together we will end up having (a fraction of) regular expected utility.
To get counterfactual utility we need to use another weighting scheme. For every opponent’s hand (game state \(h\)) let’s use the probability of reaching \(h\) assuming we wanted to get to \(h\). So instead of using our regular strategy from strategy profile we modify it a bit so it always tries to reach our current game state \(h\) – meaning that for each information set prior to currently assumed game state we pretend we always played pure behavioral strategy where the whole probability mass was placed in action that was actually played and led to current assumed state \(h\) – which is in fact counterfactual, in opposition to facts, because we really played according to \(\sigma\). In practice then we just consider our opponent contribution to the probability of reaching currently assumed game state \(h\). These weights (let’s call them counterfactual reach probabilities) express the following intuition: “how probable is that my opponent gets here assuming I always played to get here?“.
Formally, counterfactual utility for information set \(\mathrm{I}\), player \(i\) and strategy \(\sigma \) is given by:
\[
u_i(\sigma, \mathrm{I}) = \frac{\sum_{h \in \mathrm{I}, h’ \in \mathrm{Z}} \pi^{\sigma}_{i}(h) \pi^{\sigma}(h, h’) u(h’) }{\pi_{i}^{\sigma}(\mathrm{I})}
\]
denominator is a sum of our counterfactual weights – normalizing constant.
you may find unnormalized form of the above – it is ok and let’s actually have it too, it will come in handy later:
\[
\hat{u}_i(\sigma, \mathrm{I}) = \sum_{h \in \mathrm{I}, h’ \in \mathrm{Z}} \pi^{\sigma}_{i}(h) \pi^{\sigma}(h, h’) u(h’)
\]
Immediate Counterfactual Regret
To introduce counterfactual regret minimization we will need to look at the poker game from a certain specific angle. First of all we will be looking at single information set, single decision point. We will consider acting in this information set repeatedly over time with the goal to act in a best possible way with respect to certain reward measure.
Assuming we are playing as player \(i\), let’s agree that reward for playing action \(a\) is unnormalized counterfactual utility under assumption we played action \(a\) (let’s just assume this is how environment reward us). Entity in consideration is then defined as:
We can easily abstract the whole thing as ‘combining experts advice’ model via interpretation similar to RockPaperScissors game from the previous section:
 at our decision point we have fixed finite set of actions \(A(\mathrm{I})\) (or experts advice)
 we assume we act in our information set \(\mathrm{I}\) according to some algorithm \(\mathrm{H}\) repeatedly over time
 algorithm \(\mathrm{H}\) job is to update probabilities of actions being played (behavioral strategy at our decision point)
 for every \(t\) we have a probability distribution over actions \(\sigma^t_{\mathrm{H}}(\mathrm{I})\) that expresses our confidence of playing them (behavioral strategy/trust towards experts learnt by \(\mathrm{H}\))
 for every \(t\) blackbox mechanism (environment) triggers reward vector being revealed (vector of unnormalized counterfactual utilities, one for each action, expressing conequences of playing these actions)
As you know already, in onlinelearning setup it is beneficial to consider expected reward (and compare it to the single best action performance) of our algorithm H over time. Let’s try to think what expected reward we land on
if we follow expected reward definition and compute weighted sum of rewards’ vector using weights according to behavioral strategy in our information set \(\mathrm{I}\) (a ‘trust’ distribution) we will actually end up having unnormalized counterfactual utility for \(\mathrm{I}\) at time \(t\):
\[
\begin{align}
\sum_{a\in A(\mathrm{I})} \sigma^t_{\mathrm{H}}(\mathrm{I})(a) \hat{u}_{\mathrm{I} \rightarrow a}(\sigma^t_{\mathrm{H}}, \mathrm{I}) &= \\ \sum_{a\in A(\mathrm{I})} \sigma^t_{\mathrm{H}}(\mathrm{I})(a) \sum_{h \in \mathrm{I}, h’ \in \mathrm{Z}} \pi^{\sigma^t_{\mathrm{H}}}_{i}(h) \pi^{\sigma^t_{\mathrm{H}}}(ha, h’) u(h’) &= \\ \sum_{h \in \mathrm{I}, h’ \in \mathrm{Z}} \pi^{\sigma^t_{\mathrm{H}}}_{i}(h) \pi^{\sigma^t_{\mathrm{H}}}(h, h’) u(h’) &= \\ \hat{u}_i(\sigma^t_{\mathrm{H}}, \mathrm{I})
\end{align}
\]
note that, choosing action \(a\) gets \(\sigma^t_{\mathrm{H}}(\mathrm{I})(a)\) out of formula but it is brought back again via expected reward computation
Having total reward of algorithm \(\mathrm{H}\) we can define regret in our setting to be:
\[
R_{i, imm}^T(\mathrm{I}) = \frac{1}{T} \max_{a \in A(\mathrm{I})} \sum_{t=1}^{T} (\hat{u}_{\mathrm{I} \rightarrow a}(\sigma^t_{\mathrm{H}}, \mathrm{I}) – \hat{u}_i(\sigma^t_{\mathrm{H}}, \mathrm{I}))
\]
which Zinkevich and his colleagues called Immediate Counterfactual Regret.
Last important entity, Immediate Counterfactual Regret of not playing action \(a\) is given by:
\[
R_{i, imm}^T(\mathrm{I},a ) = \frac{1}{T} \sum_{t=1}^{T} (\hat{u_i}_{\mathrm{I} \rightarrow a}(\sigma^t_{\mathrm{H}}, \mathrm{I}) – \hat{u}_i(\sigma^t_{\mathrm{H}}, \mathrm{I}))
\]
and is actually equivalent to regret of not listening to expert \(a\) in our noregret interpretation.
Immediate Counterfactual Regret and Nash Equilibrium
Landing in regret minimization framework again does not imply we can apply our theorem that we used for RockPaperScissors. The difference is that in our case we ‘regret’ in the single information set only, not the whole game. Fortunately Zinkevich and his colleagues showed that this is still OK and we can still land in NashEquilibrium if we consecutively apply regret matching for Immediate Counterfactual Regret over time for all information sets. They actually proved two things:
 For fixed strategy profile if we compute immediate counterfactual regrets in all information sets, their sum will bound overall average regret.
\[
\hat{R}_i^T \leq \sum_{\mathrm{I} \in \mathcal{I}} R_{i, imm}^T(\mathrm{I})
\]  if player selects actions according to regret matching routine, counterfactual regret goes to zero eventually
Counterfactual Regret Minimization – implementation plan
Let’s try to summarize what we actually need to compute Nash Equilibrium via counterfactual regret minimization.
From very high level point of view we will need to:
 initialize strategies for both players – uniform distribution is ok
 run regret matching routine for all information sets for both players separately. Each time we will assume there is unknown adversary environment players may not be aware of, and they just try to play the best they can via application of noregret learning in every time step. It means they will be adjusting their current strategy in current information set so it matches total positive regret (which happens to be counterfactual regret as we already established)
 Consecutive application of noregret learning for both players for all information sets will trigger lots of strategy changes over time. Following our theorem, the averages of these strategies for both players will be an approximation of Nash Equilibrium.
The memory requirements
In every single information set \(\mathrm{I}\), regret matching routine requires us to distinguish:
 reward for playing action \(a\) at time \(t\):
\[
\hat{u_i}^t_{\mathrm{I} \rightarrow a}(\sigma^t, \mathrm{I}) = \sum_{h \in \mathrm{I}, h’ \in \mathrm{Z}} \pi^{\sigma^t}_{i}(h) \pi^{\sigma^t}(ha, h’) u(h’)
\] Every action will be rewarded via unnormalized counterfactual utility assuming action was played. It is worth noting every element of the sum above can be computed separately for every game state in information set:
\[
\hat{u_i}^t_{\mathrm{I} \rightarrow a}(\sigma^t, h) = \pi^{\sigma^t}_{i}(h) \sum_{h’ \in \mathrm{Z}} \pi^{\sigma^t}(ha, h’) u(h’)
\]Let’s remember that, in fact later on in our actual implementation we will be traversing through game states, not information sets.
 total reward for playing action \(a\) at time \(T\):
\[
\sum_{t=1}^T \hat{u_i}^t_{\mathrm{I} \rightarrow a}(\sigma^t, \mathrm{I})
\]Thiese will be our references we will be comparing current strategy performance
 reward for playing according to current behavioral strategy at time \(t\):
\[
\hat{u}_i(\sigma^t, \mathrm{I}) = \sum_{h \in \mathrm{I}, h’ \in \mathrm{Z}} \pi^{\sigma^t}_{i}(h) \pi^{\sigma^t}(h, h’) u(h’)
\]This will express how our current strategy performs in terms of unnormalized counterfactual utility at time \(t\)
 and finally total reward for playing according to our behavioral strategies up to time \(T\):
\[
\sum_{t=1}^T \hat{u}_i(\sigma^t, \mathrm{I})
\]We will compare this value with total rewards for playing each action and update strategy for the next iteration accordingly
Regret matching routine will update a strategy at time \(t\) in information set \(\mathrm{I}\) with the following formula:
\[
\sigma^{T+1}_\mathrm{H} (I)(a) =
\begin{cases}
\frac{R_{i, imm}^{T,+}(\mathrm{I, a })}{\sum_{a’ \in \mathrm{I}} R_{i, imm}^{T,+}(\mathrm{I, a’})},& \text{if } \sum_{a’ \in \mathrm{I}} R_{i, imm}^{T,+}(\mathrm{I, a’}) > 0\\
\frac{1}{T}, & \text{otherwise}
\end{cases}
=
\]
where
\[
R_{i, imm}^T(\mathrm{I},a ) = \frac{1}{T} \sum_{t=1}^{T} (\hat{u_i}_{\mathrm{I} \rightarrow a}(\sigma^t_{\mathrm{H}}, \mathrm{I}) – \hat{u}_i(\sigma^t_{\mathrm{H}}, \mathrm{I}))
\]
In every iteration we need current strategy profile, game tree (this is static) and immediate counterfactual regrets. Important observation here is that we don’t really need \( \frac{1}{T} \) in \(R_{i, imm}^{T,+}\) because it cancels out anyways. Therefore for every information set and every action it is enough to store the following sum, let’s call it \(R_{i, cum}^T(\mathrm{I},a )\):
\[
R_{i, cum}^T(\mathrm{I},a ) = \sum_{t=1}^{T} (\hat{u_i}_{\mathrm{I} \rightarrow a}(\sigma^t_{\mathrm{H}}, \mathrm{I}) – \hat{u}_i(\sigma^t_{\mathrm{H}}, \mathrm{I}))
\]
Additional entity we need is sum of all strategies up till now for every information set. This is needed because at the very end we plan to average all strategies to compute our ultimate goal: Nash Equilibrium.
Computation – what do we need to compute to get Nash Equilibrium?
We already established that for every information set, in every iteration we will need to store three vectors: vector of sums of strategies played so far, vector of \(R_{i, cum}^T(\mathrm{I},a )\) and current strategy \(\sigma_t\).
Now we need a clever way to go to every possible information set, compute counterfactual utilities for every action, counterfactual utility for our behavioral strategy, add the difference between these two up to the vector of cumulative immediate regrets and finally compute the strategy for the next iteration.
The very core entity we need in order to achieve so is gamestate centric unnormalized counterfactual utility (under assumption of action \(a\) was played):
\[
\hat{u_i}^t_{\mathrm{I} \rightarrow a}(\sigma^t, h) = \pi^{\sigma^t}_{i}(h) \sum_{h’ \in \mathrm{Z}} \pi^{\sigma^t}(ha, h’) u(h’)
\]
If we had it computed for all actions and game states in information set \(\mathrm{I}\), we could easily derive the rest of the entities involved. This is a clue of how we need our final algorithm to be constructed.
Let’s then focus on how we could cleverly compute these values assuming we have the strategies for both players in place. We will start by introducing a notion of expected utility in a game state:
\[
u_i^{\sigma}(h) = \sum_{h’ \in \mathrm{Z}} \pi^{\sigma}(h, h’) u_i(h’)
\]
If this was computed for the root of the game tree it would result in expected utility of the game – well known concept in game theory. We will now proceed in the following way: we will start with expected utility computation algorithm and add more and more side effects to get our final CFR algorithm.
Expected utility computation is as easy as recursive tree traversal + propagating the results back:
def _utility_recursive(self, state):
if state.is_terminal():
# evaluate terminal node according to the game result
return state.evaluation()
# sum up all utilities for playing actions in our game state
utility = 0.
for action in state.actions:
# utility computation for current node, here we assume sigma is available
utility += self.sigma[state.inf_set()][action] * self._utility_recursive(state.play(action))
return utility
There is actually only very subtle difference between our unnormalized counterfactual utility and the expected utility. In fact our expected utility can be seen as a sum of the following:
\[
\sigma(h)(a) \sum_{h’ \in \mathrm{Z}} \pi^{\sigma}(ha, h’) u_i(h’)
\]
for every action \(a\) available in \(h\). The only difference is weighting component. In case of unnormalized counterfactual utility we use counterfactual reach probability, in case of expected utility it is transition probability between game states. Let’s then try to inject some extra code, a side effect, into utility computation algorithm to get unnormalized counterfactual utilities:
def _cfr_utility_recursive(self, state):
if state.is_terminal():
# evaluate terminal node according to the game result
return state.evaluation()
# sum up all utilities for playing actions in our game state
utility = 0.
for action in state.actions:
child_state_utility = self._cfr_utility_recursive(state.play(action))
# utility computation for current node, here we assume sigma is available
utility += self.sigma[state.inf_set()][action] * child_state_utility
# computing counterfactual utilities as a side effect, we assume we magically have cfr_reach function here
cfr_utility[action] = cfr_reach(state.inf_set()) * child_state_utility
# function still returns utility, side effect was added to compute counterfactual utility, too
return utility
By adding this tiny side effect to our utility computation routine we in fact are now computing unnormalized counterfactual utilities for every possible action \(a\) in \(h\) for the whole game tree (if started from the root)!
One puzzle that is still missing is the weighting component (counterfactual reach probability), probability of our opponent getting to \(h\) under assumption we did all we could to get there. Good news is that these probabilities are products of transition probabilities between states we already visited. It means, we must be able to collect these products on our way down to the current game state.
def _cfr_utility_recursive(self, state, reach_a, reach_b):
children_states_utilities = {}
if state.is_terminal():
# evaluate terminal node according to the game result
return state.evaluation()
# sum up all utilities for playing actions in our game state
utility = 0.
for action in state.actions:
child_reach_a = reach_a * (self.sigma[state.inf_set()][action] if state.to_move == A else 1)
child_reach_b = reach_b * (self.sigma[state.inf_set()][action] if state.to_move == A else 1)
child_state_utility = self._cfr_utility_recursive(state.play(action), child_reach_a, child_reach_b)
# utility computation for current node, here we assume sigma is available
utility += self.sigma[state.inf_set()][action] * child_state_utility
children_states_utilities[action] = child_state_utility
cfr_reach = reach_b if state.to_move == A else reach_a
for action in state.actions:
# player to act is either 1 or 1
# utilities are computed for player 1  therefore we need to change their signs if player #2 acts
action_cfr_regret = state.to_move * cfr_reach * children_states_utilities[action]
# function still returns utility, side effect was added to compute counterfactual utility, too
return utility
We added extra parameters to our function, now at every game state we keep track of counterfactual reach probabilities for both players, they are products of probabilities of actions that were played prior to current game state (computed separately for both players).
All we need now is to run our routine for the game tree root node with reach probabilities equal to 1 for both players. This will cause counterfactual utility of not playing actions being available. Now we need to inject the rest of the code:
def _cfr_utility_recursive(self, state, reach_a, reach_b):
children_states_utilities = {}
if state.is_terminal():
# evaluate terminal node according to the game result
return state.evaluation()
# please note that now we also handle chance node, we simply traverse the tree further down
# not breaking computation of utility
if state.is_chance():
outcomes = {state.play(action) for action in state.actions}
return sum([state.chance_prob() * self._cfr_utility_recursive(c, reach_a, reach_b) for c in outcomes])
# sum up all utilities for playing actions in our game state
utility = 0.
for action in state.actions:
child_reach_a = reach_a * (self.sigma[state.inf_set()][action] if state.to_move == A else 1)
child_reach_b = reach_b * (self.sigma[state.inf_set()][action] if state.to_move == A else 1)
child_state_utility = self._cfr_utility_recursive(state.play(action), child_reach_a, child_reach_b)
# utility computation for current node, here we assume sigma is available
utility += self.sigma[state.inf_set()][action] * child_state_utility
children_states_utilities[action] = child_state_utility
(cfr_reach, reach) = (reach_b, reach_a) if state.to_move == A else (reach_a, reach_b)
for action in state.actions:
# player to act is either 1 or 1
# utilities are computed for player 1  therefore we need to change their signs if player #2 acts
action_cfr_regret = state.to_move * cfr_reach * (children_states_utilities[action]  value)
# we start accumulating cfr_regrets for not playing actions in information set
# and action probabilities (weighted with reach probabilites) needed for final NE computation
self._cumulate_cfr_regret(state.inf_set(), action, action_cfr_regret)
self._cumulate_sigma(state.inf_set(), action, reach * self.sigma[state.inf_set()][action])
# function still returns utility, side effect was added to compute counterfactual utility, too
return utility
We added few important bits, first of all now we cumulate unnormalized counterfactual utilities for actions in information sets and we sum up sigmas (to later on computer NE out of it). Also we handle chance nodes – simply by omitting CFRspecific side effects (we don’t make decisions in chance nodes – no need to compute anything) trying not to break utility computation.
Running this once with reach for both players being 1 will result in accumulating strategies and unnormalized counterfactual regrets in all information sets and actions. After such an iteration we have to update sigma for the next iteration via regret matching routine:
def __update_sigma_recursively(self, node):
# stop traversal at terminal node
if node.is_terminal():
return
# omit chance
if not node.is_chance():
self._update_sigma(node.inf_set())
# go to subtrees
for k in node.children:
self.__update_sigma_recursively(node.children[k])
def _update_sigma(self, i):
rgrt_sum = sum(filter(lambda x : x > 0, self.cumulative_regrets[i].values()))
nr_of_actions = len(self.cumulative_regrets[i].keys()
for a in self.cumulative_regrets[i]:
self.sigma[i][a] = max(self.cumulative_regrets[i][a], 0.) / rgrt_sum if rgrt_sum > 0 else 1. / nr_of_actions )
That leads us to a function:
def run(self, iterations = 1):
for _ in range(0, iterations):
self._cfr_utility_recursive(self.root, 1, 1)
# since we do not update sigmas in each information set while traversing, we need to
# traverse the tree to perform to update it now
self.__update_sigma_recursively(self.root)
After running our run method we are ready to compute NashEquilibrium (in a manner similar to new sigma):
def compute_nash_equilibrium(self):
self.__compute_ne_rec(self.root)
def __compute_ne_rec(self, node):
if node.is_terminal():
return
i = node.inf_set()
if node.is_chance():
self.nash_equilibrium[i] = {a:node.chance_prob() for a in node.actions}
else:
sigma_sum = sum(self.cumulative_sigma[i].values())
self.nash_equilibrium[i] = {a: self.cumulative_sigma[i][a] / sigma_sum for a in node.actions}
# go to subtrees
for k in node.children:
self.__compute_ne_rec(node.children[k])
One iteration of counterfactual regret minimization turns out to be a single pass through the game tree + another pass for sigma and nash equilibrium computations. In essence it is utility computation routine with some side effects added.
Going through the whole game tree few times should already raise a red flag. For large size game trees it is very impractical.
Reducing a game tree size via chance sampling
Zinkevich and colleagues decided to limit number of visited nodes by sampling only one chance outcome at the time.
This means they do not visit all information sets in single iteration. They explore all possible actions in information sets they visit though.
In case of poker, sampling each chance node only once means that every single information set contains only one game state. That is because also initial hands dealing is sampled only once and the whole tree traversal is performed for that one hand only. This means we only consider single hand in an information set. That implies sigma can be updated right after computing regret in a game state – we don’t need additional traverse to update it.
Let’s improve our implementation then. Whenever we end up in chance node we need to sample one outcome and follow that choice without changing reach probabilities, we just continue traversal ‘normally’ returning utility for chosen chance outcome. Another bit is adding sigma update at the end of the ‘node visit’ – we can do it because this is the only time we are there for single iteration.
def _cfr_utility_recursive(self, state, reach_a, reach_b):
children_states_utilities = {}
if state.is_terminal():
# evaluate terminal node according to the game result
return state.evaluation()
# now we only go through single outcome of chance
if state.is_chance():
return self._cfr_utility_recursive(state.sample_one(), reach_a, reach_b)
# sum up all utilities for playing actions in our game state
utility = 0.
for action in state.actions:
child_state_utility = self._cfr_utility_recursive(state.play(action))
# utility computation for current node, here we assume sigma is available
utility += self.sigma[state.inf_set()][action] * child_state_utility
children_states_utilities[action] = child_state_utility
(cfr_reach, reach) = (reach_b, reach_a) if state.to_move == A else (reach_a, reach_b)
for action in state.actions:
# player to act is either 1 or 1
# utilities are computed for player 1  therefore we need to change their signs if player #2 acts
action_cfr_regret = state.to_move * cfr_reach * (children_states_utilities[action]  value)
# we start accumulating cfr_regrets for not playing actions in information set
# and action probabilities (weighted with reach probabilites) needed for final NE computation
self._cumulate_cfr_regret(state.inf_set(), action, action_cfr_regret)
self._cumulate_sigma(state.inf_set(), action, reach * self.sigma[state.inf_set()][action])
# sigma update can be performed here now as any information set contains a single game state
self._update_sigma(state.inf_set())
# function still returns utility, side effect was added to compute counterfactual utility, too
return utility
Sampling makes single iteration much faster but it may require more iterations than vanilla version of CFR.
In practice people often use other versions of CFR. One particularly intriguing improvement is algorithm called CFR+ (one that was used in Cepheus). CFR+ is especially nice because it does not require the averaging step (which costs the whole tree traversal) to get Nash Equilibrium. After each iteration sigma is already its good approximation. Interestingly, it was never proved why sigma is enough, but it tends to happen in practice very often.
The final code for this post – our example toy CFR with chance sampling implementation – is available on github. It may differ a bit from pseudopython presented above but should more or less be readable.
Summary
That’s all folks.
I hope you enjoyed this (a bit too long) tutorial and you are now more familiar with basics of game theory, noregret learning and counterfactual regret minimization. Hopefully you can implement simple version of CFR for yourself or maybe even extend existing ones.
Good luck with your projects and have a good rest of the day (+ lots of nice hands)!