#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; typedef long long ll; typedef unsigned int ui; const ll mod = 1000000007; const ll INF = (ll)1000000007 * 1000000007; typedef pair P; #define stop char nyaa;cin>>nyaa; #define rep(i,n) for(int i=0;i=0;i--) #define Rep(i,sta,n) for(int i=sta;i=sta;i--) #define rep1(i,n) for(int i=1;i<=n;i++) #define per1(i,n) for(int i=n;i>=1;i--) #define Rep1(i,sta,n) for(int i=sta;i<=n;i++) typedef long double ld; const ld eps = 1e-8; const ld pi = acos(-1.0); typedef pair LP; int dx[4]={1,-1,0,0}; int dy[4]={0,0,1,-1}; struct UnionFind { private: vector par,ran; vector edge,size; int n; public: UnionFind(int x){ n=x; par.resize(n,0); ran.resize(n,0); edge.resize(n,0); size.resize(n,1); rep(i,n){ par[i]=i; } } int find(int x) { if (par[x]==x)return x; else return par[x]=find(par[x]); } void unite(int x, int y) { x=find(x),y=find(y); if (x==y){ edge[x]++; return; } if (ran[x] es[2]; vector G[100010]; bool going[100010],backing[100010]; bool ans; void dfs(int s){ if(backing[s]) return; going[s]=true; for(int t:G[s]){ if(backing[t]) continue; if(going[t]){ ans=true; return; } dfs(t); } backing[s]=true; } void solve(){ cin >> n >> m; rep(i,m){ int a,b,c; cin >> a >> b >> c;a--;b--;c--; es[c].emplace_back(a,b); } UnionFind uf(n); for(P e:es[0]){ uf.unite(e.first,e.second); } rep(i,n){ if(uf.getEdge(i)>=uf.getSize(i)){ cout << "Yes" << endl; return; } } for(P e:es[1]){ G[uf.find(e.first)].push_back(uf.find(e.second)); } rep(i,n){ dfs(uf.find(i)); } if(ans) cout << "Yes" << endl; else cout << "No" << endl; } int main(){ ios::sync_with_stdio(false); cin.tie(0); cout << fixed << setprecision(50); solve(); }