#pragma region Macros // #pragma GCC target("avx,avx2,fma") // #pragma GCC optimize("O3") // #pragma GCC optimize("unroll-loops") #include // #include using namespace std; using namespace __gnu_pbds; // using namespace __gnu_cxx; // #include // #include // #include // using namespace atcoder; // #include // namespace mp = boost::multiprecision; // using Bint = mp::cpp_int; #define TO_STRING(var) # var #define pb emplace_back #define int ll #define endl '\n' using ll = long long; using ld = long double; const ld PI = acos(-1); const ld EPS = 1e-10; const ll INFL = 1LL << 61; // const int MOD = 998244353; const int MOD = 1000000007; __attribute__((constructor)) void constructor() { ios::sync_with_stdio(false); cin.tie(nullptr); cout << fixed << setprecision(15); } template class modint{ public: int val = 0; modint(int x = 0) { while (x < 0) x += mod; val = x % mod; } modint(const modint &r) { val = r.val; } // コピーコンストラクタ modint operator -(){ return modint(-val); } // 単項 modint operator +(const modint &r) { return modint(*this) += r; } modint operator -(const modint &r) { return modint(*this) -= r; } modint operator *(const modint &r) { return modint(*this) *= r; } modint operator /(const modint &r) { return modint(*this) /= r; } modint &operator +=(const modint &r) { val += r.val; if (val >= mod) val -= mod; return *this; } modint &operator -=(const modint &r) { if (val < r.val) val += mod; val -= r.val; return *this; } modint &operator *=(const modint &r) { val = val * r.val % mod; return *this; } modint &operator /=(const modint &r) { int a = r.val, b = mod, u = 1, v = 0; while (b) { int t = a / b; a -= t * b; swap(a, b); u -= t * v; swap(u, v); } val = val * u % mod; if (val < 0) val += mod; return *this; } bool operator ==(const modint& r) { return this -> val == r.val; } bool operator <(const modint& r) { return this -> val < r.val; } bool operator !=(const modint& r) { return this -> val != r.val; } }; using mint = modint; istream &operator >>(istream &is, mint& x) { int t; is >> t; x = t; return (is); } ostream &operator <<(ostream &os, const mint& x) { return os << x.val; } mint modpow(const mint &a, int n) { if (n == 0) return 1; mint t = modpow(a, n / 2); t = t * t; if (n & 1) t = t * a; return t; } int modpow(int x, int N, int mod) { int ret = 1; while (N > 0) { if (N % 2 == 1) ret = ret * x % mod; x = x * x % mod; N /= 2; } return ret; } int ceil(int x, int y) { return (x > 0 ? (x + y - 1) / y : x / y); } #pragma endregion vector trail; void dfs(vector> &G, int v) { while (!G[v].empty()) { int nv = G[v].back(); G[v].pop_back(); for (int i = 0; i < G[nv].size(); i++) { if (G[nv][i] == v) { G[nv].erase(G[nv].begin() + i); break; } } dfs(G, nv); } trail.pb(v); } class UnionFind { public: UnionFind() = default; UnionFind(int n) : par(n), // max_node(n), TODO // min_node(n), TODO sz(n, 1) { iota(par.begin(), par.end(), 0); } // https://algo-method.com/tasks/561 // UnionFind(int n, const vector& V) : par(n), sum(V), // sz(n, 1) { iota(par.begin(), par.end(), 0); } int root(int x) { if (par[x] == x) return x; return (par[x] = root(par[x])); } bool unite(int x, int y) { int rx = root(x); int ry = root(y); if (rx == ry) return false; // union by size (小さいほうが子になる) if (sz[rx] < sz[ry]) swap(rx, ry); sz[rx] += sz[ry]; par[ry] = rx; // sum[rx] += sum[ry]; // max_node[rx] = max(max_node[rx], max_node[ry]); // min_node[rx] = min(min_node[rx], min_node[ry]); return true; } bool issame(int x, int y) { return (root(x) == root(y)); } // xが属するグループの要素数を返す int size(int x) { return sz[root(x)]; } // xが属するグループの{重さ}の合計値 int get_sum(int x) { return sum[root(x)]; } // xを含む根付き木の中での頂点番号の最大値 // int get_max(int x) { // return max_node[root(x)]; // } // xを含む根付き木の中での頂点番号の最小値 // int get_min(int x) { // return min_node[root(x)]; // } // 各素集合ごとに分割。G[i](0 <= i < K)の隣接リスト vector> groups(int n) { vector> G(n); for (int x = 0; x < n; x++) { G[root(x)].push_back(x); } G.erase( remove_if(G.begin(), G.end(), [&](const vector& v) { return v.empty(); }), G.end()); return G; } private: // rootの場合は自身が親 vector par; // グループの要素数(root用) // xがroot のときのみ, sz[x] はそのグループに属する要素数を表す vector sz; // 渡された配列の合計値 vector sum; // 集合内の最大の頂点番号と最小の頂点番号 vector max_node; vector min_node; }; signed main() { int N, M; cin >> N >> M; vector> G(N); UnionFind uf(N); int r = -1; for (int i = 0; i < M; i++) { int u, v; cin >> u >> v; if (r == -1) r = u; // u--; v--; G[u].pb(v); G[v].pb(u); uf.unite(u, v); } for (int i = 0; i < N; i++) { if (G[i].size() != 0 && uf.size(i) != uf.size(r)) { cout << "NO" << endl; return 0; } } int odd = 0, s = -1, t = -1; for (int i = 0; i < N; i++) { if (G[i].size() % 2) { odd++; if (s == -1) s = i; else t = i; } } if (odd != 0 && odd != 2) { // 奇点は0個か2個である必要がある cout << "NO" << endl; return 0; } cout << "YES" << endl; }