#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; #if __has_include() #include namespace atcoder { ostream& operator<<(ostream& os, modint x) { return os << x.val(); } template ostream& operator<<(ostream& os, static_modint x) { return os << x.val(); } istream& operator>>(istream& is, modint x) { long long a; is >> a; x = a; return is; } template istream& operator>>(istream& is, static_modint x) { long long a; is >> a; x = a; return is; } } // namespace atcoder #endif #define GET_MACRO(_1, _2, _3, NAME, ...) NAME #define _rep(i, n) _rep2(i, 0, n) #define _rep2(i, a, b) for (int i = (int)(a); i < (int)(b); i++) #define rep(...) GET_MACRO(__VA_ARGS__, _rep2, _rep)(__VA_ARGS__) #define all(x) (x).begin(), (x).end() #define rall(x) (x).rbegin(), (x).rend() #define UNIQUE(x) \ std::sort((x).begin(), (x).end()); \ (x).erase(std::unique((x).begin(), (x).end()), (x).end()) using i64 = long long; using u64 = unsigned long long; using u32 = unsigned int; using i32 = int; using ld = long double; using f64 = double; template bool chmin(T& a, const U& b) { return (b < a) ? (a = b, true) : false; } template bool chmax(T& a, const U& b) { return (b > a) ? (a = b, true) : false; } template inline void YesNo(bool f = 0, const T yes = "Yes", const U no = "No") { if (f) std::cout << yes << "\n"; else std::cout << no << "\n"; } namespace io { template istream& operator>>(istream& i, pair& p) { i >> p.first >> p.second; return i; } template ostream& operator<<(ostream& o, pair& p) { o << p.first << " " << p.second; return o; } template istream& operator>>(istream& i, vector& v) { rep(j, v.size()) i >> v[j]; return i; } template string join(vector& v) { stringstream s; rep(i, v.size()) s << ' ' << v[i]; return s.str().substr(1); } template ostream& operator<<(ostream& o, vector& v) { if (v.size()) o << join(v); return o; } template string join(vector>& vv) { string s = "\n"; rep(i, vv.size()) s += join(vv[i]) + "\n"; return s; } template ostream& operator<<(ostream& o, vector>& vv) { if (vv.size()) o << join(vv); return o; } void OUT() { std::cout << "\n"; } template void OUT(Head&& head, Tail&&... tail) { std::cout << head; if (sizeof...(tail)) std::cout << ' '; OUT(std::forward(tail)...); } void OUTL() { std::cout << std::endl; } template void OUTL(Head&& head, Tail&&... tail) { std::cout << head; if (sizeof...(tail)) std::cout << ' '; OUTL(std::forward(tail)...); } void IN() {} template void IN(Head&& head, Tail&&... tail) { cin >> head; IN(std::forward(tail)...); } } // namespace io using namespace io; namespace useful { long long modpow(long long a, long long b, long long mod) { long long res = 1; while (b) { if (b & 1) res *= a, res %= mod; a *= a; a %= mod; b >>= 1; } return res; } bool is_pow2(long long x) { return x > 0 && (x & (x - 1)) == 0; } template void rearrange(vector& a, vector& p) { vector b = a; for (int i = 0; i < int(a.size()); i++) { a[i] = b[p[i]]; } return; } template std::vector::value_type, int>> run_length_encoding(I s, I t) { if (s == t) return {}; std::vector::value_type, int>> res; res.emplace_back(*s, 1); for (auto it = ++s; it != t; it++) { if (*it == res.back().first) res.back().second++; else res.emplace_back(*it, 1); } return res; } vector linear_sieve(int n) { vector primes; vector res(n + 1); iota(all(res), 0); for (int i = 2; i <= n; i++) { if (res[i] == i) primes.emplace_back(i); for (auto j : primes) { if (j * i > n) break; res[j * i] = j; } } return res; // return primes; } template vector dijkstra(vector>>& graph, int start) { int n = graph.size(); vector res(n, 2e18); res[start] = 0; priority_queue, vector>, greater>> que; que.push({0, start}); while (!que.empty()) { auto [c, v] = que.top(); que.pop(); if (res[v] < c) continue; for (auto [nxt, cost] : graph[v]) { auto x = c + cost; if (x < res[nxt]) { res[nxt] = x; que.push({x, nxt}); } } } return res; } } // namespace useful using namespace useful; template struct RandomIntGenerator { std::random_device seed; std::mt19937_64 engine; std::uniform_int_distribution uid; RandomIntGenerator() { engine = std::mt19937_64(seed()); uid = std::uniform_int_distribution(l, r); } T gen() { return uid(engine); } }; #include #include struct IncrementalBridgeConnectivity { struct UnionFind { vector par; UnionFind() {} UnionFind(int n) : par(n, -1) {} int find(int x) { if (par[x] < 0) return x; return par[x] = find(par[x]); } void merge(int a, int b) { a = find(a); b = find(b); if (a == b) return; if (par[a] > par[b]) swap(a, b); par[a] += par[b]; par[b] = a; return; } bool same(int a, int b) { return find(a) == find(b); } int size(int x) { return -par[find(x)]; } vector> groups() { vector> res(par.size()); for (int i = 0; i < (int)par.size(); i++) { res[find(i)].emplace_back(i); } res.erase(remove_if(res.begin(), res.end(), [](const vector& v) { return v.empty(); }), res.end()); return res; } }; UnionFind cc, bcc; vector par; IncrementalBridgeConnectivity() {} IncrementalBridgeConnectivity(int n) : cc(n), bcc(n), par(n, -1) {} int lca(int a, int b) { unordered_set visited; while (true) { if (a >= 0) { if (visited.contains(a)) return a; visited.emplace(a); a = par[a]; } swap(a, b); } } void reverse_path(int v) { if (par[v] < 0) return; reverse_path(par[v]); par[par[v]] = v; } void compress_path(int v, int l) { while (v != l) { bcc.merge(v, par[v]); v = par[v]; } } void add_edge(int u, int v) { if (bcc.same(u, v)) return; if (cc.same(u, v)) { int l = lca(u, v); compress_path(u, l); compress_path(v, l); } else { if (cc.size(u) < cc.size(v)) swap(u, v); reverse_path(v); par[v] = u; cc.merge(u, v); } } bool connected(int u, int v) { return cc.same(u, v); } bool bridge_connected(int u, int v) { return bcc.same(u, v); } vector> bc_groups() { return bcc.groups(); } }; int main() { std::cout << fixed << setprecision(15); cin.tie(nullptr); ios::sync_with_stdio(false); int n, m, s, d; IN(n, m, s, d); s--, d--; IncrementalBridgeConnectivity IBC(n); vector> g(n); rep(i, m) { int a, b; IN(a, b); a--, b--; g[a].emplace_back(b); g[b].emplace_back(a); IBC.add_edge(a, b); } vector dist(n, 1e8); dist[s] = 0; queue que; que.emplace(s); while (que.size()) { auto v = que.front(); que.pop(); for (auto j : g[v]) { if (chmin(dist[j], dist[v] + 1)) que.emplace(j); } } vector dist2(n, 1e8); dist2[d] = 0; que.emplace(d); while (que.size()) { auto v = que.front(); que.pop(); for (auto j : g[v]) { if (chmin(dist2[j], dist2[v] + 1)) que.emplace(j); } } vector p(n); iota(all(p), 0); sort(all(p), [&](int i, int j) { return dist[i] < dist[j]; }); vector dp(n, -1); dp[s] = 0; for (int i : p) { for (auto j : g[i]) { if (dist[j] != dist[i] - 1) continue; if (dist[j] + 1 + dist2[i] != dist[d]) continue; if (IBC.bridge_connected(i, j)) chmax(dp[i], dp[j] + 1); else chmax(dp[i], dp[j]); } } OUT(dp[d]); }