Did anyone ever participate in the Putnam math competition? What'd you think?

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!

My current understanding:

The way the game is written, for any particular nonwinning sum at the end of my turn, my opponent has one theoretical card that can be played to win. If there are ten cards, if I end my turn at 11, I win; but if I end it at 12, my opponent must play a 10 to win, and if I end at 13, they must play a 9, and so on.

Call the sum at the end of my turn the “end-sum”; the card I play is the “sum determiner”; the card they must play to win is the “winning card.”

Each card is unique. I can choose among my cards which sum determiner to play, giving a unique end-sum for each choice, and requiring a unique winning card.

I have one more sum determiner than they have potential winning cards. If I have five cards left in my hand, that’s five different possible end sums. And they only have four cards. I can choose the end sum for which they lack the winning card.