返回题库

AIME 2025 II · 第 8 题

AIME 2025 II — Problem 8

专题
Contest Math
难度
L4
来源
AIME

题目详情

Problem

From an unlimited supply of 11-cent coins, 1010-cent coins, and 2525-cent coins, Silas wants to find a collection of coins that has a total value of NN cents, where NN is a positive integer. He uses the so-called greedy algorithm\textit{greedy algorithm}, successively choosing the coin of greatest value that does not cause the value of his collection to exceed NN. For example, to get 4242 cents, Silas will choose a 2525-cent coin, then a 1010-cent coin, then 77 11-cent coins. However, this collection of 99 coins uses more coins than necessary to get a total of 4242 cents; indeed, choosing 44 1010-cent coins and 22 11-cent coins achieves the same total value with only 66 coins.

In general, the greedy algorithm succeeds for a given NN if no other collection of 11-cent, 1010-cent, and 2525-cent coins gives a total value of NN cents using strictly fewer coins than the collection given by the greedy algorithm. Find the number of values of NN between 11 and 10001000 inclusive for which the greedy algorithm succeeds.

解析

Solution 1

We begin by noting that all values of N25N \leq 25 work without issue.

Starting from N=25N = 25 to 2929, the greedy algorithm will select the 2525-cent coin, and no problem arises.

From N=30N = 30 to 3434, the greedy algorithm will select the 2525-cent coin along with 55 11-cent coins to reach a total of 3030, while the optimal solution would involve using 33 1010-cent coins. This issue is resolved from N=35N = 35 to 3939, as the greedy algorithm can now select 25+1025 + 10-cent coins to match the optimal solution.

From N=40N = 40 to 4444, a similar problem occurs again. The greedy algorithm selects 25+10+5×125 + 10 + 5 \times 1-cent coins to reach 40, while the optimal solution would use 4 1010-cent coins.

The problem occurs again from N=55N = 55 to 5959, where 50+5×150 + 5 \times 1 is not as good as using 25+3×1025 + 3 \times 10, and it is resolved at N=60N = 60. From N=65N = 65 to 6969, a similar issue arises, as 25×2+10+5×125 \times 2 + 10 + 5 \times 1 is not as optimal as 25+4×1025 + 4 \times 10 to approach 65.

We observe that this issue repeats in cycles of 2525 numbers, with 1010 of the 2525 numbers in each cycle not working. The cycle starts at 3030, and the next cycle will start 2525 numbers later, at 5555, then 8080, and so on, continuing until 98098010051005 for the last cycle.

The total number of cycles is given by:

9553025+1=38,\frac{955 - 30}{25} + 1 = 38, and each cycle contains 1010 problematic numbers. Therefore, the total number of problematic numbers is:

38×10=380.38 \times 10 = 380. The cycle from 980980 to 10051005 has the problematic numbers from 980980 to 984984 and 990990 to 994994, giving another 1010 problematic numbers.

Thus, the total number of unsuccessful numbers from 11 to 10001000 inclusive is 390390, and the desired count of successful numbers is:

1000390=610.1000 - 390 = \boxed{610}. (Feel free to make any edits on grammar, LaTeX\LaTeX 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 nn in the form n=30+25mn=30+25m where mm is a non-negative integer, we claim that in the list of 2525 numbers below,

n,,n+4succeeds,n+5,,n+9does not succeed,n+10,,n+14does not succeed,n+15,,n+24succeeds\underbrace{n,\ldots,n+4}_{\text{succeeds}},\underbrace{n+5,\ldots, n+9}_{\text{does not succeed}}, \underbrace{n+10,\ldots,n+14}_{\text{does not succeed}}, \underbrace{n+15, \ldots, n+24}_{\text{succeeds}} is the situation. We proceed by induction to show that this is true.

The base case of n=30n=30 or equivalently m=0m=0 is shown in Solution 1. Then, if the claim is true for m=km=k for some non-negative integer kk, then consider that for m=k+1m=k+1 (i.e nn is increased by 2525), the greedy algorithm will first choose a 2525 cent coin for each of the 2525 numbers in the list, which reduces the problem to finding the numbers that succeeds for m=km=k. Hence, by induction, the claim is true.

~compassmath

Video Solution

2025 AIME II #8

MathProblemSolvingSkills.com