n,Q = map(int,input().split())
*a, = map(int,input().split())
*b, = map(int,input().split())
L = [0]*Q
R = [0]*Q
l,r = 0,n-1

def check(v,lst,a,b):
    if v==a or v==b: return False
    return not(v-1 in lst and v in lst and v+1 in lst)

for i in range(Q)[::-1]:
    ai = a[i]-1
    bi = b[i]-1
    lst = [l-1,l-2,r+1,r+2]
    for ll in range(max(l-1,0),l+3):
        if check(ll,lst,ai,bi): break
    for rr in range(min(n-1,r+1),r-3,-1):
        if check(rr,lst,ai,bi): break
    L[i], R[i] = ll+1,rr+1
    l,r = ll,rr
    if ll > rr:
        print("NO")
        exit()

#print(L)
#print(R)
print("YES")
def ok(x,i):
    return x >= L[i] and x <= R[i] and x != a[i] and x != b[i]

v = L[0]
print(v)
for i in range(Q):
    for x in [v-1,v,v+1]:
        if ok(x,i): break
    else:
        assert 0
    v = x
    print(v)