結果
問題 | No.2674 k-Walk on Bipartite |
ユーザー | k1suxu |
提出日時 | 2024-03-15 22:44:40 |
言語 | C++23 (gcc 12.3.0 + boost 1.83.0) |
結果 |
WA
|
実行時間 | - |
コード長 | 5,936 bytes |
コンパイル時間 | 3,312 ms |
コンパイル使用メモリ | 262,852 KB |
実行使用メモリ | 31,600 KB |
最終ジャッジ日時 | 2024-09-30 02:12:46 |
合計ジャッジ時間 | 5,855 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge1 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
6,820 KB |
testcase_01 | AC | 2 ms
6,816 KB |
testcase_02 | AC | 1 ms
6,816 KB |
testcase_03 | AC | 2 ms
6,816 KB |
testcase_04 | AC | 1 ms
6,820 KB |
testcase_05 | AC | 2 ms
6,816 KB |
testcase_06 | AC | 1 ms
6,816 KB |
testcase_07 | AC | 94 ms
25,428 KB |
testcase_08 | AC | 104 ms
22,972 KB |
testcase_09 | AC | 70 ms
25,420 KB |
testcase_10 | AC | 135 ms
27,056 KB |
testcase_11 | AC | 80 ms
21,200 KB |
testcase_12 | AC | 125 ms
24,448 KB |
testcase_13 | AC | 58 ms
22,564 KB |
testcase_14 | AC | 17 ms
16,216 KB |
testcase_15 | AC | 149 ms
29,088 KB |
testcase_16 | AC | 102 ms
27,000 KB |
testcase_17 | AC | 96 ms
22,148 KB |
testcase_18 | AC | 34 ms
16,896 KB |
testcase_19 | AC | 76 ms
23,992 KB |
testcase_20 | AC | 68 ms
24,592 KB |
testcase_21 | AC | 106 ms
23,896 KB |
testcase_22 | AC | 185 ms
31,600 KB |
testcase_23 | WA | - |
testcase_24 | WA | - |
testcase_25 | WA | - |
testcase_26 | WA | - |
testcase_27 | AC | 2 ms
6,816 KB |
testcase_28 | WA | - |
testcase_29 | WA | - |
testcase_30 | AC | 1 ms
6,816 KB |
testcase_31 | WA | - |
testcase_32 | WA | - |
testcase_33 | WA | - |
testcase_34 | WA | - |
testcase_35 | AC | 2 ms
6,820 KB |
testcase_36 | AC | 1 ms
6,816 KB |
testcase_37 | AC | 2 ms
6,816 KB |
testcase_38 | AC | 1 ms
6,816 KB |
ソースコード
// #pragma GCC target("avx") // #pragma GCC optimize("O3") // #pragma GCC optimize("unroll-loops") #include <bits/stdc++.h> using namespace std; #define rep(i,n) for(int i = 0; i < (int)n; i++) #define FOR(n) for(int i = 0; i < (int)n; i++) #define repi(i,a,b) for(int i = (int)a; i < (int)b; i++) #define all(x) x.begin(),x.end() //#define mp make_pair #define vi vector<int> #define vvi vector<vi> #define vvvi vector<vvi> #define vvvvi vector<vvvi> #define pii pair<int,int> #define vpii vector<pair<int,int>> template<typename T> bool chmax(T &a, const T b) {if(a<b) {a=b; return true;} else {return false;}} template<typename T> bool chmin(T &a, const T b) {if(a>b) {a=b; return true;} else {return false;}} using ll = long long; using ld = long double; using ull = unsigned long long; const ll INF = numeric_limits<long long>::max() / 2; const ld pi = 3.1415926535897932384626433832795028; const ll mod = 998244353; int dx[] = {1, 0, -1, 0, -1, -1, 1, 1}; int dy[] = {0, 1, 0, -1, -1, 1, -1, 1}; #define int long long struct Is_Bipartite { int n; vector<int> color; vector<vector<int>> g; Is_Bipartite(int n) : n(n), g(n) {} Is_Bipartite(vector<vector<int>> g) : n(g.size()), g(g) {} void add_edge(int a, int b) { g[a].push_back(b); g[b].push_back(a); } bool dfs(int v, int col) { color[v] = col; for(auto e : g[v]) { if(color[e] == col) { return false; } if(color[e] == -1) { if(!dfs(e, 1-col)) return false; } } return true; } vi generate(int st) { color.assign(n, -1); dfs(st, 0); return color; } }; vector<int> bfs(vector<vector<int>> &g, int s) { int n = g.size(); queue<int> que; vi dist(n, -1); que.push(s); dist[s] = 0; while(!que.empty()) { int v = que.front(); que.pop(); for(auto e : g[v]) { if(dist[e] < 0) { dist[e] = dist[v] + 1; que.push(e); } } } return dist; } struct UnionFind { vector<int> r; UnionFind(int n) { r = vector<int>(n, -1); } int root(int x) { if(r[x] < 0) return x; return r[x] = root(r[x]); } bool unite(int x, int y) { x = root(x); y = root(y); if(x == y) return false; if(r[x] > r[y]) swap(x, y); r[x] += r[y]; r[y] = x; return true; } bool issame(int x, int y) { return root(x) == root(y); } int size(int x) { return -r[root(x)]; } // int number_of_set() { // unordered_set<int> st; // for(int i = 0; i < (int)r.size(); i++) st.insert(root(i)); // return st.size(); // } // only vertices: not including leader pos // vector<vector<int>> decompose() { // vector<pair<int, int>> p; // for(int i = 0; i < (int)r.size(); i++) p.emplace_back(root(i), i); // sort(all(p)); // //first:root, second:vertices // vector<vector<int>> ret; // int pre = -1; // for(pair<int, int> e : p) { // if(pre != e.first) { // ret.push_back(vector<int>{e.second}); // }else { // ret.back().push_back(e.second); // } // pre = e.first; // } // return ret; // } //leader and groups vertex // vector<pair<int, vector<int>>> decompose() { // vector<pair<int, int>> p; // for(int i = 0; i < (int)r.size(); i++) p.emplace_back(root(i), i); // sort(all(p)); // //first:root, second:vertices // vector<pair<int, vector<int>>> ret; // int pre = -1; // for(pair<int, int> e : p) { // if(pre != e.first) { // ret.push_back(make_pair(e.first, vector<int>{e.second})); // }else { // ret.back().second.push_back(e.second); // } // pre = e.first; // } // return ret; // } // vector<int> roots(vector<int> x) { // vector<int> ret((int)x.size()); // for(int i = 0; i < (int)x.size(); i++) ret[i] = root(i); // return ret; // } // bool unite(pair<int, int> p) { // return unite(p.first, p.second); // } // vector<bool> unite(vector<pair<int, int>> p) { // vector<bool> ret((int)p.size()); // for(int i = 0; i < (int)p.size(); i++) { // ret[i] = unite(p[i]); // } // return ret; // } // vector<bool> unite(vector<int> x, vector<int> y) { // assert(x.size() == y.size()); // vector<bool> ret((int)x.size()); // for(int i = 0; i < (int)x.size(); i++) { // ret[i] = unite(x[i], y[i]); // } // return ret; // } // bool issame(pair<int, int> p) { // return issame(p.first, p.second); // } }; void solve() { int n, m; cin >> n >> m; int s, t, k; cin >> s >> t >> k; --s; --t; Is_Bipartite g(n); vvi bg(n); UnionFind UF(n); FOR(m) { int a, b; cin >> a >> b; --a; --b; g.add_edge(a, b); bg[a].push_back(b); bg[b].push_back(a); UF.unite(a, b); } vi color = g.generate(s); vi dist = bfs(bg, s); if(n == 1) cout << "No" << endl; else if(n == 2) { if(color[t] == -1) cout << "Unknown" << endl; else if(k%2==1) cout << "Yes" << endl; else cout << "No" << endl; }else if(color[t] == -1) cout << "Unknown" << endl; else if(color[t] == k%2) { if(dist[t] <= k) cout << "Yes" << endl; else cout << "Unknown" << endl; }else cout << "No" << endl; } signed main() { cin.tie(nullptr); ios::sync_with_stdio(false); solve(); return 0; }