#define rep(i,n) for(int i=0;i<(int)(n);i++) #define ALL(v) v.begin(),v.end() typedef long long ll; #include #include using namespace std; using namespace atcoder; class Dis{ public: vector rank,p,siz; Dis(int s){ rank.resize(s,0); p.resize(s,0); siz.resize(s,1); rep(i,s) makeSet(i); } void makeSet(int x){ p[x]=x; rank[x]=0; } bool same(int x,int y){ return root(x)==root(y); } void unite(int x,int y){ if(same(x,y)) return; link(root(x),root(y)); } void link(int x,int y){ if(rank[x]>rank[y]){ p[y]=x; siz[x]+=siz[y]; } else{ p[x]=y; siz[y]+=siz[x]; if(rank[x]==rank[y]) rank[y]++; } } int root(int x){ if(x != p[x]) p[x]=root(p[x]); return p[x]; } int size(int x){ return siz[root(x)]; } }; int main(){ ios::sync_with_stdio(false); std::cin.tie(nullptr); int n,m; cin>>n>>m; Dis ds=Dis(2*n); vector AA(m),BB(m),EE(m); rep(i,m){ int a,b; string e; cin>>a>>e>>b; a--,b--; AA[i]=a,BB[i]=b; if(e=="<==>"){ EE[i]=0; ds.unite(a,b); ds.unite(a+n,b+n); } else{ EE[i]=1; ds.unite(a,b+n); ds.unite(b,a+n); } } vector A; rep(i,n){ if(ds.root(i)==ds.root(i+n)) continue; A.push_back(i); } int a=A.size(); if(a<(n+1)/2){ cout<<"No"< ma; rep(i,a){ ma[A[i]]=i; } scc_graph g(2*a); rep(i,m){ if(!ma.count(AA[i]) || !ma.count(BB[i])) continue; if(EE[i]==0){ g.add_edge(ma[AA[i]],ma[BB[i]]); g.add_edge(ma[BB[i]],ma[AA[i]]); g.add_edge(ma[AA[i]]+a,ma[BB[i]]+a); g.add_edge(ma[BB[i]]+a,ma[AA[i]]+a); } else{ g.add_edge(ma[AA[i]],ma[BB[i]]+a); g.add_edge(ma[BB[i]]+a,ma[AA[i]]); g.add_edge(ma[AA[i]]+a,ma[BB[i]]); g.add_edge(ma[BB[i]],ma[AA[i]]+a); } } auto scc=g.scc(); int b=scc.size(); vector D(2*a); rep(i,b){ int t=scc[i].size(); rep(j,t){ D[scc[i][j]]=i; } } vector E; rep(i,a){ if(D[i]==D[i+a]){ cout<<"No"<D[i+a]){ E.push_back(i); } } int e=E.size(); if(e>=(n+1)/2){ cout<<"Yes"<