# Difference between revisions of "1992 AIME Problems/Problem 12"

## Problem

In a game of Chomp, two players alternately take bites from a 5-by-7 grid of unit squares. To take a bite, a player chooses one of the remaining squares, then removes ("eats") all squares in the quadrant defined by the left edge (extended upward) and the lower edge (extended rightward) of the chosen square. For example, the bite determined by the shaded square in the diagram would remove the shaded square and the four squares marked by $\times.$ (The squares with two or more dotted edges have been removed form the original board in previous moves.)

The object of the game is to make one's opponent take the last bite. The diagram shows one of the many subsets of the set of 35 unit squares that can occur during the game of Chomp. How many different subsets are there in all? Include the full board and empty board in your count.

## Solution 1

By drawing possible examples of the subset, one can easily see that making one subset is the same as dividing the game board into two parts.

One can also see that it is the same as finding the shortest route from the upper left hand corner to the lower right hand corner; Such a route would require 5 lengths that go down, and 7 that go across, with the shape on the right "carved" out by the path a possible subset.

Therefore, the total number of such paths is $\binom{12}{5}=\boxed{792}$

## Solution 2

If any square is eaten, the squares to the right of it must also be eaten. Thus, if $a_i$ is the number of squares remaining on row $i$, there is exactly one way the row can be configured (the leftmost $a_i$ squares are uneaten and the ones to the right are eaten.) Additionally, the squares above an eaten square must be eaten, so $\{a_i\}$ is nondecreasing. We can thus write $0 \leq a_1 \leq a_2 \leq \dots \leq a_5 \leq 7$; the number of sequences $\{a_i\}$ satisfying this inequality may be found by Stars and Bars to be $\binom{7+6-1}{6-1} = \boxed{792}$.

## Links to Branches of Mathematics

This question is one case of the problem of counting order ideals or antichains in posets. Specifically, it ask for the number of order ideals of the product poset of the chain of length $4$ and the chain of length $6$.

The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions. 