n,q=map(int,input().split())
L=list(map(int,input().split()))
Q=[list(map(int,input().split())) for _ in range(q)]

import sys
sys.setrecursionlimit(10**8)

par=[i for i in range(n+1)]
rank=[0]*(n+1)

def find(x):
  if par[x]==x:
    return x
  else:
    par[x]=find(par[x])
    return par[x]

def same(x,y):
  return find(x)==find(y)

def unit(x,y):
  x=find(x)
  y=find(y)
  if x==y:
    return 0
  if rank[x]<rank[y]:
    par[x]=y
  else:
    par[y]=x
    if rank[x]==rank[y]:
      rank[x]+=1
    
for i in range(1,1+n):
  if L[i-1]==-1:
    L[i-1]=i
for i in range(1,1+n):
  if L[i-1]!=i:
    unit(i,L[i-1])
    
for a,b in Q:
  if same(a,b):
    print("Yes")
  else:
    print("No")