n,m=map(int,input().split()) a=list(map(int,input().split())) b=[[]for _ in range(n)] for i in range(m): s,t=map(int,input().split()) b[s-1].append(t-1) b[t-1].append(s-1) for i in range(2**n): c=[0 for _ in range(n)] ans=[] for j in range(n): if i>>j&1: ans.append(1) for k in b[j]: c[k]+=1 else: ans.append(0) if a==c: print('Yes') print(*ans) print('No')