#include using namespace std; using ll = long long; using Graph = vector< vector >; constexpr char newl = '\n'; struct UnionFind { //各要素が属する集合の代表(根)を管理する //もし、要素xが根であればdata[x]は負の値を取り、-data[x]はxが属する集合の大きさに等しい vector data; UnionFind(int sz) : data(sz, -1) {} bool unite(int x, int y) { x = find(x); y = find(y); bool is_union = (x != y); if (is_union) { if (data[x] > data[y]) swap(x, y); data[x] += data[y]; data[y] = x; } return is_union; } int find(int x) { if (data[x] < 0) { //要素xが根である return x; } else { data[x] = find(data[x]); //data[x]がxの属する集合の根でない場合、根になるよう更新される return data[x]; } } bool same(int x, int y) { return find(x) == find(y); } int size(int x) { return -data[find(x)]; } }; bool dfs(int cur, vector& memo, const Graph& g, vector& order) { memo[cur] = 1; for (int nex : g[cur]) { cerr << cur << " " << nex << newl; if (memo[nex] == 2) continue; if (memo[nex] == 1) return false; if (!dfs(nex, memo, g, order)) return false; } memo[cur] = 2; order.push_back(cur); return true; } bool tsort(const Graph& g, vector& order) { vector memo(g.size(), 0); for (int i = 0; i < g.size(); i++) { if (memo[i] != 0) continue; if (!dfs(i, memo, g, order)) return false; } reverse(order.begin(), order.end()); return true; } int main() { cin.tie(nullptr); ios::sync_with_stdio(false); int n, m; cin >> n >> m; Graph g(n); UnionFind uf(n); for (int i = 0; i < m; i++) { int a, b, c; cin >> a >> b >> c; --a; --b; if (c == 1) { if (uf.same(a, b)) { cout << "Yes\n"; return 0; } uf.unite(a, b); } else { g[a].push_back(b); } } Graph g2(n); for (int i = 0; i < n; i++) { int i2 = uf.find(i); for (int j : g[i]) { g2[i2].push_back(uf.find(j)); } } vector order; if (!tsort(g2, order)) { cout << "Yes\n"; return 0; } cout << "No\n"; return 0; }