MathDB
A game but is this already set up?

Source: INAMO 2015 Shortlist C9

December 30, 2018
combinatoricsGame Theory

Problem Statement

Given 2015 balls. Astri and Budi will play a game. At first, Astri will choose two different numbers aa and bb from the set S={1,2,3,,30}S = \{ 1, 2, 3, \dots, 30 \}. Budi will then choose another 2 different numbers cc and dd from the remaining 28 numbers in set SS.
By taking turns, starting from Astri, they take balls with the following rules: (1) Astri could only take aa or bb balls. (2) Budi could only take cc or dd balls. until someone couldn't take any balls satisfying the condition given (and that person will lose).
Prove that Budi could choose c,dc,d such that he has a strategy to ensure his victory on this game.