結果

問題 No.817 Coin donation
コンテスト
ユーザー norioc
提出日時 2026-10-15 02:34:05
言語 PyPy3
(8.0.0 + ACL)
コンパイル:
pypy3 -mpy_compile _filename_
実行:
pypy3 _filename_
結果
AC  
実行時間 91 ms / 2,000 ms
+ 555µs
コード長 659 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 83 ms
コンパイル使用メモリ 64,716 KB
実行使用メモリ 68,144 KB
最終ジャッジ日時 2026-10-15 02:34:10
合計ジャッジ時間 3,117 ms
ジャッジサーバーID
（参考情報） 		judge4_0 / judge1_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 16
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

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

    return hi + 1


# m 円以下が K 枚以上あるか
def can(m: int) -> bool:
    res = 0
    for a, b in xs:
        if m < a: continue
        res += min(m, b) - a + 1
        if res >= K:
            return True

    return False


N, K = map(int, input().split())
xs = []
for _ in range(N):
    A, B = map(int, input().split())
    xs.append((A, B))

ans = bsearch_right(1, 10**9, can)
print(ans)
0