返回题库

AIME 2013 II · 第 11 题

AIME 2013 II — Problem 11

专题
Contest Math
难度
L4
来源
AIME

题目详情

Problem 11

Let A={1,2,3,4,5,6,7}A = \{1, 2, 3, 4, 5, 6, 7\}, and let NN be the number of functions ff from set AA to set AA such that f(f(x))f(f(x)) is a constant function. Find the remainder when NN is divided by 10001000.

解析

Solution 1

Any such function can be constructed by distributing the elements of AA on three tiers.

The bottom tier contains the constant value, c=f(f(x))c=f(f(x)) for any xx. (Obviously f(c)=cf(c)=c.)

The middle tier contains kk elements xcx\ne c such that f(x)=cf(x)=c, where 1k61\le k\le 6.

The top tier contains 6k6-k elements such that f(x)f(x) equals an element on the middle tier.

There are 77 choices for cc. Then for a given kk, there are (6k)\tbinom6k ways to choose the elements on the middle tier, and then k6kk^{6-k} ways to draw arrows down from elements on the top tier to elements on the middle tier.

Thus N=7k=16(6k)k6k=7399N=7\cdot\sum_{k=1}^6\tbinom6k\cdot k^{6-k}=7399, giving the answer 399\boxed{399}.

Solution 1 Clarified

Define the three layers as domain xx, codomain f(x)f(x), and codomain f(f(x))f(f(x)). Each one of them is contained in the set AA. We know that f(f(x))f(f(x)) is a constant function, or in other words, can only take on one value. So, we can start off by choosing that value cc in 77 ways. So now, we choose the values that can be f(x)f(x) for all those values should satisfy f(f(x))=cf(f(x))=c. Let SS be that set of values. First things first, we must have cc to be part of SS, for the SS is part of the domain of xx. Since the values in iSi\in S all satisfy f(i)=cf(i) = c, we have cc to be a value that f(x)f(x) can be. Now, for the elements other than 55:

If we have kk elements other than 55 that can be part of SS, we will have (6k)\binom{6}{k} ways to choose those values. There will also be kk ways for each of the elements in AA other than cc and those in set SS (for when function ff is applied on those values, we already know it would be cc). There are 6k6-k elements in AA other than cc and those in set SS. Thus, there should be k6kk^{6-k} ways to match the domain xx to the values of f(x)f(x). Summing up all possible values of kk ([1,6][1,6]), we have

k=16(6k)k6k=61+1516+2027+1516+65+1=1057\sum_{k=1}^6 \binom{6}{k} k^{6-k} = 6\cdot 1 + 15\cdot 16 + 20\cdot 27 + 15\cdot 16 + 6\cdot 5 + 1 = 1057 Multiplying that by the original 77 for the choice of cc, we have 71057=7399.7 \cdot 1057 = 7\boxed{399}.

Solution 2

It is clear that we must have one fixed point (that is, f(x)=xf(x)=x). WLOG, let x=1x=1 be a fixed point, so f(1)=1f(1)=1.

Now, let's do casework on how many of the inputs 2,3,4,5,6,72, 3, 4, 5, 6 ,7 leads to 11. Generally, if some values in that aforementioned list leads to 11, then running it in the function again will yield 11. All other values must be the the values that leads to 11.

For example:

Case 1:\textbf{Case 1:} All 66 of 2,3,4,5,6,72, 3, 4, 5, 6, 7 lead to 11. In this case, there is only 11 way.

Case 2:\textbf{Case 2:} 55 of 66 of 2,3,4,5,6,72, 3, 4, 5, 6, 7 lead to 11. In this case, we choose 55 of the 66 to lead to 11: (65)6\choose5.

Then, the other value that does not lead to 11 should be one of the values that do: 55 ways.

(65)5\binom{6}{5}\cdot5

Case 3:\textbf{Case 3:} 44 of 66 lead to 11. Choose which lead to 11: (64)6\choose4 then the other values: 424^2 ways

(64)42\binom{6}{4}\cdot4^2

Case 4:\textbf{Case 4:} 33 of 66 lead to 11. (63)33\binom{6}{3}\cdot3^3

Case 5:\textbf{Case 5:} 22 of 66 lead to 11. (62)24\binom{6}{2}\cdot2^4

Case 6:\textbf{Case 6:} 11 of 66 lead to 11. (61)15\binom{6}{1}\cdot1^5

Adding up all the cases, we have 10571057 cases. But don't forget to account for the WLOG and multiply by 77, yielding us the final answer of 7399.7\boxed{399}.

~xHypotenuse

Solution 3 (casework on range)

Let kk be the element of set AA such that f(f(a))=kf(f(a))=k for all aAa \in A. There are 77 ways to choose kk, and without loss of generality we can choose k=1k=1.

Denote by RR the range of ff. For any rRr \in R, there exists aAa \in A such that f(a)=rf(a)=r so f(f(a))=f(r)=1f(f(a))=f(r)=1.

Now we casework on the size of RR.

Case 1:R=1\textbf{Case 1:} |R|=1.

The only element in RR is 11, so there is only 11 function in this case (f(x)=1f(x)=1 for all xx).

Case 2:R=2\textbf{Case 2:} |R|=2.

There are 66 ways to choose the other element of RR. WLOG, let this element be 22. We have f(1)=f(2)=1f(1)=f(2)=1. For the other 55 elements eAe \notin A, there are 22 ways to determine f(e)f(e) for every ee, so there are 252^5 functions ff. However, the function f(x)1f(x) \equiv 1 is excluded, as 22 is in the range but there exists no aa such that f(a)=2f(a)=2. Therefore, there are 6(251)=1866 \cdot (2^5-1)=186 functions in this case.

Case 3:R=3\textbf{Case 3:} |R|=3.

There are (62)\binom{6}{2} ways to choose the other 22 elements of RR. WLOG, let these elements be 22 and 33. We have f(1)=f(2)=f(3)=1f(1)=f(2)=f(3)=1. For the other 44 elements eAe \notin A, there are 33 ways to determine f(e)f(e) for every ee, so there are 343^4 functions ff. However, the 242^4 functions that do not include 22 in its range are excluded, and the 242^4 functions that do not include 33 in its range are also excluded. However, we have eliminated the function that excludes both 22 and 33 from its range, namely f(x)1f(x) \equiv 1, twice, so we must add 11 back. Therefore, there are (62)(342424+1)=750\binom{6}{2}(3^4-2^4-2^4+1)=750 functions in this case.

Case 4:R=4\textbf{Case 4:} |R|=4.

There are (63)\binom{6}{3} ways to choose the other 33 elements of RR. WLOG, let these elements be 2,3,42, 3, 4. We have f(1)=f(2)=f(3)=f(4)=1f(1)=f(2)=f(3)=f(4)=1. For e{5,6,7}e \in \{5, 6, 7\}, if f(e)=1f(e)=1, then at least one of 2,3,42, 3, 4 will not be included in the range of ff. Therefore, each of 5,6,75, 6, 7 must be mapped to a distinct element of 2,3,42, 3, 4, so there are 3!3! ways to achieve this. Finally, the number of functions in this case is (63)(3!)=120\binom{6}{3}(3!)=120.

Finally, we add up all the cases to get 10571057 functions. However, this assumes 11 is the constant value, but there are 77 different possible constant values. Therefore, the final answer is 10577=73991057 \cdot 7 = 7399 which when divided by 10001000 gives a remainder of 399\boxed{399}.

~primenumbersfun

Video Solution

https://youtu.be/aaO7abKG0BQ?si=KLfz6oyzVR0d8D13

~MathProblemSolvingSkills.com