結果

問題 No.1008 Bench Craftsman
ユーザー vwxyz
提出日時 2024-07-17 02:16:21
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 506 ms / 2,000 ms
コード長 1,409 bytes
コンパイル時間 147 ms
コンパイル使用メモリ 82,184 KB
実行使用メモリ 205,424 KB
最終ジャッジ日時 2024-07-17 02:16:33
合計ジャッジ時間 10,405 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 27
権限があれば一括ダウンロードができます

ソースコード

diff # 

def Bisect_Int(ok,ng,is_ok):
    while abs(ok-ng)>1:
        mid=(ok+ng)//2
        if is_ok(mid):
            ok=mid
        else:
            ng=mid
    return ok

N,M=map(int,input().split())
A=list(map(int,input().split()))
X,W=[],[]
for m in range(M):
    x,w=map(int,input().split())
    x-=1
    X.append(x)
    W.append(w)
def is_ok(c):
    if c==0:
        sum_W=sum(W)
        return all(sum_W<a for a in A)
    else:
        def make_weight(X,W):
            imos=[0]*(N+2)
            for x,w in zip(X,W):
                if x-w//c>=0:
                    imos[x-w//c]+=w%c
                    imos[x-w//c+1]-=w%c
                    imos[x-w//c+1]+=c
                    imos[x+1]-=c
                    imos[x+1]+=-w
                    imos[x+2]-=-w
                else:
                    imos[0]+=w-x*c
                    imos[1]-=w-x*c
                    imos[1]+=c
                    imos[x+1]-=c
                    imos[x+1]+=-w
                    imos[x+2]-=-w
            for _ in range(2):
                for i in range(1,N+2):
                    imos[i]+=imos[i-1]
            return imos[:N]
        L=make_weight(X,W)
        R=make_weight([N-1-x for x in X],W)[::-1]
        LR=[l+r for l,r in zip(L,R)]
        for x,w in zip(X,W):
            LR[x]-=w
        return all(w<a for a,w in zip(A,LR))

inf=1<<20
ans=Bisect_Int(inf,-1,is_ok)
if ans==inf:
    ans=-1
print(ans)
0