USAMO 2025 Problem 3
- Day 1
Alice the architect and Bob the builder play a game. First, Alice chooses two points and in the plane and a subset of the plane, which are announced to Bob. Next, Bob marks infinitely many points in the plane, designating each a city. He may not place two cities within distance at most one unit of each other, and no three cities he places may be collinear. Finally, roads are constructed between the cities as follows: for each pair of cities, they are connected with a road along the line segment if and only if the following condition holds: [center]For every city distinct from and , there exists such that is directly similar to either or .[/center] Alice wins the game if (i) the resulting roads allow for travel between any pair of cities via a finite sequence of roads and (ii) no two roads cross. Otherwise, Bob wins. Determine, with proof, which player has a winning strategy.
Note: is directly similar to if there exists a sequence of rotations, translations, and dilations sending to , to , and to .
Dataset text AI-MO AoPS. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.