Heads-up Pot-Limit Omaha: the river, solved exactly

What the number means

A strategy pair is solved when neither player can win more by changing their play. How far a strategy is from that has a name: exploitability. Let an opponent see the strategy, play the best possible response to it, and count what they win; average that over both seats. Zero means nobody can beat it.

We compute that number exactly, not by sampling. The best response is worked out over every pair of hands the two players can hold (two hands meet only when they share no card) and every betting line of the river, each hand by itself. It’s the same yardstick researchers used when they declared heads-up limit hold’em “essentially solved” (Bowling et al., Science, 2015).

The result

Exploitability as a share of the 20 big blind pot. The hands: each seat’s range on that board.

Checking the check

A number from a solver about its own strategy is only as good as the code that computed it. So we checked it two separate ways.

• Matches

  A second program, written separately

  An independent checker in a different language reads only the solve’s saved strategy, each seat’s hands and each node’s chips. It rebuilds the river from the rules: the betting (a fold only facing a bet, every raise at least the last one or all in and at most the pot, the round closing on a call or a second check), two hands meeting only when they share no card, each hand’s best five cards from exactly two of its own and three of the board’s by its own hand evaluator, and the pot. Then it computes its own best responses.

  Spot	Exploitable: checker	solver	Button’s share: checker	solver
  A	0.0017%	0.0017%	13.776319	13.776319
  B	0.0065%	0.0065%	10.267096	10.267096
  C	0.0046%	0.0046%	9.068740	9.068740

  The three spots above, after 1,000 iterations, in big blinds. All 24 decisions of each matched the rules as the checker rebuilt them. Its hand evaluator holds to the exactly-two rule on known hands and agrees with checking every five-card hand on 2,000 random deals.

• Matches

  A spot with a textbook answer

  The river, the board K♠7♦2♣9♥3♦, with as much behind as the pot, so the one bet, the pot, is all in. The big blind holds a set of kings (3 hands, such as K♥K♦6♠5♠) or air that loses to the aces (8 hands, such as 10♠8♦6♥5♣); the button holds aces, A♥A♣Q♥J♣, which beat the air and lose to the set. Theory: bet every set and bluff 1.5 of the 8 air hands, so the aces call half the time, worth exactly 9/22 of the pot to the big blind. HydraSolver’s exact solve, after 1,000 iterations:

  Figure	Theory	HydraSolver
  Air that bluffs	18.750%	18.763%
  Aces call	50.000%	50.002%
  Big blind’s share of the pot	0.409091	0.409091

The river sims, for every other river

The exact solve takes a heads-up river with no strategy locked, when it fits in your computer’s memory. Every other river, three or more players among them, the app solves with its river sims, which group similar hands while they solve. On the same three spots, heads-up, at High detail and measured the same way, every hand by itself: after a million iterations, under 0.05% of the pot; after 4 million, under 0.03%.

Exploitability as a share of the pot after so many iterations. The same checker matched the river sims’ figures after a million and 4 million iterations.

The turn sims, by the turn test

A turn sim groups similar hands on the river while it solves. Its turn strategy gets the standard test for one street, the one postflop solvers quote for their flops: lock one seat’s turn strategy, solve the river exactly with the lock in place, and count what the locked seat gives up against the whole spot solved exactly. The river is played perfectly in the test, so it grades the turn alone.

On the same boards a card earlier, the same ranges and bets, the app’s turn sims at High detail after 2 million iterations: on all three, each seat’s turn strategy gives up between 0.048% and 0.255% of the pot.

Each seat’s turn locked in turn, the river solved exactly for 300 iterations. “Certainly between” is what the exact solves’ own accuracy allows: the true figure lies inside it.

What’s measured, and what isn’t

What HydraSolver gives you for Pot-Limit Omaha

• Flop, turn and river sims

  Pick the board, the ranges and the bet sizes, and the app solves the spot from the street you choose. A heads-up river solves exactly.

• Every Omaha game

  Four, five and six cards, high and hi-lo, pot limit or fixed limit, heads-up to multiway.

• Your own trees

  Set the stacks, bet sizes and raises for every street in the Tree Wizard. Pot-limit trees raise pot until the stack is in.

• Saved, on your machine

  Sims save and reopen like every other HydraSolver solve. It all runs on your own computer.