A look at the heuristic
The heuristic, copied from that topic.
zermelo wrote:
The 3-move tsumego rule: Assume that the problem is black to kill. Now let A, B, C be such intersections that if white would start at A, the only way for black to kill with 2 moves would be playing both B and C. Now the solution to the original problem has to start with black play at A, B, or C.
- Click Here To Show Diagram Code
[go]$$Bc Case 1
$$ --------------
$$ | . . . . . . .
$$ | X X X X . . .
$$ | B O O . X . .
$$ | B . W O X . .
$$ | O O O X X . .
$$ | . O X . . . .
$$ | O O X . . . .
$$ | . X X . . . .
$$ | . . . . . . .
$$ | . . . , . . .[/go]
If

, both of

are necessary to kill. So

must be one of these.
- Click Here To Show Diagram Code
[go]$$Bc Case 2
$$ --------------
$$ | . . . . . . .
$$ | X X X X . . .
$$ | B O O B X . .
$$ | . W . O X . .
$$ | O O O X X . .
$$ | . O X . . . .
$$ | O O X . . . .
$$ | . X X . . . .
$$ | . . . . . . .
$$ | . . . , . . .[/go]
Ditto. The only common point is A-17, so

must play there.
- Click Here To Show Diagram Code
[go]$$Bc Case 3?
$$ --------------
$$ | . . . . . . .
$$ | X X X X . . .
$$ | . O O B X . .
$$ | W . B O X . .
$$ | O O O X X . .
$$ | . O X . . . .
$$ | O O X . . . .
$$ | . X X . . . .
$$ | . . . . . . .
$$ | . . . , . . .[/go]
This is not actually a case, because . . .
- Click Here To Show Diagram Code
[go]$$Bc Case 3x
$$ --------------
$$ | . . . . . . .
$$ | X X X X . . .
$$ | B O O . X . .
$$ | W . B O X . .
$$ | O O O X X . .
$$ | . O X . . . .
$$ | O O X . . . .
$$ | . X X . . . .
$$ | . . . . . . .
$$ | . . . , . . .[/go]
This also kills, because of White's shortage of liberties.
- Click Here To Show Diagram Code
[go]$$Bc Case 3??
$$ --------------
$$ | . . . . . . .
$$ | X X X X . . .
$$ | B O O W X . .
$$ | . B . O X . .
$$ | O O O X X . .
$$ | . O X . . . .
$$ | O O X . . . .
$$ | . X X . . . .
$$ | . . . . . . .
$$ | . . . , . . .[/go]
This is also not a case.
- Click Here To Show Diagram Code
[go]$$Bc Case 3xx
$$ --------------
$$ | . . . . . . .
$$ | X X X X . . .
$$ | . O O W X . .
$$ | B B . O X . .
$$ | O O O X X . .
$$ | . O X . . . .
$$ | O O X . . . .
$$ | . X X . . . .
$$ | . . . . . . .
$$ | . . . , . . .[/go]
This also kills.
Finally.
- Click Here To Show Diagram Code
[go]$$Bc White life
$$ --------------
$$ | . . . . . . .
$$ | X X X X . . .
$$ | W O O . X . .
$$ | . . . O X . .
$$ | O O O X X . .
$$ | . O X . . . .
$$ | O O X . . . .
$$ | . X X . . . .
$$ | . . . . . . .
$$ | . . . , . . .[/go]
If

, White lives, even if Black plays two moves in a row.

must be at A-17.
All of this information is available after depth first search at depth 3, except the necessity of both Black stones, given

. We can check that, however, with another White play, i.e., with a depth 4 sequence. To do so we do not have to do a full depth 4 search. (If neither is necessary, then White will die at depth 3, given

and two different Black plays.)
- Click Here To Show Diagram Code
[go]$$Bc White dies at depth 3
$$ --------------
$$ | . . . . . . .
$$ | X X X X . . .
$$ | 1 O O 3 X . .
$$ | . 2 . O X . .
$$ | O O O X X . .
$$ | . O X . . . .
$$ | O O X . . . .
$$ | . X X . . . .
$$ | . . . . . . .
$$ | . . . , . . .[/go]
Assuming that we recognize that White is dead without further search, we can check whether

is necessary, given

