A square is partitioned into unit squares. Each unit square is painted either white or black with each color being equally likely, chosen independently and at random. The square is then rotated clockwise about its center, and every white square in a position formerly occupied by a black square is painted black. The colors of all other squares are left unchanged. What is the probability the grid is now entirely black?
- A)
- B)
- C)
- D)
- E)
Answer
A
Key insight
The rotation splits the grid into the center and two 4-cycles; a square stays white only if its predecessor was white, so each 4-cycle needs no adjacent whites.
Solution
After the rotation, a position ends up black if the square that moved there is black, or if the square originally there was black (a white arrival is repainted). So a position stays white only when both it and the square rotating into it were white.
The rotation moves the four corners around in a cycle, moves the four edge squares around in a cycle, and fixes the center. These three groups are independent.
- Center: must be black, probability .
- Corners: label them in rotation order . Position ends white exactly when squares and are both white. So all four end black if and only if no two cyclically adjacent corners are both white. Count such colorings: zero whites ( way), one white ( ways), two whites that are opposite ( ways); three or more whites always include an adjacent pair. That is of the colorings, probability .
- Edges: the same cycle structure, probability .
Multiply:
The answer is .
Why this works
A symmetry operation partitions the squares into orbits, and the repainting rule only compares a square with its predecessor in the orbit. That converts a 9-square problem into two identical 4-cycle problems and a fixed point. Counting "no two adjacent whites around a cycle" is a small casework on the number of whites; recognizing that the condition is on adjacent pairs, not "at most one white," is the whole problem.
The trap
Requiring each 4-cycle to contain at most one white square (5 of 16) instead of allowing two non-adjacent whites, which gives 25/512 instead of 49/512.
Common mistakes
- Requiring each 4-cycle to contain at most one white square (5 of 16) instead of allowing two non-adjacent whites, which gives 25/512 instead of 49/512.
- Forgetting the center square, which contributes the factor and turns into .
Techniques
Split into exhaustive cases and handle each · Exploit symmetry to reduce work or pair up objects