結果

問題 No.1008 Bench Craftsman
ユーザー vwxyzvwxyz
提出日時 2024-07-17 02:16:01
言語 Python3
(3.12.2 + numpy 1.26.4 + scipy 1.12.0)
結果
TLE  
実行時間 -
コード長 1,409 bytes
コンパイル時間 90 ms
コンパイル使用メモリ 12,928 KB
実行使用メモリ 41,588 KB
最終ジャッジ日時 2024-07-17 02:16:06
合計ジャッジ時間 4,390 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 33 ms
17,952 KB
testcase_01 AC 32 ms
10,880 KB
testcase_02 AC 31 ms
10,880 KB
testcase_03 AC 31 ms
11,008 KB
testcase_04 AC 32 ms
11,008 KB
testcase_05 TLE -
testcase_06 -- -
testcase_07 -- -
testcase_08 -- -
testcase_09 -- -
testcase_10 -- -
testcase_11 -- -
testcase_12 -- -
testcase_13 -- -
testcase_14 -- -
testcase_15 -- -
testcase_16 -- -
testcase_17 -- -
testcase_18 -- -
testcase_19 -- -
testcase_20 -- -
testcase_21 -- -
testcase_22 -- -
testcase_23 -- -
testcase_24 -- -
testcase_25 -- -
testcase_26 -- -
testcase_27 -- -
testcase_28 -- -
testcase_29 -- -
権限があれば一括ダウンロードができます

ソースコード

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<<30
ans=Bisect_Int(inf,-1,is_ok)
if ans==inf:
    ans=-1
print(ans)
0