Problem - 1810E - Codeforces

思路：我们总结一下题意，能够得到这个题其实就是让我们从某个0开始搜索，然后看看是否可以遍历所有得节点，那么如果采用暴力得话那就是n^2logn，因为我们遍历一次使用优先队列得话是nlogn的，但是通过总结我们发现了一个性质，每个点被遍历的次数不超过logn次，因为假设在我们现在正在遍历以u开始的点，那么假设在某一次遍历中遍历到了一个节点t，这个节点已经在以v开始的节点中被遍历过了，那么如果我现在能够遍历到节点t，那么就代表我可以遍历所有v能够遍历到的点，那么现在的数量起码就是cnt[v]*2，那么我们知道了，每次重复遍历一个节点，那么能够遍历到的点就会乘以2，那么每个点最多只会被遍历logn次

// Problem: E. Monsters
// Contest: Codeforces - CodeTON Round 4 (Div. 1 + Div. 2, Rated, Prizes!)
// URL: https://codeforces.com/problemset/problem/1810/E?mobile=false
// Memory Limit: 256 MB
// Time Limit: 2000 ms

#include<bits/stdc++.h>
#include<sstream>
#include<cassert>
#define fi first
#define se second
#define i128 __int128
using namespace std;
typedef long long ll;
typedef double db;
typedef pair<int,int> PII;
const double eps=1e-7;
const int N=5e5+7 ,M=5e5+7, INF=0x3f3f3f3f,mod=1e9+7,mod1=998244353;
const long long int llINF=0x3f3f3f3f3f3f3f3f;
inline ll read() {ll x=0,f=1;char c=getchar();while(c<'0'||c>'9') {if(c=='-') f=-1;c=getchar();}
while(c>='0'&&c<='9') {x=(ll)x*10+c-'0';c=getchar();} return x*f;}
inline void write(ll x) {if(x < 0) {putchar('-'); x = -x;}if(x >= 10) write(x / 10);putchar(x % 10 + '0');}
inline void write(ll x,char ch) {write(x);putchar(ch);}
void stin() {freopen("in_put.txt","r",stdin);freopen("my_out_put.txt","w",stdout);}
bool cmp0(int a,int b) {return a>b;}
template<typename T> T gcd(T a,T b) {return b==0?a:gcd(b,a%b);}
template<typename T> T lcm(T a,T b) {return a*b/gcd(a,b);}
void hack() {printf("\n----------------------------------\n");}

int T,hackT;
int n,m,k;
int cost[N];
int h[N],e[M],ne[M],idx;
bool st[N];
int stt[N];

void add(int a,int b) {
	e[idx]=b,ne[idx]=h[a],h[a]=idx++;
}

bool bfs(int u) {
	priority_queue<PII,vector<PII>,greater<PII> > q;
	q.push({cost[u],u});
	
	int res=0;
	while(q.size()) {
		auto it=q.top();
		q.pop();
		
		int ver=it.se;
		if(it.fi>res) break;
		
		if(stt[ver]==u) continue;
		st[ver]=true;
		stt[ver]=u;
		res++;
		
		for(int i=h[ver];i!=-1;i=ne[i]) {
			int j=e[i];
			
			q.push({cost[j],j});
		}
	}
	
	return res==n;
}

void solve() {
	n=read(),m=read();
	
	memset(st,false,sizeof(bool)*(n+4));
	memset(stt,0,sizeof(int)*(n+4));
	for(int i=1;i<=n;i++) cost[i]=read();
	
	memset(h,-1,sizeof(int)*(n+4));
	idx=0;
	while(m--) {
		int a=read(),b=read();
		add(a,b),add(b,a);
	}
	
	bool flag=false;
	for(int i=1;i<=n;i++) {
		if(st[i]) continue;
		if(cost[i]!=0) continue;
		if(bfs(i)) {
			flag=true;
		}
	}
	
	if(flag) printf("YES\n");
	else printf("NO\n");
}   

int main() {
    // init();
    // stin();
	// ios::sync_with_stdio(false); 

    scanf("%d",&T);
    // T=1; 
    while(T--) hackT++,solve();
    
    return 0;       
}