Maths Olympiad Prep

Library / /53 of 69

Combinatorics Difficulty 6.7 National olympiad Prove it Mongolia

Let nn be a positive integer. Consider an n×nn \times n chessboard with certain cells colored green. A rook can be placed on any green cell and moves only to other green cells, changing its direction horizontally and vertically with each subsequent move. It is important to note that remaining in the same cell is not considered a valid move. It is known that a rook cannot return to its starting cell within six moves. Prove that the number of green cells on the chessboard is less than 2n(1+n3)2n(1 + \sqrt[3]{n}).

Solution

Let NN be the number of green cells. Let's construct a bipartite graph GG on nn rows and nn columns that ii-th row connects jj-th column iff the cell at the intersection of ii-th row and jj-th column is colored green. This graph has NN edges and contains no cycles of length greater than six. Now let's prove that N<2n(1+n3)N < 2n(1 + \sqrt[3]{n}).

Let t=N2nt = \frac{N}{2n}. The average degree of the vertices of graph GG is 2t2t. Let us first prove the following lemma.

Lemma. A graph with average degree 2t2t contains a subgraph with minimum degree at least tt.

Proof. If there exists a vertex in the graph with a degree less than tt, we delete that vertex. This operation increases the average degree of the remaining subgraph. As the nominator and the denominator decrease, the algorithm is guaranteed to terminate. The resulting subgraph will satisfy the desired property. □

The lemma guarantees the existence of a subgraph GG' such that its minimum degree is at least tt. Now let uu be an arbitrary vertex of GG' and AkA_k be the set of all the vertices of GG' whose distance to uu equals kk, then A1t|A_1| \ge t. GG' contains no cycles of length four and six implies that A2A1(t1)|A_2| \ge |A_1|(t-1) and A3A2(t1)|A_3| \ge |A_2|(t-1). The vertices of A1A_1 and A3A_3 are in the same pole, so t(t1)2+tnt(t-1)^2 + t \le n. It follows that t1<n3t - 1 < \sqrt[3]{n} which is equivalent to N<2n(1+n3)N < 2n(1 + \sqrt[3]{n}).

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.