#include using namespace std; template struct XorUnionFind { std::vector d; std::vector p; XorUnionFind(int n = 0) : d(n, -1), p(n, 0) {} // returns the leader of x int leader(int x) { if (d[x] < 0) return x; int r = leader(d[x]); p[x] ^= p[d[x]]; return d[x] = r; } // merge x and y with a condition that w = weight(y) ^ weight(x) bool merge(int x, int y, T w) { w ^= potential(x) ^ potential(y); x = leader(x); y = leader(y); if (x == y) return false; if (d[x] > d[y]) std::swap(x, y); d[x] += d[y]; d[y] = x; p[y] = w; return true; } // returns if x and y are connected bool same(int x, int y) { return leader(x) == leader(y); } // returns the size of component that x belongs to int size(int x) { return -d[leader(x)]; } // returns potential(x) := weight(x) ^ weight(leader(x)) long long potential(int x) { leader(x); return p[x]; } }; int main() { int n, m; cin >> n >> m; vector> ab; XorUnionFind uf(n); for (int i = 0; i < m; i++) { int a, b; cin >> a >> b; a--; b--; ab.push_back({a, b}); uf.merge(a, b, 1); } for (int i = 0; i < m; i++) { auto [a, b] = ab[i]; if ((int)(uf.potential(a) ^ uf.potential(b)) == 0) { cout << "No" << endl; return 0; } } cout << "Yes" << endl; }