結果

問題 No.1008 Bench Craftsman
コンテスト
ユーザー IKyopro
提出日時 2019-06-10 13:18:44
言語 C++11（廃止可能性あり）
(gcc 13.3.0)
結果
AC  
実行時間 176 ms / 2,000 ms
コード長 1,541 bytes
コンパイル時間 464 ms
コンパイル使用メモリ 56,028 KB
実行使用メモリ 9,600 KB
最終ジャッジ日時 2024-10-14 02:34:03
合計ジャッジ時間 4,410 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 27
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <cassert>
using namespace std;
typedef long long ll;
ll N,M;
ll A[100010] = {},Lsum[100010] = {},Rsum[100010] = {};
ll B[100010] = {};
ll Limos[100010] = {},Rimos[100010] = {};
ll R[100010],S[100010];

bool ok(ll m){
    for(int i=0;i<=N+1;i++){
        Lsum[i] = 0; Rsum[i] = 0;
        Limos[i] = 0; Rimos[i] = 0;
    }
    for(int i=1;i<=M;i++){
        Lsum[R[i]] += S[i]; Rsum[R[i]] += S[i];
        if(m!=0){Limos[R[i]+1]++; Limos[min(R[i]+S[i]/m+1,N+1)]--; Lsum[min(R[i]+S[i]/m+1,N+1)] -= S[i]%m;}
        if(m!=0){Rimos[R[i]-1]++; Rimos[max(R[i]-S[i]/m-1,0LL)]--; Rsum[max(R[i]-S[i]/m-1,0LL)] -= S[i]%m;}
    }
    for(int i=1;i<=N;i++){
        Limos[i] += Limos[i-1];
        Lsum[i] += Lsum[i-1]-m*Limos[i];
    }
    for(int i=N;i>=1;i--){
        Rimos[i] += Rimos[i+1];
        Rsum[i] += Rsum[i+1]-m*Rimos[i];
    }
    for(int i=1;i<=N;i++){
        if(Rsum[i]+Lsum[i]-B[i]>=A[i]) return false;
    }
    return true;
}

int main(){
    cin >> N >> M;
    assert(N<=1e5 && M<=1e5);
    for(int i=1;i<=N;i++){
        cin >> A[i];
        assert(1<=A[i] && A[i]<=1e9);
    }
    for(int i=1;i<=M;i++){
        cin >> R[i] >> S[i];
        assert(1<=R[i] && R[i]<=N);
        assert(1<=S[i] && S[i]<=1e5);
        B[R[i]] += S[i];
    }
    for(int i=1;i<=N;i++){
        if(B[i]>=A[i]){
            cout << -1 << endl;
            return 0;
        }
    }
    ll l = -1,r = 1e6;
    while(l+1<r){
        ll m = (l+r)/2;
        if(ok(m)) r = m;
        else l = m;
    }
    cout << r << endl;
}
0