In each cell of a grid, one of the two diagonals is drawn uniformly at random. Compute the probability that the resulting 32 triangular regions can be colored red and blue so that any two regions sharing an edge have different colors.
Solution
Give each cell coordinates from to . Claim. The grid has a desired coloring if and only if every vertex not on the boundary meets an even number of edges and diagonals. Proof. If this were not the case, the odd number of regions around the vertex would have to alternate between the two colors, which is clearly impossible. In the event that every vertex has an even number of incident edges, it is not hard to show that the grid is always colorable. We claim the diagonals drawn in the cells of form and for uniquely determine the rest (for a valid coloring to exist). Indeed, given the diagonals for any three cells around a vertex, we can uniquely determine the fourth one using the parity in the claim above. If are fixed, so is ; likewise so are and , etc. until the whole grid is fixed. The solid lines force the dotted lines as described above. Thus, once the seven cells along the top row and leftmost column are determined, the remaining nine have a chance of being selected in a way that admits a coloring.