結果

問題 No.2232 Miser's Gift
ユーザー タコイモタコイモ
提出日時 2023-03-03 21:34:56
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 1,089 ms / 2,000 ms
コード長 3,390 bytes
コンパイル時間 162 ms
コンパイル使用メモリ 82,136 KB
実行使用メモリ 88,620 KB
最終ジャッジ日時 2024-09-17 22:28:36
合計ジャッジ時間 33,423 ms
ジャッジサーバーID
(参考情報)
judge6 / judge4
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 3
other AC * 55
権限があれば一括ダウンロードができます

ソースコード

diff #

from collections import defaultdict
#####segfunc#####
def segfunc(x, y):
    return max(x,y)
#################
#####ide_ele#####
ide_ele = 0
#################
class SegTree:
    """
    init(init_val, ide_ele): 配列init_valで初期化 O(N)
    update(k, x): k番目の値をxに更新 O(logN)
    query(l, r): 区間[l, r)をsegfuncしたものを返す O(logN)
    """
    def __init__(self, init_val, segfunc, ide_ele):
        """
        init_val: 配列の初期値
        segfunc: 区間にしたい操作
        ide_ele: 単位元
        n: 要素数
        num: n以上の最小の2のべき乗
        tree: セグメント木(1-index)
        """
        n = len(init_val)
        self.segfunc = segfunc
        self.ide_ele = ide_ele
        self.num = 1 << (n - 1).bit_length()
        self.tree = [ide_ele] * 2 * self.num
        # 配列の値を葉にセット
        for i in range(n):
            self.tree[self.num + i] = init_val[i]
        # 構築していく
        for i in range(self.num - 1, 0, -1):
            self.tree[i] = self.segfunc(self.tree[2 * i], self.tree[2 * i + 1])
    def update(self, k, x):
        """
        k番目の値をxに更新
        k: index(0-index)
        x: update value
        """
        k += self.num
        self.tree[k] = x
        while k > 1:
            self.tree[k >> 1] = self.segfunc(self.tree[k], self.tree[k ^ 1])
            k >>= 1
    def query(self, l, r):
        """
        [l, r)のsegfuncしたものを得る
        l: index(0-index)
        r: index(0-index)
        """
        res = self.ide_ele
        l += self.num
        r += self.num
        while l < r:
            if l & 1:
                res = self.segfunc(res, self.tree[l])
                l += 1
            if r & 1:
                res = self.segfunc(res, self.tree[r - 1])
            l >>= 1
            r >>= 1
        return res


import sys
#sys.setrecursionlimit(500000)
def I(): return int(sys.stdin.readline().rstrip())
def MI(): return map(int,sys.stdin.readline().rstrip().split())
def TI(): return tuple(map(int,sys.stdin.readline().rstrip().split()))
def LI(): return list(map(int,sys.stdin.readline().rstrip().split()))
def S(): return sys.stdin.readline().rstrip()
def LS(): return list(sys.stdin.readline().rstrip())
#for i, pi in enumerate(p):
from collections import defaultdict,deque
import bisect
import itertools
dic = defaultdict(int)
d = deque()
YN = ['No','Yes']

N,W = MI()
dp = [-1]*(W+1) #for _ in range(N)]
dp[0] = 0
for _ in range(N):
  w,v = MI()
  for i in range(W-w,-1,-1):
    if dp[i] == -1:
      continue
    dp[i+w] = max(dp[i]+v,dp[i+w])
mdp = max(dp)
seg = SegTree(dp, segfunc, ide_ele)
#https://aotamasaki.hatenablog.com/entry/meguru_bisect
def is_ok(arg,x):
  return  mdp < seg.query(0,W-x+1)+arg
   # return #満たすべき条件a<b等
#ngは必ず答えにならない値
def meguru_bisect(ng, ok,x):
    '''
    初期値のng,okを受け取り,is_okを満たす最小(最大)のokを返す
    まずis_okを定義すべし
    ng ok は  とり得る最小の値-1 とり得る最大の値+1
    最大最小が逆の場合はよしなにひっくり返す
    '''
    while (abs(ok - ng) > 1):
        mid = (ok + ng) // 2
        if is_ok(mid,x):
            ok = mid
        else:
            ng = mid
    return ok
for x in range(1,W+1):
  print(meguru_bisect(0, 10**10,x))
    
0