#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; using Int = long long; template ostream &operator<<(ostream &os, const pair &a) { return os << "(" << a.first << ", " << a.second << ")"; }; template void pv(T a, T b) { for (T i = a; i != b; ++i) cerr << *i << " "; cerr << endl; } template bool chmin(T &t, const T &f) { if (t > f) { t = f; return true; } return false; } template bool chmax(T &t, const T &f) { if (t < f) { t = f; return true; } return false; } using BS = bitset<100010>; #ifdef LOCAL constexpr int BLOCK = 2; #else constexpr int BLOCK = 300; #endif int N, Q; vector A, B; int main() { for (; ~scanf("%d%d", &N, &Q); ) { A.resize(Q); B.resize(Q); for (int i = 0; i < Q; ++i) { scanf("%d", &A[i]); } for (int i = 0; i < Q; ++i) { scanf("%d", &B[i]); } vector is; for (int i = 0; i < Q; i += BLOCK) { is.push_back(i); } const int len = is.size(); is.push_back(Q); vector bss(len + 1); bss[0].reset(); for (int x = 1; x <= N; ++x) { bss[0][x] = true; } for (int j = 0; j < len; ++j) { BS bs = bss[j]; for (int i = is[j]; i < is[j + 1]; ++i) { bs = bs >> 1 | bs | bs << 1; bs[0] = false; bs[N + 1] = false; bs[A[i]] = false; bs[B[i]] = false; } bss[j + 1] = bs; } if (bss[len].any()) { vector ans(Q + 1); ans[Q] = bss[len]._Find_first(); for (int j = len; --j >= 0; ) { vector css(is[j + 1] - is[j] + 1); css[0] = bss[j]; for (int i = is[j]; i < is[j + 1]; ++i) { const int pos = i - is[j]; css[pos + 1] = css[pos] >> 1 | css[pos] | css[pos] << 1; css[pos + 1][0] = false; css[pos + 1][N + 1] = false; css[pos + 1][A[i]] = false; css[pos + 1][B[i]] = false; } for (int i = is[j + 1]; --i >= is[j]; ) { const int pos = i - is[j]; for (int x = ans[i + 1] - 1; x <= ans[i + 1] + 1; ++x) { if (css[pos][x]) { ans[i] = x; break; } } assert(ans[i]); } } puts("YES"); for (int i = 0; i <= Q; ++i) { printf("%d\n", ans[i]); } } else { puts("NO"); } } return 0; }