AIME 2025 II · 第 8 题
AIME 2025 II — Problem 8
题目详情
Problem
From an unlimited supply of -cent coins, -cent coins, and -cent coins, Silas wants to find a collection of coins that has a total value of cents, where is a positive integer. He uses the so-called , successively choosing the coin of greatest value that does not cause the value of his collection to exceed . For example, to get cents, Silas will choose a -cent coin, then a -cent coin, then -cent coins. However, this collection of coins uses more coins than necessary to get a total of cents; indeed, choosing -cent coins and -cent coins achieves the same total value with only coins.
In general, the greedy algorithm succeeds for a given if no other collection of -cent, -cent, and -cent coins gives a total value of cents using strictly fewer coins than the collection given by the greedy algorithm. Find the number of values of between and inclusive for which the greedy algorithm succeeds.
解析
Solution 1
We begin by noting that all values of work without issue.
Starting from to , the greedy algorithm will select the -cent coin, and no problem arises.
From to , the greedy algorithm will select the -cent coin along with -cent coins to reach a total of , while the optimal solution would involve using -cent coins. This issue is resolved from to , as the greedy algorithm can now select -cent coins to match the optimal solution.
From to , a similar problem occurs again. The greedy algorithm selects -cent coins to reach 40, while the optimal solution would use 4 -cent coins.
The problem occurs again from to , where is not as good as using , and it is resolved at . From to , a similar issue arises, as is not as optimal as to approach 65.
We observe that this issue repeats in cycles of numbers, with of the numbers in each cycle not working. The cycle starts at , and the next cycle will start numbers later, at , then , and so on, continuing until – for the last cycle.
The total number of cycles is given by:
and each cycle contains problematic numbers. Therefore, the total number of problematic numbers is:
The cycle from to has the problematic numbers from to and to , giving another problematic numbers.
Thus, the total number of unsuccessful numbers from to inclusive is , and the desired count of successful numbers is:
(Feel free to make any edits on grammar, and formatting.)
~ Mitsuihisashi14
~ Edited by aoum
Proof of the Existence of the Cycle
For completeness, we'll present a proof that the cycle described in the first solution exists.
For a positive integer in the form where is a non-negative integer, we claim that in the list of numbers below,
is the situation. We proceed by induction to show that this is true.
The base case of or equivalently is shown in Solution 1. Then, if the claim is true for for some non-negative integer , then consider that for (i.e is increased by ), the greedy algorithm will first choose a cent coin for each of the numbers in the list, which reduces the problem to finding the numbers that succeeds for . Hence, by induction, the claim is true.
~compassmath
Video Solution
2025 AIME II #8
MathProblemSolvingSkills.com