#include //#include //#pragma GCC optimize("Ofast") using namespace std; #define reps(i,s,n) for(int i = s; i < n; i++) #define rep(i,n) reps(i,0,n) #define Rreps(i,n,e) for(int i = n - 1; i >= e; --i) #define Rrep(i,n) Rreps(i,n,0) #define ALL(a) a.begin(), a.end() using ll = long long; using vec = vector; using mat = vector; ll N,M,H,W,Q,K,A,B; string S; using P = pair; const ll INF = (1LL<<60); template bool chmin(T &a, const T &b){ if(a > b) {a = b; return true;} else return false; } template bool chmax(T &a, const T &b){ if(a < b) {a = b; return true;} else return false; } template void my_printv(std::vector v,bool endline = true){ if(!v.empty()){ for(std::size_t i{}; i que; rep(i, M){ num[i] = rg[i].size(); if(num[i] == 0){ que.push(i); } } while(!que.empty()){ int v = que.front(); que.pop(); val[v] = res++; for(int to : g[v]){ if(--num[to] == 0){ que.push(to); } } } if(accumulate(ALL(num), 0LL) == 0){ cout<<"Yes"<>N>>M; vec a(N); rep(i, N) {cin>>a[i]; --a[i];} rep(i, N - 1) if(a[i] == a[i+1]) no(); rep(i, N - 2) if(a[i] == a[i+2]) no(); mat G1(M), G2(M); rep(i, N - 1){ auto &g = (i&1 ? G1 : G2), &h = (i&1 ? G2 : G1); g[a[i]].push_back(a[i + 1]); h[a[i + 1]].push_back(a[i]); } solve(G1, G2); solve(G2, G1); no(); }