#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 #include #include #include #include #define endl codeforces #define ALL(v) std::begin(v), std::end(v) #define ALLR(v) std::rbegin(v), std::rend(v) using ll = std::int64_t; using ull = std::uint64_t; using pii = std::pair; using tii = std::tuple; using pll = std::pair; using tll = std::tuple; template using vec = std::vector; template using vvec = vec>; template const T& var_min(const T &t) { return t; } template const T& var_max(const T &t) { return t; } template const T& var_min(const T &t, const Tail&... tail) { return std::min(t, var_min(tail...)); } template const T& var_max(const T &t, const Tail&... tail) { return std::max(t, var_max(tail...)); } template void chmin(T &t, const Tail&... tail) { t = var_min(t, tail...); } template void chmax(T &t, const Tail&... tail) { t = var_max(t, tail...); } template const T& clamp(const T &t, const T &low, const T &high) { return std::max(low, std::min(high, t)); } template void chclamp(T &t, const T &low, const T &high) { return t = clamp(t, low, high); } template T make_v(T init) { return init; } template auto make_v(T init, std::size_t s, Tail... tail) { auto v = std::move(make_v(init, tail...)); return vec(s, v); } template struct multi_dem_array { using type = std::array::type, Head>; }; template struct multi_dem_array { using type = std::array; }; template using mdarray = typename multi_dem_array::type; namespace init__ { struct InitIO { InitIO() { std::cin.tie(nullptr); std::ios_base::sync_with_stdio(false); std::cout << std::fixed << std::setprecision(30); } } init_io; } namespace graph { using Node = ll; using Weight = ll; using Edge = std::pair; template struct Graph : public vvec { using vvec::vvec; void add_edge(Node f, Node t, Weight w = 1) { (*this)[f].emplace_back(t, w); if (!Directed) (*this)[t].emplace_back(f, w); } Graph build_inv() const { Graph ret(this->size()); for (Node i = 0; i < this->size(); i++) { for (const Edge &e : (*this)[i]) { Node j; Weight w; std::tie(j, w) = e; if (!Directed && j < i) continue; ret.add_edge(j, i, w); } } return ret; } }; template class dst_iterator { Iterator ite; public: dst_iterator(Iterator ite) : ite(ite) { } bool operator ==(const dst_iterator &oth) const { return ite == oth.ite; } bool operator !=(const dst_iterator &oth) const { return !(*this == oth); } bool operator <(const dst_iterator &oth) const { return ite < oth.ite; } bool operator >(const dst_iterator &oth) const { return ite > oth.ite; } bool operator <=(const dst_iterator &oth) const { return ite <= oth.ite; } bool operator >=(const dst_iterator &oth) const { return ite >= oth.ite; } const Node& operator *() { return ite->first; } const Node& operator *() const { return ite->first; } dst_iterator operator ++() { ++ite; return ite; } }; class dst_iteration { using ite_type = vec::const_iterator; const vec &edges; public: dst_iteration(const vec &edges) : edges(edges) { } auto begin() const { return dst_iterator(edges.cbegin()); } auto end() const { return dst_iterator(edges.cend()); } }; dst_iteration dst(const vec &edges) { return dst_iteration(edges); } } namespace graph { template class StronglyConnectedComponents { const Graph &graph; Graph rgraph; vec label, scc_ord; void dfs1(ll cur, ll &l) { label[cur] = -2; for (const graph::Edge &e : graph[cur]) { ll nxt; std::tie(nxt, std::ignore) = e; if (label[nxt] != -1) continue; dfs1(nxt, l); } label[cur] = l++; } void write_label() { ll l = 0; for (ll i = 0; i < graph.size(); i++) if (label[i] == -1) dfs1(i, l); } void dfs2(ll cur, ll l, ll &idx, vec &result) { result[cur] = l; scc_ord[idx++] = cur; for (const graph::Edge &e : rgraph[cur]) { ll nxt; std::tie(nxt, std::ignore) = e; if (result[nxt] != -1) continue; dfs2(nxt, l, idx, result); } } vec build_scc() { ll l = 0; vec result(graph.size(), -1), ord(rgraph.size()); std::iota(ALL(ord), 0ll); std::sort(ALL(ord), [&](ll i, ll j) { return label[i] > label[j]; }); ll idx = 0; for (ll n : ord) if (result[n] == -1) dfs2(n, l++, idx, result); return result; } public: StronglyConnectedComponents(const Graph &graph) : graph(graph), label(graph.size(), -1), scc_ord(graph.size()) { rgraph = graph.build_inv(); } vec build() { vec result(graph.size(), -1); write_label(); return build_scc(); } std::pair<::graph::Graph, vec> build_scc_graph() { auto scc_label = build(); ::graph::Graph scc_graph(*max_element(ALL(scc_label)) + 1); for (ll from = 0; from < graph.size(); from++) for (auto &&e : graph[from]) { ll to; std::tie(to, std::ignore) = e; ll lf = scc_label[from], lt = scc_label[to]; if (lf != lt) scc_graph.add_edge(lf, lt); } return std::make_pair(std::move(scc_graph), std::move(scc_label)); } }; template using SCC = StronglyConnectedComponents; } bool solve() { ll n, m; std::cin >> n >> m; return true; graph::Graph g(n); std::map st; while (m--) { ll a, b, c; std::cin >> a >> b >> c; a--; b--; g.add_edge(a, b); if (c == 1) g.add_edge(b, a); if (a > b) std::swap(a, b); st[pll(a, b)]++; } for (auto &&e : st) if (2 <= e.second) return true; graph::SCC> scc(g); auto label = scc.build(); std::map cnt; for (ll e : label) cnt[e]++; for (auto &&e : cnt) if (3 <= e.second) return true; return false; } int main() { std::cout << (solve() ? "Yes" : "No") << '\n'; return 0; }