結果

問題 No.1008 Bench Craftsman
ユーザー oteraotera
提出日時 2020-03-07 13:27:55
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 3,110 bytes
コンパイル時間 1,089 ms
コンパイル使用メモリ 114,388 KB
実行使用メモリ 6,824 KB
最終ジャッジ日時 2024-10-14 12:28:31
合計ジャッジ時間 3,822 ms
ジャッジサーバーID
(参考情報)
judge2 / judge5
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 WA -
testcase_01 AC 2 ms
6,816 KB
testcase_02 AC 2 ms
6,816 KB
testcase_03 WA -
testcase_04 WA -
testcase_05 AC 184 ms
6,820 KB
testcase_06 AC 35 ms
6,820 KB
testcase_07 AC 2 ms
6,816 KB
testcase_08 AC 7 ms
6,820 KB
testcase_09 WA -
testcase_10 AC 181 ms
6,816 KB
testcase_11 WA -
testcase_12 WA -
testcase_13 AC 182 ms
6,816 KB
testcase_14 AC 181 ms
6,820 KB
testcase_15 AC 35 ms
6,816 KB
testcase_16 WA -
testcase_17 AC 35 ms
6,820 KB
testcase_18 WA -
testcase_19 WA -
testcase_20 AC 50 ms
6,816 KB
testcase_21 WA -
testcase_22 WA -
testcase_23 WA -
testcase_24 WA -
testcase_25 WA -
testcase_26 AC 30 ms
6,820 KB
testcase_27 WA -
testcase_28 WA -
testcase_29 AC 147 ms
6,820 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

/**
 *    author:  otera    
**/
#include<iostream>
#include<string>
#include<cstdio>
#include<cstring>
#include<vector>
#include<cmath>
#include<algorithm>
#include<functional>
#include<iomanip>
#include<queue>
#include<deque>
#include<ciso646>
#include<random>
#include<map>
#include<set>
#include<complex>
#include<bitset>
#include<stack>
#include<unordered_map>
#include<utility>
#include<cassert>
using namespace std;

#define int long long
typedef long long ll;
typedef unsigned long long ul;
typedef unsigned int ui;
typedef long double ld;
const int inf=1e9+7;
const ll INF=1LL<<60 ;
const ll mod=1e9+7 ;
#define rep(i,n) for(int i=0;i<n;i++)
#define per(i,n) for(int i=n-1;i>=0;i--)
#define Rep(i,sta,n) for(int i=sta;i<n;i++)
#define rep1(i,n) for(int i=1;i<=n;i++)
#define per1(i,n) for(int i=n;i>=1;i--)
#define Rep1(i,sta,n) for(int i=sta;i<=n;i++)
typedef complex<ld> Point;
const ld eps = 1e-8;
const ld pi = acos(-1.0);
typedef pair<int, int> P;
typedef pair<ld, ld> LDP;
typedef pair<ll, ll> LP;
#define fr first
#define sc second
#define all(c) c.begin(),c.end()
#define pb push_back
#define debug(x)  cerr << #x << " = " << (x) << endl;
template<class T> inline bool chmax(T& a, T b) { if (a < b) { a = b; return 1; } return 0; }
template<class T> inline bool chmin(T& a, T b) { if (a > b) { a = b; return 1; } return 0; }

int n, m;
vector<int> a;
vector<int> x, w;

bool check(int c) {
    if(c == 0) {
        int sum = 0;
        rep(j, m) {
            sum += w[j];
        }
        rep(i, n) {
            if(a[i] <= sum) {
                return false;
            }
        }
        return true;
    }
    vector<int> b(n, 0);
    rep(j, m) {
        int cnt = w[j] / c;
        if(x[j] - cnt >= 0) b[x[j] - cnt] += w[j] % c;
        if(x[j] - cnt >= 0 && x[j] - cnt + 1 < n) {
            b[x[j] - cnt + 1] += c - w[j] % c;
        } else {
            b[0] += c;
        }
        if(x[j] + 1 < n) {
            b[x[j] + 1] += -2 * c;
        }
        if(x[j] + cnt + 1 < n) {
            b[x[j] + cnt + 1] += c - w[j] % c;
        }
        if(x[j] + cnt + 2 < n) {
            b[x[j] + cnt + 2] += w[j] % c;
        }
    }

    for(int j = 1; j < n; ++j) {
        b[j] += b[j - 1];
    }
    b[0] = 0;
    rep(j, m) {
        b[0] += max(0LL, w[j] - c * x[j]);
    }
    for(int j = 1; j < n; ++j) {
        b[j] += b[j - 1];
    }
    rep(i, n) {
        if(a[i] <= b[i]) {
            return false;
        }
    }
    return true;
}

void solve() {
	cin >> n >> m;
    a.resize(n);
    rep(i, n) {
        cin >> a[i];
    }
    x.resize(m);
    w.resize(m);
    rep(i, m) {
        cin >> x[i] >> w[i];
        --x[i];
    }
    int ok = inf, ng = -1;
    if(!check(ok)) {
        cout << -1 << endl;
        return;
    }
    while(ok - ng > 1) {
        int mid = (ok + ng) / 2;
        if(check(mid)) {
            ok = mid;
        } else {
            ng = mid;
        }
    }
    cout << ok << endl;
}

signed main() {
	ios::sync_with_stdio(false);
	cin.tie(0);
	//cout << fixed << setprecision(10);
	//int t; cin >> t; rep(i, t)solve();
	solve();
    return 0;
}
0