Comment fonctionne un solver de poker

Un solver de poker, ce n’est ni de la magie ni une machine à deviner. C’est un outil mathématique qui pose une question très précise :

Si les deux joueurs connaissent la situation, le board, la profondeur de tapis, les sizings autorisés et la range de chacun, quelle stratégie est la plus difficile à exploiter ?

La question paraît simple. La réponse ne l’est pas. Rien qu’un spot de flop peut exploser en milliers de branches dès que tu autorises les checks, les mises, les relances, les calls, les folds et plusieurs sizings possibles. Un solver est conçu pour gérer cette complexité en transformant le poker en arbre, puis en parcourant cet arbre jusqu’à ce que les stratégies ne bougent presque plus.

Ce qu’un solver résout vraiment

Un solver ne “résout” pas le poker au sens absolu. Il résout un modèle de spot.

Ce modèle inclut en général :

• la position des joueurs
• les cartes déjà sorties
• les tailles de tapis
• la taille du pot
• les ranges de chaque joueur
• les sizings autorisés
• parfois le rake, parfois l’ICM, parfois ni l’un ni l’autre

Si tu changes un seul de ces paramètres, la réponse peut changer. C’est pour ça qu’il faut voir un solver comme une machine à “et si”. Et si tu ouvres cette taille ? Et si l’adversaire défend cette range ? Et si les mises turn et river sont limitées à ces sizings ?

Un solver n’est jamais plus fort que le spot que tu lui donnes.

C’est aussi pour ça qu’il n’existe pas une seule “solution” à une main de poker. Il n’existe que la solution du jeu exact que tu as défini.

Les ranges sont le point de départ

Quand les joueurs découvrent les solvers, ils cherchent souvent une main en particulier : “Est-ce que je dois miser as dame ici ?” Mais un solver ne pense pas en mains isolées. Il pense en ranges.

Une range, c’est l’ensemble des mains qu’un joueur peut avoir de façon crédible dans ce spot, avec un poids pour chacune. Par exemple, préflop, le bouton peut arriver sur le flop avec une range large, alors que la grosse blinde arrive avec une range plus resserrée et défendue. Ces deux ranges sont différentes avant même la première action du flop.

C’est important, parce que l’équité, les folds, les relances et les streets futures dépendent des ranges, pas d’une main unique.

Un solver se pose des questions comme :

• À quelle fréquence le bouton peut-il miser pour value ?
• Combien de bluffs cette taille autorise-t-elle ?
• Quelles mains préfèrent checker parce qu’elles gardent bien leur équité ?
• Quelles mains préfèrent miser parce qu’elles profitent de la fold equity ?

Tu peux voir la grille 13x13 comme une carte des possibilités. Les paires, les suited, les offsuit, tout y trouve sa place. Le solver attribue ensuite des actions et des fréquences à ces mains selon les ranges et le board.

L’arbre de jeu, le poker comme ensemble de branches

Une fois les ranges posées, le solver construit un arbre de jeu.

Un arbre de jeu, c’est simplement un organigramme de toutes les décisions possibles à partir du spot courant. Chaque nœud est un point de décision. Chaque branche est une action. Chaque action mène à un autre nœud, et ainsi de suite jusqu’à la fin du coup.

Par exemple, au flop :

• le joueur A check
• le joueur B mise 33 % du pot
• le joueur A fold, call ou raise
• s’il y a call, on distribue la turn
• puis l’arbre continue à la turn

Si tu autorises deux sizings au flop, trois à la turn et une option all-in à la river, l’arbre grossit très vite. C’est pour ça que les solvers ont besoin d’abstraction. Ils ne peuvent pas inclure tous les sizings possibles dans tous les spots, sinon l’arbre devient trop grand à calculer.

La personne qui prépare le solve choisit donc à l’avance le menu des actions.

Et ce choix compte énormément.

Si une mise pot 25 % n’est pas dans l’arbre, le solver ne peut pas la recommander. Si un overbet est exclu, le solver ne peut pas l’utiliser. En pratique, travailler avec un solver, c’est à la fois du poker et du bon modeling.

Comment le solver trouve un équilibre

Le but du solver est généralement de trouver un équilibre de Nash pour le modèle que tu as défini.

