結果

問題 No.2674 k-Walk on Bipartite
ユーザー k1suxuk1suxu
提出日時 2024-03-15 22:50:24
言語 C++23
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 273 ms / 2,000 ms
コード長 6,222 bytes
コンパイル時間 3,311 ms
コンパイル使用メモリ 262,752 KB
実行使用メモリ 31,872 KB
最終ジャッジ日時 2024-03-15 22:50:31
合計ジャッジ時間 7,475 ms
ジャッジサーバーID
（参考情報） 		judge15 / judge13
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,676 KB
testcase_01 AC 2 ms
6,676 KB
testcase_02 AC 2 ms
6,676 KB
testcase_03 AC 2 ms
6,676 KB
testcase_04 AC 2 ms
6,676 KB
testcase_05 AC 2 ms
6,676 KB
testcase_06 AC 2 ms
6,676 KB
testcase_07 AC 130 ms
25,604 KB
testcase_08 AC 190 ms
23,168 KB
testcase_09 AC 107 ms
25,456 KB
testcase_10 AC 231 ms
27,220 KB
testcase_11 AC 142 ms
21,284 KB
testcase_12 AC 252 ms
24,704 KB
testcase_13 AC 104 ms
22,700 KB
testcase_14 AC 28 ms
16,544 KB
testcase_15 AC 273 ms
29,340 KB
testcase_16 AC 164 ms
27,128 KB
testcase_17 AC 178 ms
22,272 KB
testcase_18 AC 63 ms
17,024 KB
testcase_19 AC 146 ms
24,164 KB
testcase_20 AC 117 ms
24,724 KB
testcase_21 AC 188 ms
24,076 KB
testcase_22 AC 258 ms
31,872 KB
testcase_23 AC 2 ms
6,676 KB
testcase_24 AC 2 ms
6,676 KB
testcase_25 AC 2 ms
6,676 KB
testcase_26 AC 2 ms
6,676 KB
testcase_27 AC 2 ms
6,676 KB
testcase_28 AC 2 ms
6,676 KB
testcase_29 AC 2 ms
6,676 KB
testcase_30 AC 2 ms
6,676 KB
testcase_31 AC 2 ms
6,676 KB
testcase_32 AC 2 ms
6,676 KB
testcase_33 AC 2 ms
6,676 KB
testcase_34 AC 2 ms
6,676 KB
testcase_35 AC 2 ms
6,676 KB
testcase_36 AC 2 ms
6,676 KB
testcase_37 AC 2 ms
6,676 KB
testcase_38 AC 2 ms
6,676 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

// #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(s == t) {
            if(color[1-s] == -1) {
                if(k%2==0) cout << "Unknown" << endl;
                else cout << "No" << endl;
            }else {
                if(k%2==0) cout << "Yes" << endl;
                else cout << "No" << endl;
            }
        }else if(k%2==0) cout << "No" << endl;
        else if(color[t] == -1) cout << "Unknown" << endl;
        else cout << "Yes" << 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;
}
0