結果

問題 No.1190 Points
コンテスト
ユーザー outline
提出日時 2020-12-27 02:29:30
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 239 ms / 2,000 ms
コード長 2,932 bytes
コンパイル時間 2,017 ms
コンパイル使用メモリ 143,848 KB
最終ジャッジ日時 2025-01-17 07:42:36
ジャッジサーバーID
（参考情報） 		judge1 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 25
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <vector>
#include <algorithm>
#include <cmath>
#include <queue>
#include <string>
#include <map>
#include <set>
#include <stack>
#include <tuple>
#include <deque>
#include <array>
#include <numeric>
#include <bitset>
#include <iomanip>
#include <cassert>
#include <chrono>
#include <random>
#include <limits>
#include <iterator>
#include <functional>
#include <sstream>
#include <fstream>
#include <complex>
#include <cstring>
#include <unordered_map>
#include <unordered_set>
using namespace std;

using ll = long long;
using P = pair<int, int>;
constexpr int INF = 1001001001;
// constexpr int mod = 1000000007;
constexpr int mod = 998244353;

template<class T>
inline bool chmax(T& x, T y){
    if(x < y){
        x = y;
        return true;
    }
    return false;
}
template<class T>
inline bool chmin(T& x, T y){
    if(x > y){
        x = y;
        return true;
    }
    return false;
}

int main(){
    ios::sync_with_stdio(false);
    cin.tie(nullptr);

    int n, m, p, s, g;
    cin >> n >> m >> p >> s >> g;
    --s, --g;
    vector<vector<int>> graph(n);
    for(int i = 0; i < m; ++i){
        int u, v;
        cin >> u >> v;
        --u, --v;
        graph[u].emplace_back(v);
        graph[v].emplace_back(u);
    }

    // dist[vertex][parity]
    auto bfs = [&](int root) -> vector<vector<int>> {
        vector<vector<int>> dist(n, vector<int>(2, INF));
        queue<P> que;
        dist[root][0] = 0;
        que.emplace(root, 0);
        while(!que.empty()){
            auto [from, parity] = que.front();
            que.pop();
            for(int to : graph[from]){
                if(chmin(dist[to][parity ^ 1], dist[from][parity] + 1)){
                    que.emplace(to, parity ^ 1);
                }
            }
        }
        return dist;
    };
    auto dists = bfs(s);
    auto distg = bfs(g);

    set<int> ans;

    // s -> v -> g
    for(int v = 0; v < n; ++v){
        for(int i = 0; i < 2; ++i){
            for(int j = 0; j < 2; ++j){
                if((i ^ j) != p % 2)    continue;
                int d = dists[v][i] + distg[v][j];
                if(d <= p && (p - d) % 2 == 0){
                    ans.emplace(v);
                }
            }
        }
    }

    // s -> g -> v -> g
    for(int i = 0; i < 2; ++i){
        if(dists[g][i] > p) continue;
        int q = p - dists[g][i];
        for(int v = 0; v < n; ++v){
            for(int j = 0; j < 2; ++j){
                for(int k = 0; k < 2; ++k){
                    if((j ^ k) != q % 2)    continue;
                    int d = distg[v][j] + distg[v][k];
                    if(d <= q && (q - d) % 2 == 0){
                        ans.emplace(v);
                    }
                }
            }
        }
    }
    

    if(ans.size() == 0) cout << -1 << '\n';
    else{
        cout << ans.size() << '\n';
        for(int v : ans)    cout << v + 1 << '\n';
    }

    return 0;
}
0