結果

問題 No.3422 Sazanka's hobby
コンテスト
ユーザー norioc
提出日時 2026-01-13 00:19:59
言語 PyPy3
(7.3.17)
結果
AC  
実行時間 921 ms / 2,000 ms
コード長 770 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 3,238 ms
コンパイル使用メモリ 82,516 KB
実行使用メモリ 189,116 KB
最終ジャッジ日時 2026-01-13 00:20:10
合計ジャッジ時間 9,090 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 13
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

def ceildiv(a: int, b: int) -> int:
    return (a + b - 1) // b


def bsearch_right(low: int, high: int, pred) -> int:
    assert pred(high)
    lo = low
    hi = high
    res = high
    while lo <= hi:
        m = (lo + hi) // 2
        if pred(m):
            res = min(res, m)
            hi = m - 1
        else:
            lo = m + 1

    return res


INF = 1 << 62
N, M = map(int, input().split())
xs = []
for _ in range(N):
    a, b = map(int, input().split())
    xs.append((a, b))

ys = sorted([ceildiv(M-a+1, b) for a, b in xs])

def can(m: int) -> bool:
    for d, i in enumerate(range(0, N, m), 1):
        for j in range(i, min(N, i+m)):
            if d > ys[j]:
                return False

    return True


ans = bsearch_right(1, INF, can)
print(ans)
0