#include <float.h>
#include <limits.h>
#include <math.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <time.h>

// 内部定数
#define D_VTX_MAX		1000									// 最大頂点数
#define D_EDGE_MAX		4000									// 最大辺数

// 内部構造体 - 辺情報
typedef struct Edge {
	int miVNo;													// 接続先頂点
	struct Edge *mzpNext;										// 次の辺情報
} Edge;

// 内部構造体 - 頂点情報
typedef struct Vtx {
	int liNum;													// 数字
	Edge *mzpEdge;												// 辺
} Vtx;

// 内部変数
static FILE *szpFpI;											// 入力
static Vtx sz1Vtx[D_VTX_MAX];									// 頂点
static int siVCnt;												// 頂点数
static Edge sz1Edge[D_EDGE_MAX * 2];							// 辺
static int siECnt;												// 辺数

// 内部変数 - テスト用
#ifdef D_TEST
	static int siRes;
	static FILE *szpFpA;
	static int siTNo;
#endif

// 出力
int
fOut(
	char *pcpLine				// <I> １行
)
{
	char lc1Buf[1024];

#ifdef D_TEST
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, pcpLine)) {
		siRes = -1;
	}
#else
	printf("%s", pcpLine);
#endif

	return 0;
}

// 辺 - 追加
int
fAddEdge(
	int piVFNo					// <I> 頂点 - 元 0～
	, int piVTNo				// <I> 頂点 - 先 0～
)
{
	sz1Edge[siECnt].miVNo = piVTNo;
	sz1Edge[siECnt].mzpNext = sz1Vtx[piVFNo].mzpEdge;
	sz1Vtx[piVFNo].mzpEdge = &sz1Edge[siECnt];
	siECnt++;

	return 0;
}

// 実行メイン
int
fMain(
)
{
	int i;
	char lc1Buf[1024];

	// 頂点数・辺数 - 取得
	int liECnt;
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
	sscanf(lc1Buf, "%d%d", &siVCnt, &liECnt);

	// 数字 - 取得
	for (i = 0; i < siVCnt; i++) {
		fscanf(szpFpI, "%d", &sz1Vtx[i].liNum);
	}
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);

	// 辺 - 取得
	for (i = 0; i < liECnt; i++) {
		int liVNo1, liVNo2;
		fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
		sscanf(lc1Buf, "%d%d", &liVNo1, &liVNo2);
		liVNo1--;
		liVNo2--;

		// 辺 - 追加
		fAddEdge(liVNo1, liVNo2);
		fAddEdge(liVNo2, liVNo1);
	}

	// 開始頂点
	int liVNo1, liVNo2, liVNo3;
	for (liVNo1 = 0; liVNo1 < siVCnt; liVNo1++) {

		// 辺でループ
		Edge *lzpEdge1 = sz1Vtx[liVNo1].mzpEdge;
		while (lzpEdge1 != NULL) {
			liVNo2 = lzpEdge1->miVNo;

			// 辺でループ
			Edge *lzpEdge2 = sz1Vtx[liVNo2].mzpEdge;
			while (lzpEdge2 != NULL) {
				liVNo3 = lzpEdge2->miVNo;

				// 数字 - チェック
				if (sz1Vtx[liVNo1].liNum < sz1Vtx[liVNo2].liNum) {
					if (sz1Vtx[liVNo2].liNum > sz1Vtx[liVNo3].liNum) {
						if (sz1Vtx[liVNo1].liNum != sz1Vtx[liVNo3].liNum) {
							return 0;
						}
					}
				}
				else if (sz1Vtx[liVNo1].liNum > sz1Vtx[liVNo2].liNum) {
					if (sz1Vtx[liVNo2].liNum < sz1Vtx[liVNo3].liNum) {
						if (sz1Vtx[liVNo1].liNum != sz1Vtx[liVNo3].liNum) {
							return 0;
						}
					}
				}

				// 次の辺へ
				lzpEdge2 = lzpEdge2->mzpNext;
			}

			// 次の辺へ
			lzpEdge1 = lzpEdge1->mzpNext;
		}
	}

	return -1;
}

// １回実行
int
fOne(
)
{
	int liRet;
	char lc1Buf[1024];

	// データ - 初期化
	memset(sz1Vtx, 0, sizeof(sz1Vtx));							// 頂点
	siECnt = 0;													// 辺数

	// 入力 - セット
#ifdef D_TEST
	sprintf(lc1Buf, ".\\Test\\T%d.txt", siTNo);
	szpFpI = fopen(lc1Buf, "r");
	sprintf(lc1Buf, ".\\Test\\A%d.txt", siTNo);
	szpFpA = fopen(lc1Buf, "r");
	siRes = 0;
#else
	szpFpI = stdin;
#endif

	// 実行メイン
	liRet = fMain();

	// 出力
	if (liRet == 0) {
		sprintf(lc1Buf, "YES\n");
	}
	else {
		sprintf(lc1Buf, "NO\n");
	}
	fOut(lc1Buf);

	// 残データ有無
#ifdef D_TEST
	lc1Buf[0] = '\0';
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, "")) {
		siRes = -1;
	}
#endif

	// テストファイルクローズ
#ifdef D_TEST
	fclose(szpFpI);
	fclose(szpFpA);
#endif

	// テスト結果
#ifdef D_TEST
	if (siRes == 0) {
		printf("OK %d\n", siTNo);
	}
	else {
		printf("NG %d\n", siTNo);
	}
#endif

	return 0;
}

// プログラム開始
int
main()
{

#ifdef D_TEST
	int i;
	for (i = D_TEST_SNO; i <= D_TEST_ENO; i++) {
		siTNo = i;
		fOne();
	}
#else
	fOne();
#endif

	return 0;
}