NMC 2024 Problem 4

Alice and Bob are playing a game. First, Alice chooses a partition $\mathcal{C}$ of the positive integers into a (not necessarily finite) set of sets, such that each positive integer is in exactly one of the sets in $\mathcal{C}$. Then Bob does the following operation a finite number of times. Choose a set $S \in \mathcal{C}$ not previously chosen, and let $D$ be the set of all positive integers dividing at least one element in $S$. Then add the set $D \backslash S$ (possibly the empty set) to $\mathcal{C}$. Bob wins if there are two equal sets in $\mathcal{C}$ after he has done all his moves, otherwise, Alice wins. Determine which player has a winning strategy.