結果

問題 No.3537 Thank You!
コンテスト
ユーザー tassei903
提出日時 2026-05-08 23:43:23
言語 PyPy3
(7.3.17)
コンパイル:
pypy3 -mpy_compile _filename_
実行:
pypy3 _filename_
結果
AC  
実行時間 372 ms / 2,000 ms
コード長 2,154 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 1,165 ms
コンパイル使用メモリ 85,404 KB
実行使用メモリ 114,816 KB
最終ジャッジ日時 2026-05-08 23:43:32
合計ジャッジ時間 7,574 ms
ジャッジサーバーID
（参考情報） 		judge3_1 / judge1_0
このコードへのチャレンジ
（要ログイン）
サブタスク 配点 結果
サブタスク1 30 % AC * 21
サブタスク2 70 % AC * 15
合計 2.5 * 100% = 250 点
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

import sys
# input = lambda :sys.stdin.readline()[:-1]
ni = lambda :int(input())
na = lambda :list(map(int,input().split()))
yes = lambda :print("yes");Yes = lambda :print("Yes");YES = lambda : print("YES")
no = lambda :print("no");No = lambda :print("No");NO = lambda : print("NO")
#######################################################################



# Binary Indexed Tree (Fenwick Tree)
# 0-indexed
class BIT:
    def __init__(self, n):
        self.n = n
        self.data = [0]*(n+1)
    def sum(self, i):
        s = 0
        while i > 0:
            s += self.data[i]
            i -= i & -i
        return s
    def add(self, i, x):
        assert 0 <= i < self.n
        i = i+1
        while i <= self.n:
            self.data[i] += x
            i += i & -i
    def set(self, i, x):
        assert 0 <= i <= self.n
        self.add(i,x-self.get(i))
    def get(self, i, j):
        return self.sum(j) - self.sum(i)
    def lower_bound(self, k):# a[0],…,a[i]>kなる最小のi
        n = self.n
        x = 0
        r = 1
        while r <= n:r <<= 1
        size = r
        while size:
            if x + size <= n and self.data[x+size] <= k:
                k-=self.data[x+size]
                x += size
            size >>= 1
        return x
    def debug(self):
        res = []
        n = self.n
        for i in range(n):
            res.append(self.get(i))
        print(*res)

n = ni()
b = ni()
c = na()
s = na()
c.append(1)
s.append(0)
n += 1

idx = sorted(range(n), key = lambda i: (c[i], s[i]))
c = [c[i] for i in idx]
s = [s[i] for i in idx]

bits = BIT(n)

bit = BIT(n)
for i in range(n):
    bit.add(i, s[i] * c[i])
    bits.add(i, s[i])

ans = -10 ** 18
for i in range(1, n):
    bit.add(i, -s[i] * c[i])
    bit.add(0, s[i])
    bits.add(i, -s[i])
    bits.add(0, s[i])
    
    x = bit.lower_bound(b)
    y = bit.get(0, x)
    if x == n:
        ans = max(ans, bits.get(0, n))
    else:
        # print(i, x, y, bits.get(0, x), (b - y) // c[x])
        ans = max(ans, bits.get(0, x) + (b - y) // c[x])
    
    bit.add(i, s[i] * c[i])
    bit.add(0, -s[i])
    bits.add(i, s[i])
    bits.add(0, -s[i])

print(ans)
0