結果

問題 No.1008 Bench Craftsman
ユーザー どららどらら
提出日時 2020-03-06 23:58:32
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 662 ms / 2,000 ms
コード長 2,204 bytes
コンパイル時間 1,982 ms
コンパイル使用メモリ 172,816 KB
実行使用メモリ 8,840 KB
最終ジャッジ日時 2024-04-22 10:58:27
合計ジャッジ時間 12,655 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,248 KB
testcase_02 AC 2 ms
5,376 KB
testcase_03 AC 2 ms
5,376 KB
testcase_04 AC 1 ms
5,376 KB
testcase_05 AC 658 ms
8,580 KB
testcase_06 AC 139 ms
7,572 KB
testcase_07 AC 2 ms
5,376 KB
testcase_08 AC 9 ms
5,376 KB
testcase_09 AC 108 ms
5,452 KB
testcase_10 AC 659 ms
8,708 KB
testcase_11 AC 655 ms
8,708 KB
testcase_12 AC 658 ms
8,836 KB
testcase_13 AC 662 ms
8,836 KB
testcase_14 AC 657 ms
8,580 KB
testcase_15 AC 100 ms
6,896 KB
testcase_16 AC 650 ms
8,840 KB
testcase_17 AC 100 ms
6,896 KB
testcase_18 AC 657 ms
8,712 KB
testcase_19 AC 634 ms
8,836 KB
testcase_20 AC 176 ms
6,140 KB
testcase_21 AC 212 ms
5,556 KB
testcase_22 AC 385 ms
5,972 KB
testcase_23 AC 459 ms
6,964 KB
testcase_24 AC 472 ms
6,628 KB
testcase_25 AC 144 ms
7,116 KB
testcase_26 AC 112 ms
6,240 KB
testcase_27 AC 319 ms
5,864 KB
testcase_28 AC 318 ms
6,944 KB
testcase_29 AC 547 ms
7,776 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;
#define REP(i,a,n) for(int i=(a); i<(int)(n); i++)
#define rep(i,n) REP(i,0,n)
#define FOR(it,c) for(__typeof((c).begin()) it=(c).begin(); it!=(c).end(); ++it)
#define ALLOF(c) (c).begin(), (c).end()
typedef long long ll;
typedef unsigned long long ull;

bool check(ll c, const vector<ll>& v, const vector<pair<ll,ll>>& w){
  if(c == -1) return false;

  vector<ll> base(v.size()+1, 0);
  vector<ll> imos(v.size()+1, 0);
  vector<ll> diff(v.size()+1, 0);

  rep(i,w.size()){
    ll j = w[i].first;
    ll k = w[i].second;

    ll lhs_i, rhs_i;
    ll lhs_w, rhs_w;

    {
      ll lb = 0, ub = v.size();
      while(ub-lb>1){
        ll mid = (lb+ub)/2;
        
        if(j-mid<0) ub = mid;
        else{
          if(k-c*mid<0) ub = mid;
          else lb = mid;
        }
      }
      lhs_i = j-lb;
      lhs_w = k-c*lb;
    }
    {
      ll lb = 0, ub = v.size();
      while(ub-lb>1){
        ll mid = (lb+ub)/2;
        
        if(j+mid>=v.size()) ub = mid;
        else{
          if(k-c*mid<0) ub = mid;
          else lb = mid;
        }
      }
      rhs_i = j+lb;
      rhs_w = k-c*lb;
    }

    //cout << j << " " << k << " " << lhs_i << " " << lhs_w << " " << rhs_i << " " << rhs_w << endl;
    
    base[lhs_i] += lhs_w;
    imos[lhs_i] += c;
    imos[j] -= c;

    imos[j] -= c;
    imos[rhs_i] += c;
    base[rhs_i+1] -= rhs_w;
  }

  ll imos_base = 0;
  rep(i,imos.size()){
    imos_base += imos[i];
    diff[i] = imos_base;
  }


  bool flg = true; 
  ll ww = 0;
  rep(i,v.size()){
    ww += base[i];
    //cout << i << "\t" << ww << endl;
    if(v[i]<=ww) flg = false;
    ww += diff[i];
  }
  
  return flg;
}


int main(){
  int N, M;
  cin >> N >> M;
  vector<ll> v;
  rep(i,N){
    ll a;
    cin >> a;
    v.push_back(a);
  }

  vector<ll> sum(N,0);
  vector<pair<ll,ll>> w;
  rep(i,M){
    ll a, b;
    cin >> a >> b;
    a--;
    sum[a] += b;
    w.emplace_back(a,b);
  }

  rep(i,N){
    if(sum[i] >= v[i]){
      cout << -1 << endl;
      return 0;
    }
  }

  
  ll lb=-1, ub=1e12;
  while(ub-lb>1){
    ll mid = (lb+ub)/2;
    if(!check(mid, v, w)) lb = mid;
    else ub = mid;
  }
  
  cout << ub << endl;
  
  return 0;
}
0