結果

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

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,820 KB
testcase_01 AC 2 ms
6,816 KB
testcase_02 AC 2 ms
6,816 KB
testcase_03 AC 2 ms
6,816 KB
testcase_04 AC 2 ms
6,816 KB
testcase_05 AC 2 ms
6,816 KB
testcase_06 AC 2 ms
6,816 KB
testcase_07 AC 119 ms
25,300 KB
testcase_08 AC 161 ms
23,040 KB
testcase_09 AC 103 ms
25,216 KB
testcase_10 AC 229 ms
27,224 KB
testcase_11 AC 125 ms
21,164 KB
testcase_12 AC 169 ms
24,604 KB
testcase_13 AC 72 ms
22,504 KB
testcase_14 AC 28 ms
16,356 KB
testcase_15 AC 253 ms
29,260 KB
testcase_16 AC 106 ms
26,980 KB
testcase_17 AC 107 ms
22,128 KB
testcase_18 AC 37 ms
16,824 KB
testcase_19 AC 83 ms
23,964 KB
testcase_20 AC 67 ms
24,552 KB
testcase_21 AC 114 ms
23,864 KB
testcase_22 AC 156 ms
31,708 KB
testcase_23 AC 1 ms
6,816 KB
testcase_24 AC 2 ms
6,820 KB
testcase_25 AC 2 ms
6,820 KB
testcase_26 AC 2 ms
6,816 KB
testcase_27 AC 1 ms
6,816 KB
testcase_28 AC 1 ms
6,816 KB
testcase_29 AC 2 ms
6,816 KB
testcase_30 AC 1 ms
6,816 KB
testcase_31 AC 1 ms
6,816 KB
testcase_32 AC 1 ms
6,816 KB
testcase_33 AC 2 ms
6,816 KB
testcase_34 AC 1 ms
6,816 KB
testcase_35 AC 2 ms
6,816 KB
testcase_36 AC 2 ms
6,820 KB
testcase_37 AC 1 ms
6,816 KB
testcase_38 AC 1 ms
6,816 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