그리디

광물끼리는 자리를 바꿀수 없다. 단, 곡괭이를 다 사용하거나 광물이 없을때까지 캔다.
각 곡괭이는 5개씩 캘 수 있다. 즉, 곡괭이 수 만큼 광물을 5개씩 끊는다면 순서를 바꿀 수 있다.
이때 어떻게 정렬하냐가 문제였다. 나는 다이아 > 철 > 돌이 많은순으로 정렬했다.
테케는 통과했지만, 제출하니 절반 조금 안되게 틀렸다. 고심 끝에...
=> 다이아가 많다고 다 써버리면, 돌이나 철로 캤을때 더 비싼 비용이 발생할수 있다.
즉, 돌곡으로 캤을때 비용이 높은 순으로 정렬 한 뒤, 비싼 곡괭이로 캐기 시작하면 최소값을 얻을수 있다.

근데..반례를 도저히 생각못하겟다. 그냥 돌로캤을때 비싼순으로 하면, 효율좋은 곡괭이로 캐서 최솟값이 나온다는건 알겠다.
내 풀이가 왜 틀렸을까?