Un équilibre, cela veut dire que, face à la stratégie adverse, tu ne peux pas améliorer ton résultat en changeant seulement ta propre stratégie. Dans un jeu à deux joueurs à somme nulle, c’est ce point stable que les solvers cherchent.

Comment ils y arrivent ?

Par itérations.

Une version simplifiée ressemble à ça :

1. On part d’une stratégie initiale.
2. On parcourt l’arbre et on calcule les espérances de gain.
3. On repère où chaque action aurait fait mieux ou moins bien.
4. On met à jour la stratégie pour réduire ces erreurs.
5. On répète des millions de fois.

Les solvers n’utilisent pas tous exactement le même algorithme, mais l’idée reste proche. Ils mesurent en continu à quel point chaque action aurait été bonne, puis ils déplacent du poids vers les meilleures actions et en retirent aux moins bonnes. Avec le temps, la stratégie devient plus stable.

Une famille de méthodes très connue repose sur la minimisation du regret, en particulier CFR, pour Counterfactual Regret Minimization, et ses variantes. Le nom est technique, mais l’idée est simple :

si une action prouve sans cesse qu’elle vaut mieux qu’une autre dans une situation donnée, le solver apprend à lui donner plus de poids. Si deux actions sont exactement indifférentes dans le modèle, il peut les mélanger.

C’est pour ça que les sorties de solver affichent souvent des fréquences, pas un coup unique. Une main peut checker une partie du temps et miser une autre partie du temps, parce que les deux lignes sont indifférentes dans le modèle. Quand une sortie montre des EV différentes à la marge, cela vient de l’approximation numérique, pas du principe du mix lui-même.

Pourquoi un solver répète autant de fois

On dit souvent qu’un solver “joue des millions de mains”. En réalité, il simule, évalue et réévalue le spot encore et encore, sur beaucoup de runouts possibles et beaucoup d’itérations de mise à jour.

Cette répétition est nécessaire parce que le poker est récursif. Une petite erreur maintenant change la suite de l’arbre plus tard. Si ta stratégie de flop est décalée, tes branches turn et river le sont aussi.

Le solver continue jusqu’à ce que la stratégie bouge très peu d’une itération à l’autre, et que l’erreur restante soit assez petite pour être acceptable.

Ça ne veut pas dire que la réponse est parfaite. Ça veut dire qu’elle est suffisamment bonne pour le modèle et pour la puissance de calcul disponible.

L’exploitabilité, ou à quel point la réponse est proche

Le mot à retenir ici, c’est exploitabilité.

L’exploitabilité mesure ce qu’un adversaire parfait pourrait gagner contre ta stratégie s’il la connaissait et répondait parfaitement. Plus l’exploitabilité est basse, plus la stratégie est proche de l’équilibre.

Dans un exemple simple, si une stratégie résolue a une exploitabilité très faible, cela veut dire qu’elle est difficile à exploiter dans ce modèle. Si l’exploitabilité est plus haute, il reste davantage de marge d’amélioration.

Mais l’exploitabilité n’a de sens que par rapport au spot que tu as modélisé.

Si les ranges sont fausses, le chiffre peut être précis et pourtant trompeur. Si les sizings autorisés sont irréalistes, la réponse peut être mathématiquement cohérente mais stratégiquement bizarre. Si le rake, la profondeur ou la pression ICM manquent, le résultat peut être propre tout en ne correspondant pas à la vraie partie que tu joues.

Donc quand tu lis une sortie de solver, ne te demande pas seulement “est-ce exact ?”. Demande d’abord “est-ce le bon modèle ?”.

Ce que signifient vraiment les fréquences

Une sortie de solver affiche souvent des choses comme :

• mise 33 %
• check
• call
• raise
• fold

Ça ne veut pas dire que le solver pense que les humains feront ça en pratique. Ça veut dire que, dans le modèle, cette action représente cette part de la stratégie.

Voici un exemple simple d’arithmétique poker.

Si le pot fait 100 et que tu mises 50, le joueur qui paie investit 50 pour gagner 150 supplémentaires si l’action s’arrête là, car le pot fera alors 200 au total. Son équité minimale pour payer est donc :

