#include<algorithm>
#include<cmath>
#include<cstdio>
#include<functional>
#include<iomanip>
#include<iostream>
#include<map>
#include<queue>
#include<set>
#include<string>
#include<utility>
#include<vector>

using namespace std;
typedef long long ll;
const ll mod = 1000000007;
#define rep(i,n) for(int i=0;i<n;i++)
#define repl(i,s,e) for(int i=s;i<e;i++)
#define reple(i,s,e) for(int i=s;i<=e;i++)
#define revrep(i,n) for(int i=n-1;i>=0;i--)
#define all(x) (x).begin(),(x).end()

int main()
{	
	int N, M;
	cin >> N >> M;

	vector<int> as(N);
	//lnode[i] := iに接続するiより小さいノード
	//gnode[i] := iに接続するiより大きいノード
	map<int, set<int>> lnode;
	map<int, set<int>> gnode;

	rep(i, N)
	{
		cin >> as[i];
		lnode[i] = {};
		gnode[i] = {};
	}

	rep(i, M)
	{
		int u, v;
		cin >> u >> v;
		--u;
		--v;

		auto uval = as[u];
		auto vval = as[v];

		if (uval > vval)
		{
			lnode[u].insert(vval);
			gnode[v].insert(uval);
		}

		if (uval < as[v])
		{
			lnode[v].insert(uval);
			gnode[u].insert(vval);
		}
	}


	for (auto n : lnode)
	{
		if (n.second.size() == 2)
		{
			cout << "YES" << endl;
			return 0;
		}
	}

	for (auto n : gnode)
	{
		if (n.second.size() == 2)
		{
			cout << "YES" << endl;
			return 0;
		}
	}

	cout << "NO" << endl;

	return 0;
}