#include using namespace std; typedef long long ll; typedef pair l_l; typedef pair i_i; template inline bool chmax(T &a, T b) { if(a < b) { a = b; return true; } return false; } template inline bool chmin(T &a, T b) { if(a > b) { a = b; return true; } return false; } const long double EPS = 1e-10; const long long INF = 1e18; const long double PI = acos(-1.0L); //const ll mod = 1000000007; ll N, M; vector a; vector x, w; vector xsum; bool f(ll c) { vector one(N+3), two(N+3); for(int i = 0; i < M; i++) { ll delta; if(c != 0) delta = w[i] / c; else delta = N; ll l = x[i] - delta; chmax(l, 0LL); two[l+1] += c; two[x[i]+1] -= c; two[x[i]+1] -= (x[i] - l) * c; two[x[i]+2] += (x[i] - l) * c; one[l] += max(0LL, w[i] - abs(l - x[i]) * c); one[x[i]+1] -= max(0LL, w[i] - abs(l - x[i]) * c); ll r = x[i] + delta; chmin(r, N); //cerr << i << " " << l << " " << r << endl; two[x[i]+2] -= c; two[r+1] += c; two[r+1] -= (r - x[i] - 1) * c; two[r+2] += (r - x[i] - 1) * c; one[x[i]+1] += max(0LL, w[i] - abs(x[i]+1-x[i]) * c); one[r] -= max(0LL, w[i] - abs(x[i]+1-x[i]) * c); } /* cerr << "----" << c << "----" << endl; for(int i = 0; i < N; i++) cerr << one[i] << " "; cerr << endl; for(int i = 0; i < N; i++) cerr << two[i] << " "; cerr << endl; */ for(int i = 0; i < N; i++) { if(one[i] + two[i] >= a[i]) return false; } for(int i = 1; i <= N; i++) { one[i] += one[i-1]; } for(int i = 1; i <= N; i++) { two[i] += two[i-1]; } for(int i = 1; i <= N; i++) { two[i] += two[i-1]; } return true; } int main() { //cout.precision(10); cin.tie(0); ios::sync_with_stdio(false); cin >> N >> M; a.resize(N); for(int i = 0; i < N; i++) { cin >> a[i]; } x.resize(M); xsum.resize(N); w.resize(M); for(int i = 0; i < M; i++) { cin >> x[i] >> w[i]; x[i]--; xsum[x[i]] += w[i]; if(xsum[x[i]] >= a[x[i]]) { cout << -1 << endl; return 0; } } ll ok = N + 1; ll ng = -1; while(abs(ok - ng) > 1) { ll mid = (ok + ng) / 2; if(f(mid)) ok = mid; else ng = mid; } cout << ok << endl; return 0; }