50 / (100 + 50 + 50) = 25 %

Si tu fais face à cette mise, la fréquence minimale de défense est :

100 / (100 + 50) = 66,7 %

Ce chiffre ne vient pas du solver. C’est juste des maths de poker. Mais ça aide à comprendre pourquoi les solvers mélangent souvent mains de value et bluffs d’une façon qui met la pression sur la range de continuation adverse.

Un solver équilibre sans arrêt ces relations :

• combien d’équité de fold la mise crée
• combien de value les mains fortes gagnent
• combien d’équité les bluffs conservent
• à quelle fréquence l’adversaire doit défendre pour ne pas être exploité

Pourquoi un solver peut mélanger les actions

Au début, le mix paraît étrange. Pourquoi la même main miserait-elle parfois et checkerait-elle parfois ?

Parce que dans beaucoup de spots, aucune action n’est clairement meilleure. Dans un équilibre de Nash, une main ne mélange qu’entre des actions dont les EV sont exactement égales. Si l’une vaut ne serait-ce qu’un peu plus, elle est toujours choisie.

Ce mix sert à plusieurs choses :

• il garde la stratégie équilibrée
• il protège les mains fortes pour qu’elles ne deviennent pas trop lisibles
• il évite aux mains faibles de trop s’engager
• il rend l’adversaire indifférent sur certaines réponses

C’est l’un des plus gros malentendus sur les solvers. Ils ne disent pas forcément “fais toujours X”. Souvent, ils montrent que plusieurs actions sont indifférentes dans le modèle, et la répartition affichée n’est qu’une approximation numérique.

Les limites de ce qu’un solver peut dire

Un solver est puissant, mais il a des limites nettes.

Il ne peut pas connaître les actions futures des vrais adversaires, sauf si tu lui donnes ces tendances en entrée.

Il ne peut pas résoudre tous les sizings possibles dans toutes les lignes sans simplifier l’arbre.

Il ne capture pas toujours complètement :

• les pots multiway
• les profondeurs de tapis inhabituelles
• la dynamique des reads live
• les leaks de population hors modèle
• le coût du rake, s’il n’est pas inclus
• la pression ICM, si tu étudies des tournois sans l’intégrer
• les effets d’information cachée qui dépendent de toute l’historique de la main

Et il ne peut absolument pas jouer la main à ta place pendant que tu es en train de jouer. Un solver est un outil d’étude, pas un moteur de décision en temps réel.

Cette distinction est essentielle.

Un solver te dit ce qui est difficile à exploiter dans le modèle. Il ne te dit pas ce que fait réellement le field à tes limites, sauf si ce field fait partie du modèle.

Comment bien utiliser un solver

La meilleure façon d’utiliser un solver, ce n’est pas d’adorer sa réponse, mais de comprendre sa logique.

Demande-toi :

• Pourquoi cette main mise-t-elle ?
• Pourquoi cette autre main checke-t-elle ?
• Quelle partie de la range veut utiliser ce sizing ?
• Qu’est-ce qui change si je retire ce sizing ?
• Qu’est-ce qui change si j’élargis ou resserre la range préflop ?
• Que se passe-t-il si le rake ou l’ICM comptent ?

C’est là que l’apprentissage devient vraiment utile.

Et si tu veux étudier ce genre de questions loin des tables, le module Solver de Poker Exploit te donne la stratégie d’équilibre d’un spot à deux joueurs, y compris turn et river, avec la grille des 169 mains et les chiffres de résultat. Tu le lances hors session, et il refuse les mains de la session en cours.

La version courte

Un solver de poker transforme un spot en arbre de jeu, donne à chaque joueur des ranges et des actions autorisées, puis itère la stratégie jusqu’à s’approcher de l’équilibre.

Sa sortie n’est bonne qu’à la hauteur de ses entrées.

Son intérêt, ce n’est pas de prédire le futur. Son intérêt, c’est de te montrer la structure du spot, d’où vient l’argent et à quel point ta stratégie est difficile à exploiter.

Si tu apprends à bien lire un solver, tu arrêtes de penser en suppositions et tu commences à penser en ranges, en branches et en arbitrages. C’est une bien meilleure façon d’étudier le poker.