ABC153(A~C)

A - Serval vs Monster

https://atcoder.jp/contests/abc153/tasks/abc153_a

H,A=map(int,input().split())
ans=0
while H>0:
    H-=A
    ans+=1
print(ans)

B - Common Raccoon vs Monster

https://atcoder.jp/contests/abc153/tasks/abc153_b

H,N=map(int,input().split())
A=list(map(int,input().split()))

if H-sum(A)<=0:
    print("Yes")
else:
    print("No")

C - Fennec vs Monster

https://atcoder.jp/contests/abc153/tasks/abc153_c

import heapq

N,K=map(int,input().split())
A=list(map(int,input().split()))
ans=0
#リストから大きい要素を取得
max=heapq.nlargest(K, A)

#大きい要素を削除
for i in max:
    A.remove(i)

for i in A:
    ans+=i
    
print(ans)

heapqモジュールの使い方
https://note.nkmk.me/python-max-min-heapq-nlargest-nsmallest/

D問題は以下の記事が参考になりました。
https://atcoderblue.asukatagui-blog.com/abc153d/