#include<bits/stdc++.h>
using namespace std;
#define vi vector<int>
#define vvi vector<vi>
#define vs vector<string>
#define pb push_back
#define P pair<int,int>
#define vp vector<P>
#define PP pair<int,P>
#define vpp vector<PP>
#define fi first
#define se second
#define INF 1e9
#define MOD 1000000007
#define REP(i,n) for(int i=0;i<n;i++)
#define REPR(i,n) for(int i=n;i>=0;i--)
#define FOR(i,m,n) for(int i=m;i<n;i++)
#define all(x) (x).begin(),(x).end()
int V,E;
vvi G;
vi vec;
bool dfs(vi vis){
    if(vis.size()==3){
        REP(i,3){
            FOR(j,i+1,3){
                if(vec[vis[i]]==vec[vis[j]]){
                    return false;
                }
            }
        }
        if(vec[vis[0]]<vec[vis[1]]&&vec[vis[1]]>vec[vis[2]]){
            return true;
        }
        if(vec[vis[0]]>vec[vis[1]]&&vec[vis[1]]<vec[vis[2]]){
            return true;
        }
        return false;
    }
    if(vis.size()==0){
        REP(i,V){
            vis.push_back(i);
            if(dfs(vis)){
                return true;
            }
            vis.pop_back();
        }
        return false;
    }
    int v=vec.back();
    REP(i,G[v].size()){
        int t=G[v][i];
        bool f=true;
        REP(j,vis.size()){
            if(vis[j]==t){
                f=false;
                break;
            }
        }
        if(f){
            vis.pb(t);
            if(dfs(vis)){
                return true;
            }
            vis.pop_back();
        }
    }
    return false;
}
int main(){
    cin>>V>>E;
    vec.resize(V);
    REP(i,V){
        cin>>vec[i];
        vec[i]--;
    }
    G.resize(V);
    REP(i,E){
        int a,b;
        cin>>a>>b;
        a--;b--;
        G[a].pb(b);
        G[b].pb(a);
    }
    vi temp;
    if(dfs(temp)){
        cout<<"YES"<<endl;
    }else{
        cout<<"NO"<<endl;
    }
    return 0;
}