Consider a two-player game. The players move in turns to pick either a month or a day. The winner is the player who picks the date December 31 ($12/31$). The following rules apply:
- The game starts at January 1 ($1/1$).
- The first player can increase the value of the month ($m>1$) or the value of the day ($d>1$), but not both.
- All subsequent moves involve raising the value of either the month or the day (but not both) of the previously chosen date.
- The amount of increase in either $m$ or $d$ can be anything as long as the result is a valid date. For example, if one player picks 1/30, then the next player can only choose from $m\in\{3,4,\dots,12\}$ or $d\in\{31\}$ (note that $m=2$ is not feasible); likewise, if one player chooses 5/31, the next player can only choose the month value $m\in\{7,8,10,12\}$.
I'd like to verify whether the following strategy guarantees winning of the first mover. If so, is this the unique winning strategy?
Let $(m_0,d_0)$ be the date picked by the previous player. I claim the following response function guarantees the winning of the first mover:
\begin{equation}R(m_0,d_0)=\begin{cases}(m_0,m_0+19) & \text{if }d_0<m_0+19\\[6pt](d_0-19,d_0) & \text{if }d_0\ge m_0+19\end{cases}\end{equation}
In words, this strategy says:
- If the day value is strictly less than the month value plus 19, raise the day value to that level (i.e. month value plus 19);
- If the day value is no less than the month value plus 19, raise the month value to the day value minus 19.