Alice and Bob play the following game: on a table there is a regular $n$-gon. On each person's turn, they are required to place a circle of radius $r$ fully in the interior of the $n$-gon such that it does not overlap with any previously placed circles. If they cannot place a circle on their turn, they lose. For what values of $n$ does Alice or Bob have a winning strategy, assuming Alice goes first, and what is the strategy?
To give some context, I've never taken a game theory course before, so right off the bat I don't know how to "prove" anything here. Any help would be appreciated, and if my work so far is correct, some notion on how to formalize it and make it presentable would be fantastic.
I conjecture that for even $n$, Alice has a winning strategy.
On her first turn Alice will place a circle whose center coincides with the center of the $n$-gon. Alice will continue her turns as follows: when Bob places a circle, Alice will place a circle such that the center of the $n$-gon is the midpoint between Bob's circle's center and Alice's circle's center.
I argue that Alice will always have a circle to play. Let's say that Bob makes a move such that Alice cannot conduct her strategy. This would mean that previously some of the space occupied by Alice's would-be move was taken up. However, given Alice's strategy, this would mean some of the space occupied by Bob's winning move was also taken up, meaning Bob's winning move is nonexistent.
This strategy does not work for odd $n$ because reflecting across the center of the $n$-gon may put you outside of the interior region. I'm not sure if Bob has a winning strategy in this case. Because it is not necessarily advantageous to place one's first move in the center of the $n$-gon, Alice's first move can be anywhere. And I can't make a pretty WLOG statement about how the game progresses after her first move.