I think the simplest way to put it is: whenever it is A’s turn, no matter what card A plays B can respond so as to prevent A from winning on the next turn.
Whatever A chooses to play, it will be B’s turn; A has k-1 cards in hand and B has k. That means B can leave k different totals while at most k-1 of these allow A to win.
For DPRK, k = (n/2), and I’ll tweak it just a little:I think the simplest way to put it is: whenever it is A’s turn, no matter what card A plays B can respond so as to either win immediately, or prevent A from winning on the next turn.
But I’m not sure if DPRK’s is a definitive proof. Is it? For all n? The following shows that B always wins for n = 1 and for n = 2. Furthermore, for n = 1 and n = 2, it is impossible for A to win. B must be the winner, even if B can misplay its hand.
For n = 1, regardless of what A plays, either a 1 or a 2 (the only cards in the deck), B’s play results in Σ = 3 and B wins. Trivial, but important to show. If it is true that the same player must win regardless of n, then this proves B always wins for any n, because B wins for n = 1, and the proof is complete.
Continuing, for n = 2, A can have one of six possible hands: (1,2), (1,3), (1,4), (2,3), (2,4), and (3,4).
[ul]
[li]If A(1,2) plays either 1 or 2, respectively, then B(3,4) plays either 4 or 3, respectively. Σ = 5 and B wins.[/li][li]If A(1,3) plays either 1 or 3, respectively, then B(2,4) plays either 4 or 2, respectively. Σ = 5 and B wins.[/li][/ul]
A(1,4) is just a little more complicated…
[ul]
[li]If A(1,4) plays 1, then regardless of what B(2,3) plays, either the Σ = 3 or Σ = 4. A then plays 4. Still no winner. With B’s remaining play, Σ = 10 and B wins.[/li][li]If A(1,4) plays 4, then regardless of what B(2,3) plays, either the Σ = 6 or Σ = 7. A then plays 1. Still no winner. With B’s remaining play, Σ = 10 and B wins.[/li][/ul]
Similarly for A(2,3), A(2,4), and A(3,4), B always wins:
[ul]
[li]Note that for {A(2,3), B(1,4)} each of their hands sum to the winning total, as for {A(1,4), B(2,3)} above – B can only win after all four cards are played, and as above it is impossible for A to win. B must win.[/li][li]Also note that for {A(2,4), B(1,3)} and for {A(3,4), B(1,2)}, as for A(1,2) and A(1,3) above, regardless of what A plays, B wins on the very next play. Even if B misplays, it is impossible for A to win. Again, B must win[/li][/ul]
Therefore, for n = 2, B always wins. Not only that, but A can never win – B must win, even if B misplays the game.
This is a brute force approach. There’s probably a more elegant proof!