#define _CRT_SECURE_NO_WARNINGS #define _USE_MATH_DEFINES #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; typedef long double ld; typedef long long ll; typedef vector vint; typedef vector vll; typedef pair pii; typedef pair pll; typedef pair pdd; typedef complex compd; #define quickIO() {cin.tie(0); cout.sync_with_stdio(false);} #define reach(i,a) for(auto i:a) #define rep(i,n) for(int i=0;i<((int)n);i++) #define REP(i,n) for(int i=0;i<=((int)n);i++) #define srep(i,a,n) for(int i=a;i<((int)n);i++) #define SREP(i,a,n) for(int i=a;i<=((int)n);i++) #define rrep(i,n) for(int i=n-1;i>=0;i--) #define RREP(i,n) for(int i=n;i>=0;i--) #define all(a) (a).begin(),(a).end() #define mp(a,b) make_pair(a,b) #define mt make_tuple #define pb push_back template istream& operator >> (istream& is, vector& vec) { for (T& x : vec) is >> x; return is; } template ostream& operator << (ostream& os, vector& vec) { os << "["; rep(i, vec.size()) os << (i ? ", " : "") << vec[i]; os << "]"; return os; } template istream& operator >> (istream& is, pair& p) { is >> p.first >> p.second; return is; } template ostream& operator << (ostream& os, pair& p) { os << p.first << " " << p.second; return os; } template bool operator < (vector& a, vector& b) { rep(i, a.size()) { if (i == b.size()) return false; if (a[i] < b[i]) return true; else if (a[i] > b[i]) return false; } return false; } template bool operator > (vector& a, vector& b) { rep(i, a.size()) { if (i == b.size()) return true; if (a[i] < b[i]) return false; else if (a[i] > b[i]) return true; } return false; } int bitcnt(ll x) { x = ((x & 0xAAAAAAAAAAAAAAAA) >> 1) + (x & 0x5555555555555555); x = ((x & 0xCCCCCCCCCCCCCCCC) >> 2) + (x & 0x3333333333333333); x = ((x & 0xF0F0F0F0F0F0F0F0) >> 4) + (x & 0x0F0F0F0F0F0F0F0F); x = ((x & 0xFF00FF00FF00FF00) >> 8) + (x & 0x00FF00FF00FF00FF); x = ((x & 0xFFFF0000FFFF0000) >> 16) + (x & 0x0000FFFF0000FFFF); x = ((x & 0xFFFFFFFF00000000) >> 32) + (x & 0x00000000FFFFFFFF); return x; } int bitcnt(int x) { x = ((x & 0xAAAAAAAA) >> 1) + (x & 0x55555555); x = ((x & 0xCCCCCCCC) >> 2) + (x & 0x33333333); x = ((x & 0xF0F0F0F0) >> 4) + (x & 0x0F0F0F0F); x = ((x & 0xFF00FF00) >> 8) + (x & 0x00FF00FF); x = ((x & 0xFFFF0000) >> 16) + (x & 0x0000FFFF); return x; } ll sqrtll(ll x) { ll left = 0, right = x; rep(i, 100) { ll mid = (left + right) >> 1; if (mid * mid <= x) left = mid; else right = mid; } return left; } ll gcd(ll a, ll b) { return b == 0 ? a : gcd(b, a % b); } #define debug(x) printf("Case #%d: ", x) #undef DEBUG const ld infl = 1e100; const ll mod = 998244353; const ld eps = 1e-9; const ll inf = 1e15; const int dx[] = { 1,0,-1,0,1, -1 }; const int dy[] = { 0,1,0,-1,1, -1 }; vint uedge[100000]; set dedge_set[100000]; vint dedge[100000]; int group[100000]; bool found[100000]; bool visit[100000]; bool udfs(int pos, int k, int p) { group[pos] = k; for (int to : uedge[pos]) { if (to == p) continue; if (group[to] != -1) return true; if (udfs(to, k, pos)) return true; } return false; } bool ddfs(int pos) { found[pos] = true; for (int to : dedge[pos]) { if (found[to] && !visit[to]) return true; if (ddfs(to)) return true; } visit[pos] = true; return false; } int main() { int n, m; cin >> n >> m; rep(i, m) { int a, b, c; cin >> a >> b >> c; a--; b--; if (c == 1) { uedge[a].push_back(b); uedge[b].push_back(a); } else if (c == 2) { dedge[a].push_back(b); } } rep(i, n) group[i] = -1; // 無向グラフのみで閉路があるか rep(i, n) { if (group[i] == -1) { if (udfs(i, i, -1)) { cout << "Yes" << endl; return 0; } } } // 無向グラフの辺を縮約して有効グラフのみに rep(i, n) { for (int to : dedge[i]) { dedge_set[group[i]].insert(group[to]); } } rep(i, n) { dedge[i] = vint(all(dedge_set[i])); } rep(i, n) { if (group[i] == i && !visit[i]) { if (ddfs(i)) { cout << "Yes" << endl; return 0; } } } cout << "No" << endl; return 0; }