About two years ago, I started thinking about the following problem: You're given an $N$ and an $S$, positive integers. You start with an $N$-gon that has positive integer labels at each vertex, such that the labels sum to $S$. A "move" is replacing the label at some vertex with the positive difference of the labels at its two adjacent vertices. You win if you can exhibit a sequence of moves such that all of the vertex labels are zero at the end.
This is a generalization of 2003 USAMO problem B3,
"A positive integer is written at each vertex of a hexagon. A move is to replace a number by the (non-negative) difference between the two numbers at the adjacent vertices. If the starting numbers sum to $2003^{2003}$, show that it is always possible to make a sequence of moves ending with zeros at every vertex."
The USAMO problem itself can be answered in the affirmative by doing a modified greedy algorithm for most of the moves, showing there's always a move where you can reduce the problem to a smaller sum while changing the parities systematically, then doing casework for the "end game" to show that each configuration of 1's and 0's (or k's and zeros, the cases are of course equivalent) can be gotten down to all zeros.
It's easy to check that for $n=4$ and $S$ odd, there's a winning strategy. I have lots of simulation/numerical evidence and some half baked ideas to suggest that, in general, there's a winning strategy if and only if $N$ and $S$ have opposite parities. But in two years of coming back to it on and off, I haven't really made progress. It's open, as far as I know, though I knew that more surely two years ago than I do now.
Ideas?