結果

問題 No.2674 k-Walk on Bipartite
ユーザー nu50218nu50218
提出日時 2024-03-13 21:08:49
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 140 ms / 2,000 ms
コード長 1,774 bytes
コンパイル時間 1,871 ms
コンパイル使用メモリ 208,784 KB
実行使用メモリ 13,668 KB
最終ジャッジ日時 2024-09-29 23:07:02
合計ジャッジ時間 4,591 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
6,820 KB
testcase_01 AC 1 ms
6,816 KB
testcase_02 AC 1 ms
6,820 KB
testcase_03 AC 1 ms
6,816 KB
testcase_04 AC 1 ms
6,820 KB
testcase_05 AC 1 ms
6,816 KB
testcase_06 AC 1 ms
6,820 KB
testcase_07 AC 77 ms
11,988 KB
testcase_08 AC 97 ms
10,112 KB
testcase_09 AC 73 ms
11,824 KB
testcase_10 AC 134 ms
11,576 KB
testcase_11 AC 75 ms
10,112 KB
testcase_12 AC 123 ms
10,240 KB
testcase_13 AC 64 ms
10,892 KB
testcase_14 AC 17 ms
8,080 KB
testcase_15 AC 134 ms
12,372 KB
testcase_16 AC 89 ms
12,580 KB
testcase_17 AC 93 ms
9,728 KB
testcase_18 AC 40 ms
8,576 KB
testcase_19 AC 83 ms
11,280 KB
testcase_20 AC 70 ms
11,516 KB
testcase_21 AC 102 ms
10,620 KB
testcase_22 AC 140 ms
13,668 KB
testcase_23 AC 2 ms
6,816 KB
testcase_24 AC 2 ms
6,816 KB
testcase_25 AC 2 ms
6,820 KB
testcase_26 AC 1 ms
6,820 KB
testcase_27 AC 2 ms
6,816 KB
testcase_28 AC 1 ms
6,820 KB
testcase_29 AC 2 ms
6,816 KB
testcase_30 AC 2 ms
6,820 KB
testcase_31 AC 1 ms
6,816 KB
testcase_32 AC 2 ms
6,820 KB
testcase_33 AC 1 ms
6,816 KB
testcase_34 AC 1 ms
6,816 KB
testcase_35 AC 2 ms
6,820 KB
testcase_36 AC 1 ms
6,820 KB
testcase_37 AC 1 ms
6,816 KB
testcase_38 AC 1 ms
6,820 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;

int main() {
    int N, M;
    cin >> N >> M;

    int s, t, k;
    cin >> s >> t >> k;
    s--;
    t--;

    vector<int> adj[N];
    for (int i = 0; i < M; i++) {
        int A, B;
        cin >> A >> B;
        A--;
        B--;
        adj[A].push_back(B);
        adj[B].push_back(A);
    }

    // ① N = 1
    // k > 0 より常に No
    if (N == 1) {
        cout << "No" << endl;
        return 0;
    }

    // ② N = 2
    // H の辺集合としてあり得るのは、以下のみ
    //   - {}
    //   - {{1, 2}}
    // 前者は正の長さの歩道無し。
    // 後者は (s != t) == (k % 2) なら歩道が存在。
    if (N == 2) {
        if (M == 0) {
            cout << ((s != t) == (k % 2) ? "Unknown" : "No") << endl;
            return 0;
        }
        if (M == 1) {
            cout << ((s != t) == (k % 2) ? "Yes" : "No") << endl;
            return 0;
        }
    }

    // ③ N > 2 "基本的な方針"

    // BFS
    queue<int> que;

    const int inf = 1e9;
    vector<int> dist(N, inf);

    que.push(s);
    dist[s] = 0;

    while (!que.empty()) {
        int v = que.front();
        que.pop();

        for (auto &&u : adj[v]) {
            if (dist[u] == inf) {
                que.push(u);
                dist[u] = dist[v] + 1;
            }
        }
    }

    // sとtが同じ連結成分に属する
    if (dist[t] < inf) {
        // 偶奇が一致
        if (dist[t] % 2 == k % 2) {
            cout << (dist[t] <= k ? "Yes" : "Unknown") << endl;
            return 0;
        }
        // 偶奇が一致しない
        cout << "No" << endl;
        return 0;
    }

    // sとtが別の連結成分に属する
    cout << "Unknown" << endl;
    return 0;
}
0