#include using namespace std; #define fs first #define sc second #define pb push_back #define mp make_pair #define eb emplace_back #define ALL(A) A.begin(),A.end() #define RALL(A) A.rbegin(),A.rend() typedef long long LL; typedef pair P; template inline bool chmax(T& a, T b) { if (a < b) { a = b; return 1; } return 0; } template inline bool chmin(T& a, T b) { if (a > b) { a = b; return 1; } return 0; } template T gcd(T a,T b){return b?gcd(b,a%b):a;} const LL mod=1000000007; const LL LINF=1LL<<60; const int INF=1<<30; int dx[]={1,0,-1,0,1,-1,1,-1}; int dy[]={0,1,0,-1,1,-1,-1,1}; int main(){ int n,m;cin >> n >> m; vector a(n); for (int i = 0; i < n; i++) { cin >> a[i]; } vector x(m),w(m); bool fl = true; vector p(n,0); for (int i = 0; i < m; i++) { cin >> x[i] >> w[i]; x[i]--; p[x[i]] += w[i]; } for (int i = 0; i < n; i++) { if(a[i] <= p[i]) fl = false; } if(not fl){ puts("-1"); } else if(*min_element(ALL(a)) > accumulate(ALL(w),0)){ puts("0"); } else{ LL l = 0,r = INF; while(abs(r - l) > 1){ LL c = (r + l) / 2; vector> imosr(n+1,vector (3,0)); vector> imosl(n+1,vector (3,0)); vector v(n,0); for (int i = 0; i < n; i++) { LL k = w[i] / c; imosr[x[i]][2] += w[i]; imosr[x[i]+1][0] -= c; if(x[i] + k + 1<= n){ imosr[x[i]+k+1][0] += c; imosr[x[i]+k+1][2] -= w[i]%c; } imosl[x[i]][2] += w[i]; if(x[i] - 1 >= 0) imosl[x[i]-1][0] -= c; if(x[i] - k - 1 >= 0){ imosl[x[i]-k-1][0] += c; imosl[x[i]-k-1][2] -= w[i]%c; } v[x[i]] -= w[i]; } for (int i = 0; i < n; i++) { for (int j = 1; j < 3; j++) { imosr[i][j] += imosr[i][j-1]; if(i) imosr[i][j] += imosr[i-1][j]; } } for (int i = n-1; i >= 0; i--) { for (int j = 1; j < 3; j++) { imosl[i][j] += imosl[i][j-1]; imosl[i][j] += imosl[i+1][j]; } } for (int i = 0; i < n; i++) { v[i] += imosr[i][2] + imosl[i][2]; } bool f = true; for (int i = 0; i < n; i++) { if(a[i] <= v[i]) f = false; } if(f) r = c; else l = c; } cout << r << endl; } return 0; }