Maths Olympiad Prep

Library / /128 of 169

Combinatorics Difficulty 7.6 National Olympiad, round 2 Prove it United States

An animal with nn cells is a connected figure consisting of nn equal-sized square cells. Animals are also called polyominoes. They can be defined inductively. Two cells are adjacent if they share a complete edge. A single cell is an animal, and given an animal with nn-cells, one with n+1n+1 cells is obtained by adjoining a new cell by making it adjacent to one or more existing cells.

A dinosaur is an animal with at least 20072007 cells. It is said to be primitive if its cells cannot be partitioned into two or more dinosaurs. Find with proof the maximum number of cells in a primitive dinosaur.

Figure 1

Solution

First Solution: Let ss denote the minimum number of cells in a dinosaur; the number this year is s=2007s = 2007.

Claim: The maximum number of cells in a primitive dinosaur is 4(s1)+1=80254(s - 1) + 1 = 8025.

First, a primitive dinosaur can contain up to 4(s1)+14(s - 1) + 1 cells. To see this, consider a dinosaur in the form of a cross consisting of a central cell and four arms with s1s - 1 cells apiece. No connected figure with at least ss cells can be removed without disconnecting the dinosaur.

The proof that no dinosaur with at least 4(s1)+24(s - 1) + 2 cells is primitive relies on the following result.

Lemma Let DD be a dinosaur having at least 4(s1)+24(s - 1) + 2 cells, and let RR (red) and BB (black) be two complementary animals in DD, i.e., RB=R \cap B = \emptyset and RB=DR \cup B = D. Suppose Rs1|R| \le s - 1. Then RR can be augmented to produce animals R~R\tilde{R} \supset R and B~=DR~\tilde{B} = D \setminus \tilde{R} such that at least one of the following holds:

(i) R~s|\tilde{R}| \ge s and B~s|\tilde{B}| \ge s,

(ii) R~=R+1|\tilde{R}| = |R| + 1,

(iii) R<R~s1|R| < |\tilde{R}| \le s - 1.

Proof: If there is a black cell adjacent to RR that can be made red without disconnecting BB, then (ii) holds. Otherwise, there is a black cell cc adjacent to RR whose removal disconnects BB. Of the squares adjacent to cc, at least one is red, and at least one is black, otherwise BB would be disconnected. Then there are at most three resulting components C1,C2,C3C_1, C_2, C_3 of BB after the removal of cc. Without loss of generality, C3C_3 is the largest of the remaining components. (Note that C1C_1 or C2C_2 may be empty.) Now C3C_3 has at least (3s2)/3=s\lceil(3s - 2)/3\rceil = s cells. Let B~=C3\tilde{B} = C_3. Then R~=R+C1+C2+1|\tilde{R}| = |R| + |C_1| + |C_2| + 1. If B~3s2|\tilde{B}| \le 3s - 2, then R~s|\tilde{R}| \ge s and (i) holds. If B~3s1|\tilde{B}| \ge 3s - 1 then either (ii) or (iii) holds, depending on whether R~s|\tilde{R}| \ge s or not.

Starting with R=1|R| = 1, repeatedly apply the Lemma. Because in alternatives (ii) and (iii) R|R| increases but remains less than ss, alternative (i) eventually must occur. This shows that no dinosaur with at least 4(s1)+24(s - 1) + 2 cells is primitive.

Second Solution: (Based on Andrew Geng's solution) Let s=2007s = 2007. We claim that the answer is 4s3=80254s - 3 = 8025.

Consider a graph with the cells as the vertices and whose edges connect adjacent cells. Let TT be a spanning tree in this graph. By removing any vertex of TT, we obtain at most four connected components, which we call the limbs of the vertex. Limbs with at least ss vertices are called big. Suppose that every vertex of TT contains a big limb, then consider a walk on TT starting from an arbitrary vertex and always moving along the edge towards a big limb. Since TT is a finite tree, this walk must traverse back on some edge at some point. Then the two connected components of TT made by deleting this edge are both big, so they both contain at least ss vertices, which means that the dinosaur is not primitive. It follows that a primitive dinosaur contains some vertex with no big limbs. By removing this vertex, we get at most four connected components with at most s1s - 1 vertices each. This not only shows that a primitive dinosaur has at most 4s34s - 3 cells, but also shows that any such dinosaur consists of four limbs of s1s-1 cells each connected to a central cell. It is easy to see that such a dinosaur indeed exists.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.