#define _GLIBCXX_DEBUG #include using namespace std; #define rep(i,x) for(ll i = 0; i < (ll)(x); i++) #define rrep(i,x) for(ll i = (ll)(x)-1;0 <= i; i--) #define reps(i,x) for(ll i = 1; i < (ll)(x)+1; i++) #define rreps(i,x) for(ll i = (ll)(x); 1 <= i; i--) #define debug(x) cerr << #x << ": " << (x) << "\n"; #define all(x) (x).begin(), (x).end() typedef long long ll; typedef long double ld; typedef pair P; typedef pair Pll; typedef vector vl; typedef vector> vvl; typedef vector>> vvvl; const ll INF = numeric_limits::max()/4; const int n_max = 1e5+10; #define int ll //頂点fromから頂点toへのコストcostの辺 template struct edge{ int f,t; T c; int id; edge(){}; edge(int f,int t,T c,int id = 0):f(f),t(t),c(c),id(id){}; bool operator< (const edge &s){ return c < s.c; } }; template struct graph{ std::vector > > data; graph(int v):data(v){}; void add_edge(edge &e){ data[e.f].push_back(e); } void add_edge(int f,int t,T c){ data[f].emplace_back(f,t,c); } size_t size(){ return data.size(); } std::vector> make_edges(){ std::vector> r; for(auto &i:data)std::copy(i.begin(),i.end(),std::back_inserter(r)); return r; } }; vector is_moved(n_max,0); template void reach(graph &g, int pos){ is_moved[pos] = 1; for(auto i : g.data[pos]){ if(!is_moved[i.t]){ reach(g, i.t); } } } template std::vector bellmanford(graph &g, int s){ const T INF = std::numeric_limits::max()/4; std::vector data(g.size(),INF); data[s] = 0; for(int i=0;i::min()); fill(is_moved.begin(),is_moved.end(),0); reach(g,e.f); for(T i = 0; i < g.data.size();i++){ if(is_moved[i])data[i] = -INF; } break; } } return data; }; void print() { cout << endl; } template void print(Head&& head, Tail&&... tail) { cout << head; if (sizeof...(tail) != 0) cout << ' '; print(forward(tail)...); } template void print(vector &vec) { for (auto& a : vec) { cout << a; if (&a != &vec.back()) cout << ' '; } cout << endl; } template void print(vector> &df) { for (auto& vec : df) { print(vec); } } template void print(pair &p){ print(p.first, p.second); } signed main(){ cin.tie(nullptr); ios::sync_with_stdio(false); ll n,m; cin >> n >> m; graph g(n); rep(i,m) { ll a,b,c; cin >> a >> b >> c; a--;b--; if(c == 1){ g.add_edge(a, b, -1); g.add_edge(b, a, 1); } else{ g.add_edge(a, b, -1); } } auto vec = bellmanford(g, 0); // print(vec); cout << (*min_element(all(vec)) == -INF ? "Yes" : "No") << endl; }