CFR
CFR
Counterfactual Regret Minimization (CFR) is an iterative algorithm that computes a Nash equilibrium for games with imperfect information by minimizing regret through self-play.
Overview
Counterfactual Regret Minimization (CFR) is a leading algorithm for solving large-scale imperfect-information games, most notably poker. Introduced by Hart, Mansour, and Zinkevich (2000), CFR approximates a Nash equilibrium by repeatedly playing a game against itself and adjusting strategies based on regret.
How CFR Works
CFR operates in two key steps per iteration:
- Compute counterfactual values: For each information set (a point in the game tree where a player must act), CFR calculates the counterfactual value of each action—the expected payoff if the player took that action, weighted by the probability that the opponent reaches that point.
- Regret update: The algorithm accumulates regret for each action not taken, calculated as the difference between the action's value and the value of the strategy actually played. Regret is the amount the player would have gained by deviating to that action.
Actions with higher positive regret are more likely to be chosen in future iterations. The algorithm uses regret matching to select a probability distribution over actions proportional to positive regret.
Application to Poker
Poker is a classic imperfect-information game due to hidden cards and bluffing. CFR has been instrumental in developing superhuman poker AIs:
- Libratus (2017): Defeated top heads-up no-limit Texas hold'em players. Used a variant called CFR+ with advanced abstraction techniques.
- Pluribus (2019): First AI to beat elite humans in six-player no-limit hold'em. Used Monte Carlo CFR to handle the larger branching factor.
CFR converges to a Nash equilibrium asymptotically, but in practice, it requires significant computation and memory. To scale, CFR is often combined with:
- Abstraction: Grouping similar hands or board textures to reduce state space.
- Pruning: Eliminating low-probability actions.
- Sampling: Monte Carlo CFR samples chance outcomes instead of enumerating all possibilities.
Strengths and Limitations
- Strengths: Guarantees convergence to a Nash equilibrium; does not require a model of opponent (unlike exploitative strategies); applied successfully to large games.
- Limitations: Computationally expensive; requires careful tuning of abstraction; does not exploit specific opponent weaknesses; mostly used in offline precomputation rather than real-time play.
Relation to GTO
CFR is the primary tool for deriving Game Theory Optimal (GTO) strategies in poker. Many modern GTO solvers use CFR or its descendants. However, pure GTO play may be suboptimal against weak opponents, so humans often combine CFR-based solutions with exploitative adjustments.
Conclusion
CFR revolutionized poker AI and game theory. While not a poker term per se, it is foundational to modern poker analysis. Understanding its principles helps players appreciate how solvers derive balanced strategies.