1988 AIME Problem 15
Attempt Problem 15 of the 1988 AIME below, then check your answer against the professionally curated solution from LIVE by Po-Shen Loh. You can also try the full timed exam, view all 1988 AIME solutions, or check the answer key.
All problems are used with official legal permission of the Mathematical Association of America (MAA).
15.
In an office at various times during the day, the boss gives the secretary a letter to type, each time putting the letter on top of the pile in the secretary’s in-box. When there is time, the secretary takes the top letter off the pile and types it. There are nine letters to be typed during the day, and the boss delivers them in the order
While leaving for lunch, the secretary tells a colleague that letter has already been typed, but says nothing else about the morning’s typing. The colleague wonders which of the nine letters remain to be typed after lunch and in what order they will be typed. Based upon the above information, how many such after-lunch typing orders are possible? (That there are no letters left to be typed is one of the possibilities.)
Answer: 704
Small Hint:
After has been typed, any remaining letters among must later be typed in decreasing order
Big Hint:
Separate the cases according to whether was typed before lunch or remains to be inserted into the later order
Solution:
Any subset of can remain in the stack after has been typed, and those remaining letters must later be typed in decreasing order. If was already typed, choosing that subset gives possible orders.
If remains, choose of the seven smaller letters and insert into any of the positions in their decreasing order. This gives Every such order can be realized by suitable morning choices, so the total is
Problem 15 in Other Years
1983 AIME · 1984 AIME · 1985 AIME · 1986 AIME · 1987 AIME · 1989 AIME · 1990 AIME · 1991 AIME · 1992 AIME · 1993 AIME · 1994 AIME · 1995 AIME · 1996 AIME · 1997 AIME · 1998 AIME · 1999 AIME · 2000 AIME I · 2000 AIME II · 2001 AIME I · 2001 AIME II · 2002 AIME I · 2002 AIME II · 2003 AIME I · 2003 AIME II · 2004 AIME I · 2004 AIME II · 2005 AIME I · 2005 AIME II · 2006 AIME I · 2006 AIME II · 2007 AIME I · 2007 AIME II · 2008 AIME I · 2008 AIME II · 2009 AIME I · 2009 AIME II · 2010 AIME I · 2010 AIME II · 2011 AIME I · 2011 AIME II · 2012 AIME I · 2012 AIME II · 2013 AIME I · 2013 AIME II · 2014 AIME I · 2014 AIME II · 2015 AIME I · 2015 AIME II · 2016 AIME I · 2016 AIME II · 2017 AIME I · 2017 AIME II · 2018 AIME I · 2018 AIME II · 2019 AIME I · 2019 AIME II · 2020 AIME I · 2020 AIME II · 2021 AIME I · 2021 AIME II · 2022 AIME I · 2022 AIME II · 2023 AIME I · 2023 AIME II · 2024 AIME I · 2024 AIME II · 2025 AIME I · 2025 AIME II · 2026 AIME I · 2026 AIME II