#include using namespace std; typedef long long ll; typedef pair p_ll; template void debug(T itr1, T itr2) { auto now = itr1; while(now=0; i--) const ll MOD = pow(10,9)+7; const ll LLINF = pow(2,61)-1; const int INF = pow(2,30)-1; vector fac; void c_fac(int x=pow(10,6)+10) { fac.resize(x,true); rep(i,x) fac[i] = i ? (fac[i-1]*i)%MOD : 1; } ll inv(ll a, ll m=MOD) { ll b = m, x = 1, y = 0; while (b!=0) { int d = a/b; a -= b*d; swap(a,b); x -= y*d; swap(x,y); } return (x+m)%m; } ll nck(ll n, ll k) { return fac[n]*inv(fac[k]*fac[n-k]%MOD)%MOD; } ll gcd(ll a, ll b) { if (a> adj; vector ver; int main() { ll N, M; cin >> N >> M; ver.resize(N); rep(i,N) cin >> ver[i]; adj.resize(N); rep(i,M) { ll u, v; cin >> u >> v; u--; v--; adj[u].push_back(v); adj[v].push_back(u); } string result = "NO"; rep(i,N) { for (auto x: adj[i]) for (auto y: adj[i]) { // cout << ver[x] << "-" << ver[i] << "-" << ver[y] << endl; if (((ver[i]>ver[x])==(ver[i]>ver[y]))&&ver[x]!=ver[y]) result = "YES"; } } cout << result << endl; return 0; }