Let me try a). The final position has white pieces/pawn that require at least 9 moves. All white pieces captured are pawns. At least one of these pawns must have moved before being captured, to allow white to play his first moves, because black needs more than 2 moves to capture a pawn on it's original square. White has only 2 moves available wihtout pawn moves or capture, so, white made at least 10 moves. Like:
b) looks more complicated. The last (black) move must have been a pawn move (h7-h5 or h6-h5). It could not have been the knight on c8 because the white could would be in check before the move. Hence, the rook has been captured by a white knight, either on h8 or on h7 (after h7-h6 and Rh8-h7). The capture on h7 has the advantage of being 'closer' to the knight from b1. Disadvantage is that black has to spend 2 tempi at the start of the game despite the need for an early capture of the d- or e-pawn. Therefor I looked at the alternative and used the other knight to do the trip back and forth to h8. This is what I have at the moment:
Originally posted by Mephisto2 b) looks more complicated. The last (black) move must have been a pawn move (h7-h5 or h6-h5). It could not have been the knight on c8 because the white could would be in check before the move. Hence, the rook has been captured by a white knight, either on h8 or on h7 (after h7-h6 and Rh8-h7). The capture on h7 has the advantage of being 'closer' to the kn ...[text shortened]... 2 15.Nf3 Nf4 16.Ng1 Nh3 17.Rxh3 h5.
Anyone has shorter and/or more fundamental explanation?
There is one other possibility for Black's last move: ...g6xh5! This saves three full moves.
However, I don't much like that solution because at the end, Black's Rook is just killing time. Perhaps there is a way to save yet more moves.
Nicely done, much better than my solution. But you are right, there must be something else (or more), because your idea leads to multiple solutions, for instance
The problem is by Michel Caillaud, Probleemblad, Jan. 2000.
It shows a record in difference (3.5 moves) between the shortest proof game with white and the shortest proof game with black to move, where both proof games are dual-free.