#define LOCAL #include using namespace std; #pragma region Macros typedef long long ll; typedef __int128_t i128; typedef unsigned int uint; typedef unsigned long long ull; #define ALL(x) (x).begin(), (x).end() template istream& operator>>(istream& is, vector& v) { for (T& x : v) is >> x; return is; } template ostream& operator<<(ostream& os, const vector& v) { for (int i = 0; i < (int)v.size(); i++) { os << v[i] << (i + 1 == (int)v.size() ? "" : " "); } return os; } template ostream& operator<<(ostream& os, const pair& p) { os << '(' << p.first << ',' << p.second << ')'; return os; } template ostream& operator<<(ostream& os, const tuple& t) { os << '(' << get<0>(t) << ',' << get<1>(t) << ',' << get<2>(t) << ')'; return os; } template ostream& operator<<(ostream& os, const tuple& t) { os << '(' << get<0>(t) << ',' << get<1>(t) << ',' << get<2>(t) << ',' << get<3>(t) << ')'; return os; } template ostream& operator<<(ostream& os, const map& m) { os << '{'; for (auto itr = m.begin(); itr != m.end();) { os << '(' << itr->first << ',' << itr->second << ')'; if (++itr != m.end()) os << ','; } os << '}'; return os; } template ostream& operator<<(ostream& os, const unordered_map& m) { os << '{'; for (auto itr = m.begin(); itr != m.end();) { os << '(' << itr->first << ',' << itr->second << ')'; if (++itr != m.end()) os << ','; } os << '}'; return os; } template ostream& operator<<(ostream& os, const set& s) { os << '{'; for (auto itr = s.begin(); itr != s.end();) { os << *itr; if (++itr != s.end()) os << ','; } os << '}'; return os; } template ostream& operator<<(ostream& os, const multiset& s) { os << '{'; for (auto itr = s.begin(); itr != s.end();) { os << *itr; if (++itr != s.end()) os << ','; } os << '}'; return os; } template ostream& operator<<(ostream& os, const unordered_set& s) { os << '{'; for (auto itr = s.begin(); itr != s.end();) { os << *itr; if (++itr != s.end()) os << ','; } os << '}'; return os; } template ostream& operator<<(ostream& os, const deque& v) { for (int i = 0; i < (int)v.size(); i++) { os << v[i] << (i + 1 == (int)v.size() ? "" : " "); } return os; } void debug_out() { cerr << '\n'; } template void debug_out(Head&& head, Tail&&... tail) { cerr << head; if (sizeof...(Tail) > 0) cerr << ", "; debug_out(move(tail)...); } #ifdef LOCAL #define debug(...) \ cerr << " "; \ cerr << #__VA_ARGS__ << " :[" << __LINE__ << ":" << __FUNCTION__ << "]" << '\n'; \ cerr << " "; \ debug_out(__VA_ARGS__) #else #define debug(...) 42 #endif template T gcd(T x, T y) { return y != 0 ? gcd(y, x % y) : x; } template T lcm(T x, T y) { return x / gcd(x, y) * y; } template inline bool chmin(T1& a, T2 b) { if (a > b) { a = b; return true; } return false; } template inline bool chmax(T1& a, T2 b) { if (a < b) { a = b; return true; } return false; } #pragma endregion /** * @brief Cycle Detection * @docs docs/graph/CycleDetection.md */ template struct CycleDetection { vector> G; vector seen, finished; stack hist; int pos; CycleDetection(int n) : G(n), seen(n, 0), finished(n, 0), pos(-1) {} void add_edge(int u, int v) { G[u].emplace_back(v); } void dfs(int v, int p) { seen[v] = 1; hist.emplace(v); for (int u : G[v]) { if (!directed && u == p) continue; if (finished[u]) continue; if (seen[u] && !finished[u]) { pos = u; return; } dfs(u, v); if (~pos) return; } finished[v] = 1; hist.pop(); } vector build() { for (int v = 0; v < (int)G.size(); v++) { if (!seen[v]) dfs(v, -1); if (~pos) break; } vector res; while (!hist.empty()) { int t = hist.top(); hist.pop(); res.emplace_back(t); if (t == pos) break; } return res; } }; /** * @brief Topological Sort * @docs docs/graph/TopologicalSort.md */ struct TopologicalSort { vector> G; vector seen, order; TopologicalSort(int n) : G(n), seen(n) {} void add_edge(int u, int v) { G[u].emplace_back(v); } void dfs(int v) { seen[v] = 1; for (int u : G[v]) { if (!seen[u]) dfs(u); } order.emplace_back(v); } vector build() { for (int i = 0; i < (int)G.size(); i++) { if (!seen[i]) dfs(i); } reverse(order.begin(), order.end()); return order; } int operator[](int i) { return order[i]; } }; const int INF = 1e9; const long long IINF = 1e18; const int dx[4] = {1, 0, -1, 0}, dy[4] = {0, 1, 0, -1}; const char dir[4] = {'D', 'R', 'U', 'L'}; const long long MOD = 1000000007; // const long long MOD = 998244353; bool kadomatsu(const vector& v) { if (v[0] == v[1]) return false; if (v[1] == v[2]) return false; if (v[2] == v[0]) return false; return min({v[0], v[1], v[2]}) == v[1] || max({v[0], v[1], v[2]}) == v[1]; } bool check(int N, vector a, vector ans) { vector x(N); for (int i = 0; i < N; i++) x[i] = ans[a[i]]; for (int i = 0; i + 2 < N; i++) { if (!kadomatsu({x[i], x[i + 1], x[i + 2]})) { return false; } } return true; } int main() { cin.tie(0); ios::sync_with_stdio(false); int N, M; cin >> N >> M; vector a(N); for (int& x : a) cin >> x, x--; auto solve = [&](int x) -> vector { CycleDetection CD(M); TopologicalSort TS(M); for (int i = 0; i < N - 1; i++) { int u = a[i], v = a[i + 1]; if (i & 1) swap(u, v); if (x) swap(u, v); CD.add_edge(u, v); TS.add_edge(u, v); } if (!CD.build().empty()) return {}; TS.build(); vector res(M); for (int i = 0; i < M; i++) res[TS[i]] = i + 1; return res; }; vector ans; for (int i = 0; i < 2; i++) { ans = solve(i); if (!ans.empty()) break; } if (ans.empty()) { cout << "No" << '\n'; return 0; } if (!check(N, a, ans)) { cout << "No" << '\n'; return 0; } cout << "Yes" << '\n'; cout << ans << '\n'; return 0; }