#include using namespace std; using ll = long long; struct UnionFind { int ngroup, N; vector par, siz, mn; UnionFind(int _N) : N(_N), par(_N), siz(_N), mn(_N) { ngroup = _N; for(int i = 0; i < N; i++) par[i] = i, siz[i] = 1, mn[i] = i; } int root(int x) { if (par[x] == x) return x; return par[x] = root(par[x]); } int unite(int x, int y) { int rx = root(x), ry = root(y); if (rx == ry) return rx; ngroup--; if (siz[rx] > siz[ry]) swap(rx, ry); par[rx] = ry; siz[ry] += siz[rx]; mn[ry] = min(mn[rx], mn[ry]); return ry; } bool same(int x, int y) { int rx = root(x), ry = root(y); return rx == ry; } int size(int x) {return siz[root(x)];} int mindex (int x) {return mn[root(x)];} //xを含む連結成分の最小の頂点番号 int group_count() {return ngroup;} vector> groups(){ vector rev(N); int nrt=0; for (int i=0; i> res(nrt); for (int i=0; i> N >> M; vector>> E(N); vector color(N, -1); vector> bb, ww; vector b, w; string S; vector> a, c; for (int i=0; i> x >> S >> y; x--; y--; if (S == "<==>") a.push_back({x, y}); else c.push_back({x, y}); } //同じ for (auto [x, y] : a){ E[x].push_back({y, 1}); E[y].push_back({x, 1}); } for (auto [x, y] : c){ E[x].push_back({y, -1}); E[y].push_back({x, -1}); } auto dfs=[&](auto self, int from, int c)->void{ if (c == 1) b.push_back(from); else w.push_back(from); for (auto [to, tp] : E[from]){ if (color[to] != -1){ if (tp == 1 && color[to] != color[from]){ cout << "No" << endl; exit(0); } else if (tp == -1 && color[to] == color[from]){ cout << "No" << endl; exit(0); } else continue; } if (tp == 1) color[to] = c; else color[to] = 1-c; self(self, to, color[to]); } }; for (int i=0; i ans; for (int i=0; i ww[i].size()){ for (auto x : bb[i]) ans.push_back(x); } else{ for (auto x : ww[i]) ans.push_back(x); } } cout << "Yes" << endl; sort(ans.begin(), ans.end()); cout << ans.size() << endl; for (auto x : ans) cout << x+1 << " "; cout << endl; return 0; }