AIME 2025 II · 第 10 题
AIME 2025 II — Problem 10
题目详情
Problem
Sixteen chairs are arranged in a row. Eight people each select a chair in which to sit so that no person sits next to two other people. Let be the number of subsets of chairs that could be selected. Find the remainder when is divided by .
Video solution by grogg007
https://youtu.be/HVrZumyfADg
解析
Solution 1 (Recursion)
Notice that we can treat each chair as an empty space. If a person selects a chair, we fill in the corresponding space with a '': otherwise, we fill in the corresponding space with a ''. Since no person can sit to two other people (and two other people means having a person to your left and your right), that means that we can't have three people sitting in a row). So now the problem boils down to the following: we have a string of 's and 's of length , of which will be and of which will be . This string cannot have three consecutive 's in a row. We need to find the number of ways to construct this string.
Let's try recursion. The motivation for recursion is that and are relatively big numbers (the upper bound is choose which is over !) Also, many problems involving strings and counting with restrictions like 'three in a row' can usually be solved by breaking it up into smaller problems.
Define to be the number of ways to create a string of length with 's and 's such that we can't have three consecutive 's. We need to find .
So now we're going to take our recursive step, which usually involves splitting the string into two smaller strings. Suppose we split the string into two strings of length and . Also suppose that in the string of length there are 's (which means that in the string of length , there are 's. Now consider the first two digits in the string of length : we do casework on them.
In this case, we can imagine the string as _ _ _ _ ... _ _ | 0 0 _ _ ... _ _ where the vertical line | shows the split. To the left of the split, we can choose the string without constraints in ways since there are spaces and 's to place there. To the right of the , there are spaces and we still have to place , so this can be done in ways. Now choosing the left string and the right string are independent, so the number of ways in this case is
.
Now the split string looks something like _ _ _ _ ... _ _ | 0 1 _ _ ... _ _ . The number of ways to choose the string to the left remains unchanged: ways. Similarly, it would seem that the number of ways to choose the remainder of the string on the right is (just as in the previous case but we've used up one of the 's already). However we're overcounting, since if the remainder of the string on the right starts with 1 1 0 _ _ ... it makes a valid string by itself, but together with the 0 1 at the start, it makes 0 1 1 1 0, which is not allowed. Therefore we subtract the number of ways that we start with 0 1 1 1 0: there are spaces left and 's left to allocate, so we subtract . So the total in this case is
Now the split string looks something like _ _ _ _ ... _ _ | 1 0 _ _ ... _ _ . Now the number of ways to fill in the empty slots to the right is unconstrained as it's following a : there are spaces and 's to allocate, so this gives ways. Now for the left, we overcount just like in the previous case: filling 's in slots can be done in ways. However any way ending with 0 1 1 violates the three 's in a row rule since in the center we have 0 1 1 1 0. The number of violations is the number of ways to fill in the empty slots to the left of _ _ _ ... _ _ 0 1 1 |, which can be done in ways since we've already allocated 's and used up spaces. Therefore the total in this case is:
In this case, we have something like _ _ _ _ ... _ _ | 1 1 _ _ ... _ _ . Since we can't have three 's in a row, we can automatically fill 's in: _ _ _ _ ... _ 0 | 1 1 0 _ ... _ _ . Now the number of ways to fill in the spaces on the left is and the number of ways to fill in the spaces on the right is . So the number of ways for this case is
Now that we've finished casework, note that can be anything: at minimum can be zero, meaning that the string on the right has 's, and at maximum can be : the string is filled with 's. To encapsulate all of the cases of , we sum over the values of :
This is our recurrence relationship. But where do we make the split? The above formula works for any , but if we make the split too close to the end, we could end up having to make lots of computations: if we split the string into and , we'll have to compute , , etc. which could end up being a lot of work. We want to choose the best to minimize the number of computations to save time. If we split the string unequally, one side will be larger and that side will require more computations. Therefore, we split the string in half so we just need to compute values of less than .
So suppose and plug in , . Then the above recurrence relation becomes
Before we start with computations, let's state our base cases for recursion. Note that if and , . Otherwise if or or , . Also, , , , (the last one subtracting for the number of three 's in a row possible). Finally, for other cases of we don't want to use the earlier large recursive formula since we'll have to break those into many small components. Instead, we modify the formula so that . This should be fine as has already been broken down to at most , so these computations shouldn't balloon. Using , we get .
Let's start the computation through the earlier cases.
This is because for , since the best we can do without three in a row is 1 1 0 1 1 0, which is four 's, and it's impossible to achieve 's without three back to back. Also if makes , then makes . Similarly we can't fit 's in slots without three back-to-back, so can't be or . So must go from to . In future cases, I'll skip the explanation of why we tighten our bounds on since the reasoning is the same as here.
Applying the modified recurrence relation for , . Let's remember these for future computations: .
. . We'll remember , .
Lastly
Therefore
Rewrite
Putting it all together, in this case we have
Finally,
Now and .
Therefore,
Finally,
Thus the answer is
~KingRavi
Solution 2 and 3 Remark
There is a clarification for solution 2, but really solution 2 and 3 follow the same two main concepts. Casework and stars and bars. Solution 2 directly solves each case while solution 3 includes each case in its summation. ~Bigbrain_2009
Solution 2 (Casework)
Let's split the problem into a few cases:
Case 1: All people are sitting isolated (no person sits next to any of them):
Case 2: people are isolated, people sit next to each other (such that each person sits next to either or other person):
Case 3: people are isolated, people sit next to each other and other people sit next to each other with the groups of people not sitting next to each other (so each person still sits next to either or other person):
Case 4: people are isolated, people are split into groups of people, and no groups sit next to each other:
Case 5: groups of , no groups are sitting next to each other:
We have
~Mitsuihisashi14
Clarification for the chooses
For each case there are chairs taken by the people added with the number of chairs it takes to split the groups of people. For example, with groups of people sitting next to each other and groups of person, an example will be p p c p p c p c p c p c p. This results in there being chairs available to distribute (subtracting off the number of people and chairs seperating groups). By stars and bars with the bars being the groups of people, there will be ways to distribute the remaining chairs. In this case, . Then, you multiply by the number of ways the groups of two people sitting next to each other and groups of one person can be arranged. This would be the total number of groups choose the number of groups of two people. (To clarify the previous two sentences, you start with , , , , or groups depending on the case, each group being a single or pair, and you are choosing to make , , , , or of these groups into pairs instead of singles, respectively.) In this case, total groups choose groups of two people. Then, you multiply these two chooses because both arrangements are independent of each other and sum them over all cases!
~Bigbrain_2009
~ Clarification of clarification by Christian
Solution 3 (Stars-and-bars)
Let be the number of groups of adjacent people.
Clearly, there will be groups with people, and there are ways to select these groups.
Now, we use the stars-and-bars technique to find the number of ways to distribute the remaining chairs around the people. Since the groups are separated, we must choose chairs to place in between beforehand, leaving chairs to distribute among spots. Using stars-and-bars, we find that the number of ways to do this is .
Thus, the total number of arrangements is . Summing this from to yields .
~Pengu14
~ Edited by Christian
Video Solution
2025 AIME II #10
MathProblemSolvingSkills.com