, by the following sequence.
- Click Here To Show Diagram Code
[go]$$Bc White lives at depth 4
$$ --------------
$$ | . . . . . . .
$$ | X X X X . . .
$$ | 1 O O 4 X . .
$$ | 3 2 . O X . .
$$ | O O O X X . .
$$ | . O X . . . .
$$ | O O X . . . .
$$ | . X X . . . .
$$ | . . . . . . .
$$ | . . . , . . .[/go]
And we can check whether

is necessary, given

with the following sequences.
- Click Here To Show Diagram Code
[go]$$Bc White lives at depth 4
$$ --------------
$$ | . . . . . . .
$$ | X X X X . . .
$$ | 4 O O 1 X . .
$$ | 3 2 . O X . .
$$ | O O O X X . .
$$ | . O X . . . .
$$ | O O X . . . .
$$ | . X X . . . .
$$ | . . . . . . .
$$ | . . . , . . .[/go]
- Click Here To Show Diagram Code
[go]$$Bc White lives at depth 4
$$ --------------
$$ | . . . . . . .
$$ | X X X X . . .
$$ | 4 O O 1 X . .
$$ | . 2 3 O X . .
$$ | O O O X X . .
$$ | . O X . . . .
$$ | O O X . . . .
$$ | . X X . . . .
$$ | . . . . . . .
$$ | . . . , . . .[/go]
Edit: I realized that we have to check both plays for

.
Neither of these depth 4 sequences fits neatly into the category of iterative deepening or iterative broadening, although the verification sequence is one step deeper and one step wider.
- Click Here To Show Diagram Code
[go]$$Bc White dies at depth 3, II
$$ --------------
$$ | . . . . . . .
$$ | X X X X . . .
$$ | 1 O O . X . .
$$ | 3 . 2 O X . .
$$ | O O O X X . .
$$ | . O X . . . .
$$ | O O X . . . .
$$ | . X X . . . .
$$ | . . . . . . .
$$ | . . . , . . .[/go]
Now to check whether

is necessary, given

.
- Click Here To Show Diagram Code
[go]$$Bc White lives at depth 4, II
$$ --------------
$$ | . . . . . . .
$$ | X X X X . . .
$$ | 4 O O 3 X . .
$$ | 1 . 2 O X . .
$$ | O O O X X . .
$$ | . O X . . . .
$$ | O O X . . . .
$$ | . X X . . . .
$$ | . . . . . . .
$$ | . . . , . . .[/go]
- Click Here To Show Diagram Code
[go]$$Bc White lives at depth 4, II
$$ --------------
$$ | . . . . . . .
$$ | X X X X . . .
$$ | 4 O O . X . .
$$ | 1 3 2 O X . .
$$ | O O O X X . .
$$ | . O X . . . .
$$ | O O X . . . .
$$ | . X X . . . .
$$ | . . . . . . .
$$ | . . . , . . .[/go]
Edit: Added later.

is necessary, given

.
The only point common to both triplets is A-17, which must then be Black's first move. We discovered that with only five (Edit: I can't count.

) sequences at depth 4. When this happens it is a more efficient way to discover Black's first move than iterative deepening, which requires several depth 4 sequences.

Edit: Note that we cannot check necessity simply by changing the color of the Black stones. For instance:
- Click Here To Show Diagram Code
[go]$$Bc White dies
$$ --------------
$$ | . . . . . . .
$$ | X X X X . . .
$$ | . O O B X . .
$$ | W . B O X . .
$$ | O O O X X . .
$$ | . O X . . . .
$$ | O O X . . . .
$$ | . X X . . . .
$$ | . . . . . . .
$$ | . . . , . . .[/go]
- Click Here To Show Diagram Code
[go]$$Bc White lives
$$ --------------
$$ | . . . . . . .
$$ | X X X X . . .
$$ | . O O W X . .
$$ | W . B O X . .
$$ | O O O X X . .
$$ | . O X . . . .
$$ | O O X . . . .
$$ | . X X . . . .
$$ | . . . . . . .
$$ | . . . , . . .[/go]
- Click Here To Show Diagram Code
[go]$$Bc White lives
$$ --------------
$$ | . . . . . . .
$$ | X X X X . . .
$$ | . O O B X . .
$$ | W . W O X . .
$$ | O O O X X . .
$$ | . O X . . . .
$$ | O O X . . . .
$$ | . X X . . . .
$$ | . . . . . . .
$$ | . . . , . . .[/go]