Atcoder ABC104 Cの1ケースが通らない

Question

Atcoder ABC104 C問題
を解いており、以下のコードを書きました。

D, G = map(int,input().split())
pc = [list(map(int,input().split())) for i in range(D)]

ans = float("inf")
for bit in range(1 << D):
    cnt = 0
    sum = 0
    remain = set(range(1,D+1))

    for i in range(D):
        if bit & (1 << i):
            cnt += pc[i][0]
            sum += pc[i][0]*(i+1)*100 + pc[i][1]
            remain.discard(i+1)

    if sum < G:
        use = max(remain)
        n = min(pc[use-1][0], (G - sum)//(use*100))
        cnt += n
        sum += n*use*100

    if sum >= G:
        ans = min(ans,cnt)

print(ans)

1ケースだけ通らず、以下の部分を

n = min(pc[use-1][0], (G - sum)//(use*100))

通されている方が書かれていたものを参考に以下のように変更すると通りました。

n = min(pc[use-1][0], -(-(G - sum)//(use*100)))

なにがいけなかったのか、どのようなコーナーケースを見落としていたのかがわからないです。
よろしくお願いいたします。

Answer 1

すみません、問題自体は読んでないのですが。
該当の部分は、負の数をそのまま切り捨て除算するのと、正にして切り捨て除算してから負に戻すのの違いでしょうか。

print(-(-(-1)//2))  # ->  0
print(   (-1)//2 )  # -> -1

Comments

[mai-mo_n.]

ほしいのはuse*100でわった商を小数点切り上げしたものだったのでmath.ceilを使って
n = min(pc[use-1][0], ceil((G-sum)/(use*100)))
とすると実際上手くいきました。それと同じことをするために一度負の数に直していたのだと考えられます。そこで以下のコードを書いたのですが、これでは数ケースひっかかってしまいました。
ceilと同じことをしていると思うのですが何が違うのでしょうか。
if (G-sum)%(use*100) == 0:
n = min(pc[use-1][0], (G - sum)/(use*100))
else:
n = min(pc[use-1][0], (G - sum)//(use*100)+1)